У меня есть программа SML, которая представляет собой язык с выражениями, которые состоят из значений: datatype Value = IntVal of int
| ListVal of Value list
datatype Exp = Const of Value
Я ищу решения для домашней работы, а код реализует функцию OCaml, которая принимает два аргумента, но при ее вызове передается только один аргумент. let rec func2 r x = match r with
| [] -> []
Я следую курсу в своем университете, который просит меня написать переводчика в OCaml на языке, начиная с его оперативной семантики. К сожалению, они не дали нам много ресурсов, из которых мы можем уз
У меня есть программа, которая перебирает строку и выводит dir каждого символа. Я хочу суммировать эти значения dir в одно дискретное значение, которое я могу распечатать. Вот мой текущий код: let wor
Я пытаюсь обвести голову в виде вывода вывода OCaml. Например: # let f x = x [];;
val f : ('a list -> 'b) -> 'b = <fun>
имеет смысл для меня. Функция val f принимает функцию x, которая принимает сп
Я пытаюсь выяснить, как реализовать функции сгиба на входах разных типов. В качестве примера я буду использовать функцию count для списка (хотя для этого я имею несколько функций). Предполагая входной