18
ответов
Что такое монада?
Кратко рассмотрев недавно Хаскелла, каким было бы краткое, сжатое, практическое объяснение того, что в действительности представляет собой монада? Я нашел большинство объяснений, которые мне встретились, чтобы быть справедливым ...
вопрос задан: 28 August 2015 17:05
15
ответов
Какой смысл класса Опция [T]?
Я не могу понять точку класса Опции [T] в Scala. Я имею в виду, я не могу видеть любой advanages Ни одного по пустому указателю. Например, рассмотрите код: возразите Основной {класс Человек (имя:...
вопрос задан: 23 May 2017 11:47
10
ответов
Монада в непрограммировании условий [дубликат]
Возможный Дубликат: Что такое монада? Как Вы описали бы монаду в непрограммировании условий? Есть ли некоторое понятие/вещь за пределами программирования (за пределами всего программирования, не просто FP) который...
вопрос задан: 23 May 2017 12:17
9
ответов
Как я могу узнать о синтаксическом анализаторе combinators? [закрытый]
Я нашел несколько ресурсов на предмете, но они все требуют глубокого понимания SmallTalk или Haskell, ни один из которых я знаю.
вопрос задан: 25 April 2012 17:49
8
ответов
Монада на простом английском? (Для программиста ООП без фона FP)
С точки зрения того, что программист ООП понимает (без какой-либо функциональной основы программирования), что такое монада? Какую проблему он решает и какие места он использует чаще всего? РЕДАКТИРОВАТЬ: To ...
вопрос задан: 24 April 2010 20:13
7
ответов
Творческое использование монад
Я ищу творческое использование монад для приобретения знаний из. Я считал где-нибудь, что монады использовались, например, в AI, но быть новичком монады, мне не удается видеть как. Включайте ссылку на...
вопрос задан: 10 September 2014 07:35
7
ответов
Использование Haskell указывает монаде запах кода?
Бог я ненавижу термин "код запаха", но я не могу думать ни о чем более точном. Я разрабатываю высокоуровневый язык и компилятор к Пробелу в мое свободное время для приобретения знаний о конструкции компилятора...
вопрос задан: 17 April 2011 21:01
6
ответов
Злое использование, Возможно, монады и дополнительных методов в C#?
отредактируйте 2015, Этот вопрос и его ответы больше не являются актуальными. Это спросили перед появлением C# 6, который имеет пустой указатель, распространяющий opertor (?)., который устраняет hacky-обходные-решения, обсужденные в...
вопрос задан: 9 October 2015 17:38
6
ответов
Некоторые вопросы о монадах в Haskell
Я узнаю о монадах и имею несколько вопросов. Это - то, где я прямо сейчас. Исправьте меня, где я неправ.>> = символ является инфиксным оператором. Инфиксные операторы являются функциями это...
вопрос задан: 1 January 2015 16:13
6
ответов
Действительно ли Haskell чист (какой-нибудь язык, который имеет дело с вводом и выводом вне системы)?
После касания Monads в отношении функционального программирования, делает ли функция на самом деле язык чистым, или это просто еще одна «карта выхода из тюрьмы» для рассуждения компьютерных систем в ...
вопрос задан: 5 June 2012 16:00
6
ответов
Каков востребованный сценарий для использования Монад в C#
Позвольте мне заявить впереди, что у меня есть инфантильное понимание Монад. Я считал различные потоки на Монадах здесь и сделал несколько часов исследования понятия. Я едва чувствую себя довольным в...
вопрос задан: 15 May 2009 03:53
5
ответов
Почему побочные эффекты смоделированы как монады в Haskell?
Кто-либо мог дать некоторые подсказки по тому, почему нечистые вычисления в Haskell смоделированы как монады? Я подразумеваю, что монада является просто интерфейсом с 4 операциями, поэтому чем обоснование было к моделированию стороны-...
вопрос задан: 26 July 2017 05:19
5
ответов
У Haskell есть переменные?
Я часто слышал заявления, что у Haskell нет переменных; в частности, этот ответ утверждает, что не делает, и это было upvoted по крайней мере девять раз и приняло. Делает это имеет переменные или...
вопрос задан: 23 May 2017 12:34
5
ответов
Кто-либо когда-либо встречался с Преобразователем Монады в дикой природе?
В моей области бизнеса - бэк-офиса IT для финансового учреждения - компоненту программного обеспечения очень свойственно нести глобальную конфигурацию вокруг, зарегистрировать ее прогресс, иметь некоторую ошибку...
вопрос задан: 4 September 2016 03:37
5
ответов
Соединение/Объединение Классов Типа в Haskell
Скажите, что у меня есть два класса типа, определенные следующим образом, которые идентичны в функции, но отличаются на имена: класс Монада m, где (>> =):: m-> (-> m b)-> m b возврат::-> m...
вопрос задан: 6 March 2014 05:27
5
ответов
Сбор выводов IO в список
Как может я издавать множественные приказы к SDL.pollEvent:: Событие IO до вывода является SDL.NoEvent, и соберите все результаты в список? В обязательных терминах что-то вроде этого: события = [] событие = SDL....
вопрос задан: 8 July 2012 18:06
5
ответов
scala Iterable#map по сравнению с Iterable#flatMap
Каково различие между картой и flatMap функциями Повторяемых?
вопрос задан: 15 December 2010 22:42
5
ответов
Монады Haskell могут считаться использованием и возвратом скрытого параметра состояния?
Я не понимаю точную алгебру и теорию позади монад Haskell. Однако, когда я думаю о функциональном программировании в целом, я получаю впечатление, что состояние было бы смоделировано путем взятия...
вопрос задан: 11 May 2010 22:53
5
ответов
Что альтернатива для монад должны использовать IO в чистом функциональном программировании?
монады описаны как haskell решение иметь дело с IO. Я задавался вопросом, были ли другие способы иметь дело с IO на чистом функциональном языке.
вопрос задан: 29 January 2010 02:09
5
ответов
Помогите разработчику C# понять: Что такое монада?
Существует большой разговор о монадах в эти дни. Я прочитал несколько статей / сообщения в блоге, но я не могу зайти достаточно далеко с их примерами, чтобы полностью схватить понятие. Причина состоит в том, что монады...
вопрос задан: 23 March 2009 16:51
5
ответов
Монады продолжений?
Продолжения, как могут говорить, являются монадами? Действительно ли они - подмножество монад, или они - просто способ реализовать монады?Править: Или возможно я понял его превратно, и монады более абстрактное понятие, чем...
вопрос задан: 21 March 2009 15:01
4
ответа
Объяснение законов монады
Из небольшого введения в Haskell, есть следующие законы монады. Кто-нибудь может интуитивно объяснить, что они имеют в виду? return a > = k = k a m > = return = m ...
вопрос задан: 23 April 2018 13:54
4
ответа
Как Вы делаете универсальную функцию memoize в Haskell?
Я видел другое сообщение об этом, но есть ли очевидный способ выполнения этого в Haskell? Как 2-я часть, это может также быть сделано, не делая функцию одноместной?
вопрос задан: 23 May 2017 12:22
4
ответа
Должен Язык который Монады Реализаций быть Со статическим контролем типов?
Я изучаю стиль функционального программирования. В не Боятся Монад, Brian Beckman дал блестящее введение о Монаде. Он упомянул, что Монада о составе функций чтобы к...
вопрос задан: 27 July 2015 13:45
4
ответа
Haskell: одноместный takeWhile?
У меня есть некоторые функции, записанные в C, который я называю от Haskell. Эти функции возвращают IO (CInt). Иногда я хочу выполнить все функции независимо от того, что возвращает любой из них, и это легко...
вопрос задан: 15 March 2012 22:47
4
ответа
Функция соединения монады
В то время как монады представлены в Haskell, использующем функции связывания и возврата, у них может также быть другое представление с помощью функции соединения, такой, как обсуждено здесь. Я знаю тип этой функции...
вопрос задан: 5 December 2011 00:44
4
ответа
Haskell: Как записать интерактивный интерпретатор сверху монады состояния?
Мы работаем над образцовой файловой системой, которая использует монаду состояния внутренне. У нас есть класс типа с операциями как они: класс Монада m => FS m, где isDirectory:: Путь-> m дети Bool...
вопрос задан: 8 July 2010 18:42
4
ответа
Haskell и случайные числа
Я смешивал с Haskell несколько дней и споткнулся в проблему. Мне нужен метод, который возвращает случайный список целых чисел (Rand [[Интервал]]). Так, я определил тип: введите Rand = StdGen-> (a...
вопрос задан: 29 April 2010 15:27
4
ответа
Функция Haskell типа: Строка IO-> Строка
Я записал набор кода в Haskell для создания индекса текста. Главная функция похожа на это: индекс:: Строка-> [(Строка, [Целое число])] индекс a = [...] Теперь я хочу дать эту функцию...
вопрос задан: 4 November 2009 17:48
4
ответа
Каково различие между монадой и закрытием?
я - вид запутанного чтения определения между двумя. Они могут на самом деле пересечься с точки зрения определения? или я полностью потерян? Спасибо.
вопрос задан: 26 April 2009 11:57