0
ответов
Аппликативы составляют, монады - нет
Аппликативы составляют, а монады - нет. Что означает вышеприведенное утверждение? И когда одно предпочтительнее другого?
вопрос задан: 18 June 2015 06:11
0
ответов
Монада Pause
Монады могут делать много удивительных, сумасшедших вещей. Они могут создавать переменные, содержащие суперпозицию значений. Они могут позволить вам получить доступ к данным из будущего до того, как вы их вычислите. Они могут позволить вам...
вопрос задан: 5 March 2015 09:40
0
ответов
Устранение моего явного состояния, проходящего через подобные, монады и прочее
Я работаю над книгой Land of Lisp in F # (да, странно, Я знаю). В своем первом примере текстового приключения они используют мутацию глобальной переменной, и я бы хотел ее избежать. Моя монада-фу слабая, ...
вопрос задан: 17 February 2015 17:52
0
ответов
Эйлер 43 - есть ли монада, которая поможет написать это понимание списка?
Вот способ решения задачи Эйлера 43 (пожалуйста, дайте мне знать, если это не даст правильного ответа). Есть ли монада или какой-либо другой синтаксический сахар, который мог бы помочь в отслеживании notElem...
вопрос задан: 22 January 2015 19:35
0
ответов
Как мне войти в Haskell?
Я пытаюсь использовать HSlogger, чтобы получить некоторую информацию о моей программе. Поэтому я добавляю следующую строку в свою функцию import Data.Word
импортировать квалифицированные Data.ByteString как B
импорт квалифицированных данных ....
вопрос задан: 18 January 2015 00:08
0
ответов
Как извлечь значение из монадического действия
Есть ли встроенная функция с сигнатурой :: (Монада m) => ma -> a? Гугл сообщает, что такой функции нет. Вы можете объяснить, почему?
вопрос задан: 18 October 2014 14:01
0
ответов
В Java 8 отсутствует OptionalBoolean?
В качестве примитивной версии Optional * Java 1.8 предоставляет OptionalInt, OptionalLong и OptionalDouble. Но я не могу найти эквивалентный класс OptionalBoolean. Есть ли технические причины против ...
вопрос задан: 28 May 2014 23:01
0
ответов
Монада параметров в scala
как должна работать монада параметров? Я просматриваю scala api, и есть пример (я имею в виду второй). Из-за того, как работает понимание, если None возвращается из request.getParameter, ...
вопрос задан: 13 February 2014 21:21
0
ответов
Примеры доменных монад в Scala [закрыто]
Я понимаю (более или менее) стандартные монады, такие как Option (может быть), List, State, Reader, Writer и т. Д. Они универсальны и могут быть найдены в любом приложении. Другими примерами универсальных монад являются ...
вопрос задан: 23 January 2014 18:13
0
ответов
Следует ли мне избегать использования сбоя Monad?
Я новичок в Haskell и постепенно начинаю понимать, что что-то не так с существованием сбоя Monad. Real World Haskell предостерегает от его использования («Еще раз, мы рекомендуем ...
вопрос задан: 7 January 2014 15:03
0
ответов
Хороший способ отслеживать несколько ссылок между функциями в монаде ST?
Я пишу код (сэмплер MCMC Metropolis-Hastings) который будет использовать генератор случайных чисел и на его основе изменять массив и, возможно, другие структуры. Моя первоначальная идея состояла в том, чтобы использовать ...
вопрос задан: 15 December 2013 14:20
0
ответов
Примеры монады, чья аппликативная часть может быть лучше оптимизирована, чем часть монады
В одном обсуждении я слышал, что интерфейс Applicative некоторых парсеров реализован иначе, более эффективно, чем их интерфейс Monad. Причина в том, что с Applicative мы знаем все «эффекты» ...
вопрос задан: 3 September 2013 15:47
0
ответов
Пожалуйста, помогите мне понять концепцию внутренних и внешних монад.
Я еще не монад-джедай, но имею базовое представление о них. Теперь я прочитал некоторые статьи, в которых упоминаются «внутренняя» и «внешняя» монада, и мне интересно, что это значит. (Ссылки на) примеры кода будут...
вопрос задан: 13 June 2013 13:35
0
ответов
стиль передачи продолжения и монады
В чем разница между стилем передачи продолжения (cps) и монадами.
вопрос задан: 1 June 2013 02:52
0
ответов
Извлечение значения Maybe в IO
Учитывая следующее:> (liftM2 fromMaybe) (ioError $ userError "OOPS" ) (return $ Just "ok") ghci выдает *** Исключение: ошибка пользователя (OOPS) Конечно, fromMaybe работает правильно:> (...
вопрос задан: 13 April 2013 19:05
0
ответов
Каковы определения для > > = и возврата для монады IO?
Посмотрев, как определяются монады List и Maybe, мне, естественно, стало интересно, как определяются операции > > = и return для монады IO.
вопрос задан: 3 February 2013 05:29
0
ответов
Простой интерпретатор, написанный на Haskell, сохраняет вывод печати до конца, а не когда он приходит через оператор печати
Ниже я попытался создать очень простой интерпретатор, который переведен из Java-версии программы, описанной в главе 1 «Современная реализация компилятора на Java» Эндрю В. Appel, и ...
вопрос задан: 23 January 2013 14:23
0
ответов
Добавить в список, если значение не равно нулю
У меня есть функция, которая может возвращать нулевое значение: def func (arg: AnyRef): String = {...}, и я хочу добавить результат в список, если он не нулевой: ... val l = func (o ) список if (l! = null): + = l .....
вопрос задан: 21 January 2013 11:59
0
ответов
Извлечение значений из списка действий ввода-вывода
Итак, у меня есть что-то вроде: [IO Blah, IO Blah, IO Blah], и я действительно хочу просто список действий ввода-вывода, как мне это сделать? P.S.: Да, я работаю в функции ввода-вывода.
вопрос задан: 18 January 2013 22:33
0
ответов
Является ли каждый метод, возвращающий `this`, монадой?
Является ли каждый метод в классе, который возвращает это монадой?
вопрос задан: 24 December 2012 18:37
0
ответов
Это монада?
I ' Я пытаюсь понять концепцию монад, и я хочу знать, является ли этот код реализацией этой концепции (в JavaScript). У меня есть функция M, которая возвращает новый объект с установленным методом ...
вопрос задан: 3 December 2012 06:37
0
ответов
Работа над стеком преобразователей монад с перестановками
Одна из проблем с преобразователями монад, которую я обнаружил, - необходимость переноса операций в правую монаду. Отдельный подъем здесь и там неплохо, но иногда есть функции, которые выглядят как ...
вопрос задан: 28 November 2012 14:39
0
ответов
Требуется ли доступ к внутренней структуре монады для преобразователя монады?
Нужно ли иметь доступ к внутренней структуре монаду написать преобразователя монады? Например, :я бы хотел иметь преобразователь GetT -для монады Get из Data.Binary.Get, но это...
вопрос задан: 28 November 2012 14:08
0
ответов
Должно ли оборачивание функций в преобразователь монад считаться плохой практикой?
Допустим, мы хотим использовать ReaderT [(a, b)] над монадой Maybe, а затем мы хотим выполнить поиск в списке. Теперь простой и не слишком необычный способ сделать это: первая возможность найти a = ReaderT (...
вопрос задан: 11 October 2012 12:29
0
ответов
Использование монады Maybe в обратном направлении
Допустим, у меня есть несколько функций: f :: a -> Maybe a
g :: a -> Может быть
h :: a -> Может быть a И я хочу составить их следующим образом: если f не возвращает ничего, вычислите g. Если g возвращает ...
вопрос задан: 8 October 2012 19:30
0
ответов
монада состояния чтения-записи -как запустить этот код Scala
Тони Моррис выступил с этим фрагментом. Он использует монаду ReaderWriterState для предоставления контролируемого доступа для чтения/записи к неявному контексту. Это имеет смысл. Как использовать код? Я хотел бы...
вопрос задан: 19 September 2012 16:47
0
ответов
Из C ++ в классы и состояния Haskell
Мне нужно преобразовать этот код C ++ класса A {public: int x_A; void setX_A (int newx) {x_A = newx; } void printX_A () {printf ("x_A - это% d", x_A); }
}; класс B: ...
вопрос задан: 16 September 2012 15:29
0
ответов
Построение эффективных экземпляров монады в `Set` (и других контейнерах с ограничениями) с использованием монады продолжения
Set, подобно [], имеет совершенно определенные монадические операции. Проблема в том, что они требуют, чтобы значения удовлетворяли ограничению Ord, и поэтому невозможно определить return и > > = без ...
вопрос задан: 29 August 2012 17:49
0
ответов
Хранить полиморфные обратные вызовы в Haskell
Заранее извините за этот длинный пост. Я пишу управляемое событиями приложение на Haskell, поэтому мне нужно хранить несколько функций обратного вызова для дальнейшего использования. Я хотел бы, чтобы такие обратные вызовы были: ...
вопрос задан: 21 August 2012 17:01
0
ответов
Подсказка по составу функций
просто ищу объяснение, как работает следующая композиция:(=<< ). вернуть где (=<<)::(а -> м б)-> м а -> м б возврат ::а -> м а (.)::(б -> в)->...
вопрос задан: 20 August 2012 06:22