Читаю Programming In Haskell, в 8 главе автор приводит пример написания парсеров. Полный источник находится здесь: http://www.cs.nott.ac.uk/~gmh/Parsing.lhs Я не могу понять следующую часть: many разрешает ноль или более приложений p , тогда как...

Есть ли способ объявить функцию перед ее определением в OCaml? Я использую интерпретатор OCaml. У меня есть две функции: let myFunctionA = (* some stuff here..... *) myFunctionB (*some stuff *) let myFunctionB = (* some stuff here .... *)...

Я хочу определить индуктивный тип Foo , с конструкторами, принимающими в качестве аргументов некоторые свойства. Я хочу, чтобы эти свойства зависели от индуктивных аргументов того типа, который я сейчас определяю. Я хочу иметь возможность собирать...