liftM2 {A B R : Set} {m} {x : Monad m} (f : A -> B -> R) (ma : m A) (mb : m B) : (m R) Есть ли...
В настоящее время я работаю с трехуровневым процессом, для которого мне нужна некоторая информация...
В В статье Лероя о том, как рекурсивные модули набираются в OCaml, написано, что модули проверяются...
Я написал небольшой класс, чтобы постоянно запоминать некоторые дорогостоящие функции, которые...
Мне интересно, почему в Scala нет монады ввода-вывода, подобной Haskell. Итак, в Scala тип возврата...
Может кто-нибудь объяснить мне зависимую типизацию?У меня мало опыта работы с Haskell, Cayenne,...
let undefined = ["string"; ""; "string";...
Допустим, у нас есть функция: generate([],Result) -> Result; generate([H|T],Result) -> case H...
À несколько вопросов, касающихся интерактивного программирования верхнего уровня и графического...
Недавно Я познакомился с этим кодом OCaml , который в Haskell можно записать как: data DL a = DL...
Я подхожу к некоторой функциональной Java с точки зрения ruby в ruby, вы можете сделать что-то...
У меня есть простое pojo: class UserId { String ssn; String otsId; Integer actorId; public...
Когда я смотрю на веб-сайт commons-functor , кажется, что он находится вне состояния «песочницы»,...
Редактировать : Должно быть, я не сформулировал это достаточно четко, но я ищу функцию , такую...
У меня есть 2 списка, содержащих экземпляры лотерейных билетов. Один список содержит билеты,...
Поскольку все приведенные в руководстве примеры со списками, мне трудно понять, как использовать...
Этот вопрос относится к «Как работает головоломка Инь-Ян?» .Пример инь-янских продолжений в схеме...
Этот вопрос касается функционального программирования, а не того, как создавать строки URL-запросов
У меня проблемы с выяснением, возможно ли это.Любые указатели были бы потрясающими Я не уверен в...
У меня есть несколько объектов диапазона, которые мне нужно объединить, чтобы исчезли все...
Так что я анализирую этот файл XML.Как только я достигаю узла внутри него, у меня появляется один...
Предположим, у меня есть две функции f :: [a] -> b и g :: [a] -> c. У меня есть следующие два...
Здравствуйте, товарищи по программированию. Поэтому я решил переписать некоторые из моих старых...
«Алгебраическое» выражение для алгебраических типов данных выглядит очень наводящим на размышления...
У меня есть этот производный тип данных AcInfo, который состоит из следующих пользовательских типов...