0
ответов
Как скрыть экземпляр Monad [] (или [] вообще )?
Я пытаюсь выполнить некоторые упражнения в Typeclassopedia, но у меня возникают проблемы с определением моего собственного экземпляра Monad [], потому что я не могу его скрыть. Я смог скрыть Может быть...
вопрос задан: 17 August 2012 19:02
0
ответов
почему функция не может принимать монадическое значение и возвращать другое монадическое значение?
Допустим, у нас есть две монадические функции :f ::a -> m b g ::b -> m c h ::a -> m c Функция связывания определяется как (>> =)::м а -> (а -> м б)-> м б Мой вопрос...
вопрос задан: 15 August 2012 10:44
0
ответов
Есть ли у Скалаз что-то, что можно накопить как в ошибках, так и в успехах?
Я начал использовать Scalaz 7 Validation and/or disjunction для обработки списка возможных неудачных операций и управления их результатом. Есть два хорошо задокументированных случая для такого рода вариантов использования :1/...
вопрос задан: 10 August 2012 14:39
0
ответов
Монады в JavaScript
Поэтому я хочу понять практические случаи, когда монады в JavaScript полезны. Я прочитал кучу статей о монадах в JavaScript и понял, что jQuery — это один из примеров его использования. Но...
вопрос задан: 8 August 2012 18:43
0
ответов
Полиморфная функция Scala для фильтрации входного списка либо
В поисках более элегантного решения у меня есть этот фрагмент кода, я просто использую его в тестовых случаях, когда нет необходимости выполнять какую-либо обработку ошибок. Что он делает, так это :принимает входной список строк разобрать их...
вопрос задан: 8 August 2012 15:51
0
ответов
Объединение Scala Option[Iterable[_]]
Я пытаюсь объединить два Option[Iterable[_]] в новый Option[Iterable[_]]. Я хотел бы вернуть Some, если один (или оба )элементов являются Some и None в противном случае. Вроде как должны...
вопрос задан: 5 August 2012 22:53
0
ответов
Для чего нужен MonadBaseControl?
Я углубляюсь в монады Yesod и наткнулся на MonadBaseControl. Я взглянул на hackage doc и заблудился. Может ли кто-нибудь сказать мне, какую проблему он пытается решить?
вопрос задан: 27 July 2012 19:17
0
ответов
Определение экземпляра монады Data.Stream
Экземпляр монады Data.Stream определяется следующим образом :instance Monad Stream where return = repeat xs >>= f = join (fmap f xs )where join ::Stream (Stream a)-> Потоковое...
вопрос задан: 27 July 2012 09:07
0
ответов
Как преобразовать clojure.contrib.monads для использования с clojurescript?
Я хотел бы использовать библиотеку Clojure Monad clojure.contrib.monads в ClojureScript. Существует ли проверенная реализация, которая работает с ClojureScript, поскольку она не указана в...
вопрос задан: 23 July 2012 07:39
0
ответов
Зачем State нужно значение?
Просто изучаю монаду State из этого превосходного учебника. Однако, когда я попытался объяснить это не -программисту, у них возник вопрос, который поставил меня в тупик. Если целью государства является имитация...
вопрос задан: 20 July 2012 16:34
0
ответов
Монада для Const?
Почему нет экземпляра монады для Control.Applicative.Const? Правильно ли следующее определение или оно нарушает законы монад? instance Monoid a => Monad (Const a ), где return _= Const mempty...
вопрос задан: 17 July 2012 20:29
0
ответов
Определение новых ключевых слов в вычислительном выражении F#
Бета-версия F# 3.0 содержит вычислительное выражение запроса {} с множеством новых ключевых слов. Как я могу определить свои собственные ключевые слова в построителе вычислений?
вопрос задан: 11 July 2012 21:47
0
ответов
Могу ли я использовать монады с clojurescript?
Я знаю, что монады доступны в clojure, но кто-нибудь проверял, работают ли они в clojurescript?
вопрос задан: 6 July 2012 19:03
0
ответов
Шаблоны функционального проектирования [закрыто]
Существует множество функциональных идиом :монады, аппликативы, стрелки и т. д. Они описаны в разных статьях, но, к сожалению, я не знаю ни одной книги или статьи, где бы они были обобщены в одной...
вопрос задан: 5 July 2012 10:54
0
ответов
Использование возврата и неиспользование возврата в монаде списка
Я начал свой Великий крестовый поход на Haskell (GHC:))и я немного запутался с монадами и функциями ввода-вывода. Может ли кто-нибудь объяснить просто, в чем разница между этими двумя функциями? f1 = do x < -[1,2]...
вопрос задан: 4 July 2012 06:35
0
ответов
Возможно, приоритет функции привязки монады
В этом уроке я нашел следующий фрагмент :депозит::(Число a )=> a -> a -> возможно a депозитная стоимость аккаунта = просто (аккаунт + стоимость )снятие::(Num a,Ord a )=> a -> a ->...
вопрос задан: 3 July 2012 14:54
0
ответов
Использование Reader Monad для внедрения зависимостей
Недавно я видел доклады Dead -Simple Dependency Injection и Dependency Injection Without the Gymnastics о DI с монадами и был впечатлен. Я попытался применить его к простой задаче, но потерпел неудачу, так как...
вопрос задан: 30 June 2012 17:52
0
ответов
Конфигурационные данные в Scala — стоит ли использовать монаду Reader?
Как мне создать правильно функционирующий настраиваемый объект в Scala? Я посмотрел видео Тони Морриса о монаде Reader и до сих пор не могу соединить точки. У меня есть жесткий -закодированный список клиентов...
вопрос задан: 29 June 2012 00:06
0
ответов
Более идиоматический (монадический?) способ выразить этот Scala
У меня есть несколько блоков кода, которые следуют этому образцу: // Dummy function defs.
def result(i : Int, d : Double, b : Boolean) = { if (b) d else i
} def fA(s: строка) = {7}
def fB(s : String, i : ...
вопрос задан: 27 June 2012 05:33
0
ответов
StackOverflow в монаде продолжения
Использование следующей монады продолжения: type ContinuationMonad() = member this.Bind (m, f) = fun c -> m (fun a -> fac) член this.Return x = fun k -> kx let cont = ...
вопрос задан: 25 June 2012 11:47
0
ответов
Применяется ли термин «монада» к значениям таких типов, как Maybe или List, или вместо этого он применяется только к самим типам?
Я заметил, что слово «монада» кажется несколько непоследовательным. Я пришел к выводу, что это происходит потому, что многие (если не большинство) руководств по монадам написаны людьми...
вопрос задан: 20 June 2012 15:41
0
ответов
Пример Comonad в Scala
Что такое Comonad, если это возможно описать в синтаксисе Scala. Нашел реализацию библиотеки scalaz, но непонятно, где она может пригодиться.
вопрос задан: 20 June 2012 14:14
0
ответов
Есть ли методы для восстановления достаточной лени, чтобы связать себя узами брака в монаде?
Я хочу написать простой фрагмент кода (сэкономив мне много времени на реализацию в противном случае), связав себя узами брака. Это примерно так: n <- myinstr nx, где теоретически myinstr должен запустить x, чтобы получить ...
вопрос задан: 18 June 2012 14:05
0
ответов
Использование Cont для получения значений из будущего и прошлого
Я пишу интерпретатор brainfuck на Haskell и придумал, как мне кажется, очень интересное описание программы :data Program m = Instruction (m())(Программа m )|...
вопрос задан: 18 June 2012 14:04
0
ответов
Haskell :дублированные функции (+ )и (++ ), mappend
(+ )и (++ )— это просто специализации mappend; я прав? Зачем они нужны? Это бесполезное дублирование, поскольку в Haskell есть мощные классы типов и вывод типов. Допустим, мы удаляем (+ )...
вопрос задан: 9 June 2012 15:28
0
ответов
Монада IO в Haskell и использование памяти
Я, вероятно, не очень хорошо понимаю монаду IO. Если я напишу приложение, которое, как ожидается, будет работать в течение многих месяцев, при этом записывая его прогресс, будет ли монада IO хранить весь журнал...
вопрос задан: 4 June 2012 11:45
0
ответов
Могу ли я отказаться от использования UndecidableInstances в этом экземпляре Show для Free Monad?
Я только что пытался разобраться со свободными монадами; в качестве учебного пособия мне удалось написать экземпляр Show для следующего типа Free: {-# LANGUAGE FlexibleContexts, UndecidableInstances #-}
...
вопрос задан: 4 June 2012 00:57
0
ответов
Использование Либо с синтаксисом for в Scala
Насколько я понимаю, синтаксис for в Scala очень похож на монадический синтаксис do в Haskell. В Scala синтаксис for часто используется для списков и параметров. Я хотел бы использовать его с Both, но...
вопрос задан: 2 June 2012 23:28
0
ответов
Использование монады состояния для сокрытия явного состояния.
Я пытаюсь написать небольшую игру на Haskell, и мне нужно передать изрядное количество состояний. Я хочу попробовать скрыть состояние с помощью монады State. Теперь я столкнулся с проблемой: функции...
вопрос задан: 2 June 2012 21:08
0
ответов
Являются ли монады просто способами составления функций, которые в противном случае не складывались бы?
Функция связывания кажется удивительно похожей на функцию композиции. И это помогает в составлении функций, возвращающих монады. Есть ли что-нибудь более поучительное в монадах, чем эта идея?
вопрос задан: 2 June 2012 16:52