Результаты поиска по запросу "state-monad"

3 ответа

что такое правильное понимание монады или последовательности как для карты, так и для переноса состояния?

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

3 ответа

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

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

1 ответ

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

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

ТОП публикаций

3 ответа

Есть два способа, помимо двух IORef, сделать это, но вам, безусловно, нужно больше, чем последний предложенный вами тип, который не позволяет вам изменять значения, с которыми связаны имена, в лексической области видимости. Гугл "проблема funargs" для множества интересных предысторий.

отаю черезНапишите себе схему за 48 часов [http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours](Я до 85 часов), и я получил часть оДобавление переменных и ...

1 ответ

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

1 ответ

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

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

1 ответ

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

использую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 => ...

5 ответов

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

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

3 ответа

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

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

8 ответов

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

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