0
ответов
Является ли это разумным представлением о вводе-выводе Haskell?
Приведено ли такое представление о вводе-выводе Haskell? «Вычисление ввода-вывода»
Затем он выполняет или «запускает» это вычисление ...
вопрос задан: 23 February 2012 23:47
0
ответов
Какие есть стандартные монады Scala, кроме Option?
Монада Option в Scala иногда превращается в объект. Есть ли другие монады в стандартной библиотеке Scala?
вопрос задан: 13 February 2012 02:30
0
ответов
Как чисто преобразовать между списками и преобразователями монад ListT?
В настоящее время я пишу проект, в котором я интенсивно использую преобразователь монад ListT. При использовании простых списков реализовать недетерминизм очень просто. Однако, как только мне пришлось преобразовать свой код в ListT, ...
вопрос задан: 9 February 2012 16:49
0
ответов
Обеспечение работы обычных монадических функций с эквивалентом преобразователя монад
Я пытаюсь решить проблему сбалансированных скобок. Я не хочу выполнять непрерывный ввод-вывод, а предпочел бы сделать один вызов getLine и проанализировать полученную строку. Поэтому функция, которая решает ...
вопрос задан: 8 February 2012 09:47
0
ответов
Асимметрия в функции BING
GHCI>: T (>> =)
(>> =) :: Monad M => MB -> (A -> MB) -> MB Как наступит второй аргумент (A -> MB) вместо (MA -> MB) или даже (A -> B )? Что это ...
вопрос задан: 7 February 2012 19:42
0
ответов
Ищу конструктивную критику по реализации монад
Я изучаю монады, это моя первая рабочий (кроме тривиальной монады). Смело критикуйте все в нем безжалостно. Я' m особенно интересует «более идиоматический» и «более элегантный» ...
вопрос задан: 6 February 2012 23:50
0
ответов
Понимание функции bind в Haskell
Я знаком с монадами в теории категорий (на самом деле это очень простая концепция), однако функция >>= в Haskell меня совершенно озадачила. Итак, применение bind к значению M a и функции a -&...
вопрос задан: 3 February 2012 06:54
0
ответов
Для чего нужен преобразователь IdentityT?
Просматривая пакет преобразователей, я обнаружил преобразователь монад под названием IdentityT. Хотя я понимаю, как используется монада Identity (например, State - это просто псевдоним для StateT Identity) ...
вопрос задан: 3 February 2012 02:09
0
ответов
Как показать, что монада является функтором и аппликативным функтором?
Монады известны как теоретически подмножество функторов и, в частности, аппликативных функторов, хотя это не указано в системе типов Haskell. Зная это, учитывая монаду и основываясь на ...
вопрос задан: 1 February 2012 15:12
0
ответов
Различные взаимодействующие уровни состояния в haskell
Я эмулирую 4-битный микропроцессор. Мне нужно отслеживать регистры, память и текущий вывод (бонусные баллы за наличие счетчика циклов выборки-выполнения). Мне это удалось ...
вопрос задан: 1 February 2012 09:19
0
ответов
Объединить две монады, когда ни у одной из них нет трансформатора?
Я играю с написанием веб-приложения. В данном случае я использую scotty и redis, но эта проблема возникает при любом сочетании web/db. До этого я использовал happstack, так что я бы хотел получить пример и там. ...
вопрос задан: 27 January 2012 22:19
0
ответов
как добиться эффекта «произведения двух монад»?
Предположим, у нас есть две монады, m и m '. Теперь предположим, что у нас есть переменные, - в реальных задачах ограничение - это некий подкласс MyMonad, так что не беспокойтесь
- если здесь mx и f должны ...
вопрос задан: 26 January 2012 02:34
0
ответов
Haskell: Получение значения из RVar в Data.Random
Как мне написать функцию с сигнатурой типа, например: mySample :: StdGen -> Int -> [a] -> [a] в терминах of sample :: Int -> [a] -> RVar [a], где sample определен в Data.Random ....
вопрос задан: 25 January 2012 20:01
0
ответов
Слияние/присоединение Just в Haskell
Я пытаюсь сделать то, что должно быть ослепительно очевидно в Haskell, а именно перейти от Just [1] и Just [2] к Just [1, 2]. Однако я не могу ничего найти в Интернете, поскольку продолжаю находить связанные, но бесполезные страницы. ...
вопрос задан: 25 January 2012 01:02
0
ответов
Существуют ли уже встроенные функциональные конструкции C#/.NET, подобные этим? g(h()), или
public static Func To(this Func g, Func h)
{ return () => h(g());
} public static Func ToIdentity(this T t)
{ return () => t;
...
вопрос задан: 23 January 2012 23:06
0
ответов
Встраивание более высоких типов (монад!) В нетипизированное лямбда-исчисление
В нетипизированном лямбда-исчислении можно кодировать различные типы с помощью функций более высокого порядка. Примеры:
ноль = λfx. Икс
один = λfx. FX
два = λfx. f (fx)
три = λfx. f (f (fx))
и т.д ...
вопрос задан: 20 January 2012 01:20
0
ответов
Есть ли в Haskell foldlM '?
Каким образом строго над монадой? Data.Foldable имеет строгую свертку и монадическую свертку, но не строгую свертку? Строгость как-то определяется самой монадой? Если да, то как ...
вопрос задан: 18 January 2012 23:24
0
ответов
Имеет ли термин «монадический» в J какое-либо отношение к его использованию в Haskell?
(Извините, я глуп и необразован, так что это, вероятно, нелепый вопрос .) Я только начал смотреть на J, и они используют термины «монадический» и «диадический» для обозначения того, что (мне) кажется унарным и бинарным ...
вопрос задан: 10 January 2012 17:19
0
ответов
Как вы идентифицируете монадические шаблоны проектирования?
Мой способ изучения Haskell Я начинаю понимать концепцию монад и начинаю использовать известные монады в своем коде, но у меня все еще возникают трудности с приближением к монадам из дизайнерская точка зрения. В ...
вопрос задан: 8 January 2012 14:10
0
ответов
Есть ли версия монады andand для Objective-C?
Недавно я начал использовать andand Ика для Ruby от Ick, чтобы мне было легче перебирать вложенные коллекции, чем раньше. Есть ли где-нибудь версия этой идиомы для Objective-C? andand ...
вопрос задан: 2 January 2012 01:23
0
ответов
что это за уравнение с лямбда-обозначением «m >> n = m >> = \ _ -> n» в объявлении монады?
class Monad m where return :: a -> ma (>> =) :: ma -> (a -> mb) -> mb (>>) :: ma -> mb -> mbm >> n = m >> = \ _ -> n fail :: String - & ...
вопрос задан: 31 December 2011 19:50
0
ответов
Монады в JavaScript?
Как будет выглядеть пример кода JavaScript, в котором используется монада? Я спрашиваю, потому что понимание Monad намного яснее, если я могу увидеть пример кода (а JavaScript является простым функциональным языком ...
вопрос задан: 28 December 2011 12:55
0
ответов
Writer, реализованный с помощью Operational Monad, не работает лениво
Я написал монаду с функциональностью Writer, используя подход Operational Monad. Затем я заметил, что она не работает лениво. В приведенном ниже коде есть rogueWriter, который выполняет бесконечно много ...
вопрос задан: 26 December 2011 13:47
0
ответов
Функция, аналогичная (>> =), но возвращающая другую монаду
Тип (>> =) - (>> =) :: Monad m = > ma -> (a -> mb) -> mb Мне нужна функция типа: (Monad m, Monad n) => ma -> (a -> nb) -> nb Это ...
вопрос задан: 23 December 2011 09:05
0
ответов
Экзистенциальные типы и преобразователи монад
Контекст: я пытаюсь создать монаду ошибок, которая также отслеживает список предупреждений , примерно так: data Dangerous a = forall e w. (Error e, Show e, Show w) => Dangerous (ErrorT e (...
вопрос задан: 22 December 2011 18:49
0
ответов
Монады Хаскеля и fail, который не требует строки
У меня есть следующая монада-трансформер для работы с ошибками в Хаскеле. instance (Monad m, Error e) => Monad (EitherT e m) where return = EitherT . return . return m >>= k = ...
вопрос задан: 22 December 2011 09:51
0
ответов
Лучшая практика для оценки списка Maybes
Я ищу функцию, которая принимает функцию (a -> a -> a) и список [Может быть a] и возвращает Может быть a. Ничего полезного мне гугл не дал. Это похоже на довольно распространенный шаблон, поэтому я спрашиваю, ...
вопрос задан: 21 December 2011 11:28
0
ответов
Какая монада ошибок в haskell самая быстрая?
Монада Maybe / Either значительно замедляет работу. Ускоряет ли работу использование некоторой монады продолжения для обработки ошибок? Существует ли такая вещь, как «встроенная монада продолжения» или «...
вопрос задан: 13 December 2011 17:49
0
ответов
Стрелки / HXT и подписи типов
Я пытаюсь изучить стрелки в Haskell, поэтому я пишу простое приложение с библиотекой HXT на основе стрелок для XML. Примеры в вики-сайтах и учебных пособиях HXT не содержат сигнатуры типов функций. ...
вопрос задан: 11 December 2011 22:18
0
ответов
В отличие от функтора, монада может изменять форму?
Мне всегда нравилось следующее интуитивное объяснение мощности монады относительно функтора: монада может изменять форму; функтор не может. Например: length $ fmap f [1,2,3] всегда равно 3. ...
вопрос задан: 10 December 2011 14:14