У меня есть два объявления типа для управляющих структур на разных уровнях в программе. Нижний -...
При чтении и реализации FRP меня смущает семантика функции occs в Event (упоминается в статьях...
Внутри монады F #, если вы говорите let!, компилятор преобразует это в Bind член, который вы...
Option монада превращает довольно много объектов в Скала.В стандартной библиотеке Scala есть другие...
Посмотрев, как определяются монады List и Maybe, мне, естественно, стало интересно, как...
В настоящее время я пишу монадный пакет OpenGL с именем GL, и я хочу иметь возможность запросить...
Я определил пользовательский тип ошибки, который я хочу использовать с монадой Ошибка. Для примера...
В настоящее время я пишу проект, в котором интенсивно использую монадный трансформатор ListT.При...
Я пытаюсь решить проблему сбалансированных скобок. Я не хочу делать непрерывный ввод-вывод, а хотел...
Возможно ли это ?, (есть функция >>magic), чтобы упростить это: insertTransaction :: Day...
Просматривая пакет трансформаторов, я обнаружил этот монадный трансформатор IdentityT . Хотя я...
Монады, как известно, теоретически являются подмножеством функторов и, в частности, аппликативных...
Я эмулирую 4-битный микропроцессор. Мне нужно отслеживать регистры, память и текущий результат...
Я знаком с монадами в теории категорий (на самом деле это очень простая концепция), но функция...
У меня проблема с тем, что стек монадных трансформаторов (или даже одного монадного трансформатора)...
Я использую Скотти, которая является синатра-подобной оберткой вокруг WAI. Я хочу получить...
Я играю с написанием веб-приложения. В этом случае я использую scotty и redis , но эта проблема...
Предположим, у нас есть две монады, m и m'. Теперь предположим, что у нас есть переменные, --...
Как написать функцию с сигнатурой типа, например: mySample :: StdGen -> Int -> [a] -> [a]...
Я пытаюсь сделать то, что должно быть ослепительно очевидно в Хаскеле, то есть перейти от Just [1]...
public static Func<V> To<T, V>(this Func<T> g, Func<T, V> h) { return ()...
Можно кодировать различные типы в нетипизированном лямбда-исчислении с помощью функций более...
Как можно строго сложить монаду?Data.Foldable имеет строгий foldl' и монадический foldlM, но...
Я в основном ищу find аналог filterM: findM :: (a -> m Bool) -> [a] -> m (Maybe a) , но я...
Я хочу сформировать список случайных чисел, где диапазон каждого случайного числа определяется...