Результаты поиска по запросу "state-monad"
Можно ли реализовать `(Applicative m) => Applicative (StateT s m)`?
Я сейчас работаю надData.Fresh а такжеControl.Monad.Trans.Fresh, что соотв. определить интерфейс для генерации свежих переменных и преобразователь монад, который реализует этот интерфейс. Я изначально думал, что будет возможно ...
Государственная монада, последовательности случайных чисел и монадический код
Я пытаюсь понять Государственную Монаду, и с этой целью я хотел написать монадический код, который генерировал бы последовательность случайных чисел, используя линейный конгруэнтный генератор (вероятно, не очень хорошо, но я собираюсь просто ...
Монада IO (и IIRC - монада ST) внутренне не функционирует в целях производительности. Тем не менее, это не должно быть. Среда выполнения (код C) может просто выполнить монаду без кода Haskell, который делает что-либо небезопасное или неработающее. Все остальные монады вовсе не небезопасны и не функционируют.
я ненавижу термин «запах кода», но не могу придумать ничего более точного. Я разрабатываю язык высокого уровня и компилятор дляПробелы [http://compsoc.dur.ac.uk/whitespace/]в свободное время я узнаю о построении компилятора, проектировании ...
Поиск в ширину с использованием государственной монады в Haskell
Недавно я задал вопрос о построении дерева DFS из Graph в Stackoverflow и узнал, что его можно просто реализовать с помощью State Monad.DFS в хаскелеВ то вре...
Могу ли я использовать разные рабочие процессы одновременно в F #?
Мне нужно, чтобы мое состояние передавалось вместе с возможностью цепочки функций, возможно, с рабочим процессом. Есть ли способ для двух рабочих процессов использовать один и тот же контекст? Если нет, как это сделать? ОБНОВИТЬ: Ну, у меня ...
Чистый функционал Генератор случайных чисел - Государственная монада
Книга 'Функциональное программирование в Scalaдемонстрирует пример чистого функционального генератора случайных чисел, как показано ниже
И был я, чувствуя себя все умным
использую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 => ...