3
ответа
Присоединяйтесь к двум IO с помощью - в haskell
Мне нужно соединить две строки ввода-вывода с - между ними. Вот то, что я придумал, который работает - как правильно? import System.Environment f :: String - > Строка - > IO String f x y = (foldl1 (...
вопрос задан: 16 January 2019 16:14
3
ответа
Масштабный дизайн в Haskell? [закрыто]
Что такое хороший способ для разработки / структурирования больших функциональных программ, особенно в Haskell? Я прошел через кучу уроков («Напиши себе схему», моя любимая, с Real World Haskell ...
вопрос задан: 6 November 2018 00:07
3
ответа
Когда это в порядке для использования IORef?
Одна вещь, которая всегда смущала меня, состоит в том, является ли это хорошо время для использования IORef. Есть ли какие-либо инструкции, которые должны сопровождаться при решении, использовать ли IORef для задачи?...
вопрос задан: 20 May 2018 12:24
3
ответа
Как и почему делает Haskell Продолжение следует работа монады?
Это - то, как Продолжение следует монада определяется: newtype Продолжение следует r = Продолжение следует {runCont:: (-> r)-> r} Монада экземпляра (Продолжение следует r), где возврат = Продолжение следует ($ a) m>> = k = Продолжение следует
вопрос задан: 3 December 2014 04:43
3
ответа
Проблема монады STM
Это - просто гипотетический сценарий для иллюстрирования моего вопроса. Предположим, что существует два потока и один TVar, совместно использованный ими. В одном потоке существует атомарно блок, который читает TVar...
вопрос задан: 4 May 2011 16:29
3
ответа
Haskell — “Последний оператор в 'действительно' создает, должно быть выражение”
Как он говорит в заголовке: То, что делает последний оператор в, 'действительно' создают, должно быть средним выражением? Я закончил, мои действительно блокируют с putStrLn как он шоу в нескольких примерах, которые я видел, и я добираюсь...
вопрос задан: 21 April 2011 22:19
3
ответа
Ограничение монады к классу типа
В Haskell, там способ ограничить монаду M так, чтобы удовлетворение ограничения класса типа? Я перевожу вероятностный пример моделирования от F# до Haskell. Однако в Haskell, я опустил...
вопрос задан: 17 April 2011 19:33
3
ответа
справка с монадой читателя
Я являюсь новым в haskell, я должен записать программу, с учетом контекста, таким образом, я думал, что могу использовать Монаду Читателя для хранения контекста, считанного из файла, я знаю, как считать файл, поместив содержание в список...
вопрос задан: 10 August 2010 17:11
3
ответа
Карты Haskell, возвращая монаду
Функция поиска в Данных. Карта и Данные. IntMap в настоящее время возвращают значения перенесенный в, Возможно, с поиском подписи типа:: Порядок k => k-> Карта k->, Возможно, Это раньше имел больше...
вопрос задан: 13 June 2010 01:44
3
ответа
LINQ запрашивают выражения, которые воздействуют на типы (монады?) кроме IEnumerable <T> — Возможные применения?
Я читаю книгу Реальное функциональное программирование Tomas Petricek и Jon Skeet, и мне нелегко переваривать раздел по вычислению expressions1) (иначе монады). Через эту книгу, меня...
вопрос задан: 4 June 2010 10:54
3
ответа
Монада, эквивалентная в Ruby
Что эквивалент создал бы из монады быть в Ruby?
вопрос задан: 25 April 2010 18:25
3
ответа
Устройство записи монад m и Любой e, категорически двойной?
Я заметил, что существует двойное отношение между Устройством записи m и Любым e монады. Если m является моноидом, то единица:: ()-> m соединение:: (m, m)-> m может использоваться для формирования монады: возврат является составом:-> (...
вопрос задан: 22 April 2010 10:44
3
ответа
Монада состояния, почему не кортеж?
Я только что перенес голову вокруг монад (по крайней мере, я хотел бы думать, что я имею), и более конкретно монада состояния, который некоторые люди, которые являются путем, более умным затем меня вычисленный, таким образом, я - вероятно, способ...
вопрос задан: 7 April 2010 20:46
3
ответа
Обычная практика для полиморфизма высшего порядка в scala
Я пытаюсь схватить higher-order-polymophism в scala путем реализации очень простого интерфейса, который описывает монаду, но я сталкиваюсь с проблемой, которую я действительно не понимаю. Я реализовал то же...
вопрос задан: 5 April 2010 21:32
3
ответа
Что программирование задачи предоставило Вашему прорыву монады? [закрытый]
В недавнем сообщении в блоге о монаде вероятности он записал, Mark Dominus записал, "Таким образом, я чувствую, что наконец прибыл, monadwise". Моя первая одноместная программа была неловким решением проблемы 32 от...
вопрос задан: 9 January 2010 21:43
3
ответа
Монада состояния, последовательности случайных чисел и одноместного кода
Я пытаюсь схватить Монаду состояния, и с этой целью я хотел написать одноместный код, который генерирует последовательность случайных чисел с помощью Линейного Генератора Congruential (вероятно, не хороший...
вопрос задан: 24 December 2009 03:32
3
ответа
Кто-то может обойти меня через эту функцию Haskell (Связанная монада состояния)?
галочка:: Международная Международная галочка Состояния = добирается>> = \n->, помещает (n+1)>> = \y->, возвращают n, я смущен относительно того, как помещенный (n+1) имеет любой эффект на конечный результат этой функции вообще. Это...
вопрос задан: 25 November 2009 09:45
3
ответа
Создание монад в haskell
Я хочу создать свою собственную монаду. Это - то, что я записал: данные LeafConType = LeafCon (a, Интервал, Интервал) Монада экземпляра (LeafConType), где возврат = LeafCon lc@ (LeafCon (t, я, n))>> = f =, если i> =n...
вопрос задан: 22 November 2009 19:49
3
ответа
поиск изучения осуществления: реализуйте эти монады
Когда приобретение знаний о новом программировании подвергает, я обычно следую за шаблоном: Я читал об этом, я понимаю это, и затем я кодирую несколько примеров, чтобы удостовериться, что я действительно получаю его. Я читал много о...
вопрос задан: 3 October 2009 23:04
3
ответа
Как я комбинирую монады в Haskell?
Особенно, я должен быть в состоянии объединить монаду CGI с монадой IO, но пример того, как объединить монаду IO с, Возможно, монада, мог бы быть еще лучше...
вопрос задан: 21 July 2009 22:25
3
ответа
Haskell: я могу использовать, где пункт после блока со связывает операторы (>> =)?
У меня есть очень простой вопрос. Я хотел бы использовать, где пункт после блока кода, который использование связывает операторы, но я получаю ошибку компиляции. Вот простой пример: основной = putStrLn, "где пункт...
вопрос задан: 21 July 2009 22:10
3
ответа
Как действительно 'получает' на самом деле/get/начальное состояние в Haskell?
У меня есть функция: тест:: Строка-> Строковый Строковый тест состояния x = добирается>> = \test->, позволяют тесту' = x ++, тест в помещенном тесте'>> становится>> = \test2-> помещенным (test2 ++ x)...
вопрос задан: 24 June 2009 07:49
2
ответа
Работа по возврату из, Возможно, который содержит “Просто”
У меня есть функция, которая имеет тип возврата, Возможно ([(Интервал, Интервал)], (Интервал, Интервал)), я хотел бы назвать это от другой функции и выполнить операцию на данных. Однако возвращаемое значение содержится...
вопрос задан: 3 February 2018 19:33
2
ответа
Синтаксис Haskell для case-выражения в действительно блокируется
Я не могу вполне выяснить, что эта проблема синтаксиса с case-выражением в действительно блокируется. Каков правильный синтаксис? Если бы Вы могли бы исправить мой пример и объяснить это, который был бы лучшим. Основной модуль...
вопрос задан: 11 June 2017 14:14
2
ответа
Предотвращение явной рекурсии в Haskell
Следующая простая функция применяет данную одноместную функцию многократно, пока она не поражает Ничто, в которой точке она возвращает последнее, которое неничто не оценивает. Это делает то, в чем я нуждаюсь, и я понимаю как это...
вопрос задан: 23 May 2017 12:02
2
ответа
ST Monad == запах кода?
Я работаю над реализацией алгоритма UCT в Haskell, который требует большого количества манипуляций с данными. Не вдаваясь в подробности, это алгоритм моделирования, в котором на каждом «шаге» ...
вопрос задан: 23 May 2017 12:00
2
ответа
простая ошибка реализации дерева монады [дубликат]
Рассмотрим следующий фрагмент кода - модуля Main, где данные MyTree a = MyLeaf a | MyNode (MyTree a) (MyTree a), выводящий (Show) экземпляр Monad MyTree, где return = ...
вопрос задан: 27 July 2015 15:29
2
ответа
mtl, преобразователи, монады-fd, monadLib, и предпочтительный парадокс
Hackage имеет несколько пакетов для преобразователей монады: mtl: преобразователи библиотеки преобразователя Монады: Конкретный функтор и монады-fd преобразователей монады: классы Монады, с помощью функциональных зависимостей...
вопрос задан: 3 January 2014 01:36
2
ответа
карта по сравнению с mapM поведением
Я нахожусь на главе ввода-вывода Реального мира Haskell. Монады не обсуждены в книге еще для 7 глав. Который должен сказать, мое понимание ввода-вывода, в лучшем случае неполно. Прямо сейчас я пытаюсь...
вопрос задан: 15 December 2013 14:28
2
ответа
Монада-трансформер для отслеживания прогресса
Я ищу монаду-трансформер, которую можно использовать для отслеживания прогресса процедуры. Чтобы объяснить, как его можно использовать, рассмотрим следующий код: procedure :: ProgressT IO ()
procedure = task ...
вопрос задан: 19 December 2011 21:06