И был я, чувствуя себя все умным

используюState имитировать поведениеList.zipWithIndex? Что я придумал до сих пор (что не работает): def numberSA[A](list : List[A]) : State[Int, List[(A, Int)]] = list match { case x :: xs => (init[Int] <* modify((_:Int) + 1)) map { s : Int => ...

Приведение в порядок монад - превращение монадного трансформатора в монаду нового типа

Я пытаюсь взять например

scalaz List [StateT] .sequence - не удалось найти неявное значение для параметра n: scalaz.Applicative

Я пытаюсь понять, как использоватьStateT объединить дваState преобразователи состояния на основе комментария к моемуСкаладская государственная ...

Можно ли реализовать `(Applicative m) => Applicative (StateT s m)`?

Я сейчас работаю надData.Fresh а такжеControl.Monad.Trans.Fresh, что соотв. определить интерфейс для генерации свежих переменных и преобразователь монад, который реализует этот интерфейс. Я изначально думал, что будет возможно ...

Монада IO (и IIRC - монада ST) внутренне не функционирует в целях производительности. Тем не менее, это не должно быть. Среда выполнения (код C) может просто выполнить монаду без кода Haskell, который делает что-либо небезопасное или неработающее. Все остальные монады вовсе не небезопасны и не функционируют.

я ненавижу термин «запах кода», но не могу придумать ничего более точного. Я разрабатываю язык высокого уровня и компилятор дляПробелы [http://compsoc.dur.ac.uk/whitespace/]в свободное время я узнаю о построении компилятора, проектировании ...

ST Monad == Кодовый запах?

Я работаю над реализациейUCT [http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1296]Алгоритм в Haskell, который требует изрядного объема данных. Не вдаваясь в подробности, это алгоритм моделирования, в котором на каждом «шаге» ...

Имитация взаимодействующих объектов с сохранением состояния в Haskell

Государственная монада, последовательности случайных чисел и монадический код

Я пытаюсь понять Государственную Монаду, и с этой целью я хотел написать монадический код, который генерировал бы последовательность случайных чисел, использ...

Как я могу написать этот простой код, используя монаду состояния?

Примеры скалад государственной монады

Я не видел много примеров монады состояния скалаза. Естьэтот пример [http://scalaz.github.com/scalaz/scalaz-2.9.1-6.0.2/doc.sxr/scalaz/example/ExampleState.scala.html] но это трудно понять и есть только одиндругой ...