Результаты поиска по запросу "state-monad"
что такое правильное понимание монады или последовательности как для карты, так и для переноса состояния?
Я пишу переводчик языка программирования. Мне нужна правильная идиома кода, чтобы как оценить последовательность выражений, чтобы получить последовательност...
Государственная монада, последовательности случайных чисел и монадический код
Я пытаюсь понять Государственную Монаду, и с этой целью я хотел написать монадический код, который генерировал бы последовательность случайных чисел, используя линейный конгруэнтный генератор (вероятно, не очень хорошо, но я собираюсь просто ...
Приведение в порядок монад - превращение монадного трансформатора в монаду нового типа
Я пытаюсь взять например
Есть два способа, помимо двух IORef, сделать это, но вам, безусловно, нужно больше, чем последний предложенный вами тип, который не позволяет вам изменять значения, с которыми связаны имена, в лексической области видимости. Гугл "проблема funargs" для множества интересных предысторий.
отаю черезНапишите себе схему за 48 часов [http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours](Я до 85 часов), и я получил часть оДобавление переменных и ...
scalaz List [StateT] .sequence - не удалось найти неявное значение для параметра n: scalaz.Applicative
Я пытаюсь понять, как использоватьStateT объединить дваState преобразователи состояния на основе комментария к моемуСкаладская государственная ...
И был я, чувствуя себя все умным
использую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 => ...
ST Monad == Кодовый запах?
Я работаю над реализациейUCT [http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1296]Алгоритм в Haskell, который требует изрядного объема данных. Не вдаваясь в подробности, это алгоритм моделирования, в котором на каждом «шаге» ...
Можно ли реализовать `(Applicative m) => Applicative (StateT s m)`?
Я сейчас работаю надData.Fresh а такжеControl.Monad.Trans.Fresh, что соотв. определить интерфейс для генерации свежих переменных и преобразователь монад, который реализует этот интерфейс. Я изначально думал, что будет возможно ...
Монада IO (и IIRC - монада ST) внутренне не функционирует в целях производительности. Тем не менее, это не должно быть. Среда выполнения (код C) может просто выполнить монаду без кода Haskell, который делает что-либо небезопасное или неработающее. Все остальные монады вовсе не небезопасны и не функционируют.
я ненавижу термин «запах кода», но не могу придумать ничего более точного. Я разрабатываю язык высокого уровня и компилятор дляПробелы [http://compsoc.dur.ac.uk/whitespace/]в свободное время я узнаю о построении компилятора, проектировании ...