7
ответов
Использование Haskell указывает монаде запах кода?
Бог я ненавижу термин "код запаха", но я не могу думать ни о чем более точном. Я разрабатываю высокоуровневый язык и компилятор к Пробелу в мое свободное время для приобретения знаний о конструкции компилятора...
вопрос задан: 17 April 2011 21:01
4
ответа
Haskell: Как записать интерактивный интерпретатор сверху монады состояния?
Мы работаем над образцовой файловой системой, которая использует монаду состояния внутренне. У нас есть класс типа с операциями как они: класс Монада m => FS m, где isDirectory:: Путь-> m дети Bool...
вопрос задан: 8 July 2010 18:42
3
ответа
Монада состояния, последовательности случайных чисел и одноместного кода
Я пытаюсь схватить Монаду состояния, и с этой целью я хотел написать одноместный код, который генерирует последовательность случайных чисел с помощью Линейного Генератора Congruential (вероятно, не хороший...
вопрос задан: 24 December 2009 03:32
3
ответа
Как действительно 'получает' на самом деле/get/начальное состояние в Haskell?
У меня есть функция: тест:: Строка-> Строковый Строковый тест состояния x = добирается>> = \test->, позволяют тесту' = x ++, тест в помещенном тесте'>> становится>> = \test2-> помещенным (test2 ++ x)...
вопрос задан: 24 June 2009 07:49
2
ответа
ST Monad == запах кода?
Я работаю над реализацией алгоритма UCT в Haskell, который требует большого количества манипуляций с данными. Не вдаваясь в подробности, это алгоритм моделирования, в котором на каждом «шаге» ...
вопрос задан: 23 May 2017 12:00
2
ответа
Лучше использовать монаду состояния или передать состояние рекурсивно?
Я просто изучаю Haskell и пытаюсь выяснить самый идиоматический способ реализовать алгоритм угла обзора. Демонстрационный код я нашел использование монадой состояния, но это кажется более простым мне (я просто...
вопрос задан: 17 April 2011 18:53
2
ответа
Стопка преобразователя монады Haskell и подписи типа
Я пытаюсь создать стопку преобразователей монады и испытываю затруднения при получении корректных подписей типа для моих функций. (Я все еще довольно плохо знаком с Haskell), стек комбинирует несколько...
вопрос задан: 18 January 2010 22:10
1
ответ
Как обновить части штата в государственной монаде?
У меня есть тип, который я хотел бы использовать как часть государственной монады: {- # LANGUAGE TemplateHaskell # -} import Control.Lens data SomeState = SomeState {_int :: Int, _string :: String} makeLenses '' .. ,
вопрос задан: 14 July 2018 01:06
1
ответ
Подсказки для более изящного кода с монадами?
Я наконец овладел о том, как использовать монады (не знайте, понимаю ли я их...), но мой код никогда не очень изящен. Я предполагаю, от отсутствия власти как все те функции на Управлении. Монада может действительно...
вопрос задан: 29 April 2012 20:12
1
ответ
Монада продолжения “интерфейс”
Монада состояния "соединяет интерфейсом" с классом MonadState s m, где доберитесь:: m s помещенный:: s-> m () (+ возвращают и связывают) позволяет создавать любое возможное вычисление с монадой состояния, не используя состояние...
вопрос задан: 19 April 2011 01:38
0
ответов
Разница между состоянием, ST, IORef и MVar
Я работаю над «Напишите себе схему за 48 часов» (я примерно до 85 часов), и я дошел до части о добавлении переменных и присвоений. В этой главе произошел большой концептуальный скачок, и ...
вопрос задан: 20 May 2018 12:25
0
ответов
Как работать с состоянием приложения в Gtk2Hs
Пытаясь научиться писать приложения с помощью Gtk2H, я сталкиваюсь с трудностями при преодолении разрыва между Gtk2HS, управляемым событиями, и постоянным состоянием моей модели. Итак, чтобы упростить, скажем, что у меня есть...
вопрос задан: 23 May 2017 12:32
0
ответов
Имитация взаимодействующих объектов с сохранением состояния в Haskell
В настоящее время я пишу программу на Haskell, которая включает моделирование абстрактной машины, которая имеет внутреннее состояние, принимает входные данные и выдает выходные данные. Я знаю, как реализовать это с помощью государственной монады, которая
вопрос задан: 23 May 2017 12:30
0
ответов
Аппликативный экземпляр для State и других монад MTL?
Глядя на документацию для Control.Applicative, я заметил, что в них есть объявления экземпляров для определенных монад (например, IO, Maybe и особенно ST), но нет экземпляров для монад MTL, таких как State ...
вопрос задан: 23 May 2017 12:25
0
ответов
Haskell :карта runST
У меня есть привязка для типа [ST s (Int, [Int] )], и я пытаюсь применить runST к каждому элементу, используя карту следующим образом :имя ::[ST s (Int, [Int] )] --Конечно, здесь есть реальная ценность map runST name...
вопрос задан: 23 May 2017 12:24
0
ответов
Примеры монад состояний Scalaz
Я не видел много примеров монады состояний scalaz. Есть этот пример, но его трудно понять, и, похоже, есть только один вопрос о переполнении стека. Я собираюсь опубликовать несколько ...
вопрос задан: 23 May 2017 12:09
0
ответов
scalaz List [StateT] .sequence - не удалось найти неявное значение для параметра n: scalaz.Applicative
Я пытаюсь понять, как использовать StateT для объединения двух преобразователей состояния на основе комментария к моему Scalaz Примеры монад состояний отвечают. Кажется, я очень близок, но у меня возникла проблема при попытке ...
вопрос задан: 23 May 2017 12:00
0
ответов
Объединение монад в Haskell
Я пытаюсь написать пасьянс «Паук» в качестве обучающего упражнения на Haskell. Моя основная функция будет вызывать функцию playGame один раз для каждой игры (используя mapM), передавая номер игры и случайный...
вопрос задан: 6 June 2012 12:02
0
ответов
Путаница по поводу кода State Monad в «Learn you a Haskell»
Я пытаюсь разобраться в Haskell с помощью онлайн-книги Learn you a Haskell во благо. Насколько мне известно, я был в состоянии понять монады до тех пор, пока не попал в главу, посвященную...
вопрос задан: 19 April 2012 17:10
0
ответов
Управление состоянием -глава 3 SICP
Я работал над структурой и интерпретацией компьютерных программ и выполнял упражнения на Haskell. Первые две главы были в порядке (код на github ), но глава 3 заставляет меня...
вопрос задан: 6 April 2012 19:21
0
ответов
Различные взаимодействующие уровни состояния в haskell
Я эмулирую 4-битный микропроцессор. Мне нужно отслеживать регистры, память и текущий вывод (бонусные баллы за наличие счетчика циклов выборки-выполнения). Мне это удалось ...
вопрос задан: 1 February 2012 09:19
0
ответов
Пытаюсь понять scalaz state monad
Я пытаюсь начать использовать scalaz в своем проекте lift. Для этого я переписываю некоторый код в соответствии со стилем. Рассмотрим код для входа пользователя в систему: def login: CssSel = { var password = "" ...
вопрос задан: 16 December 2011 08:54
0
ответов
Почему это простое использование монады State вызывает переполнение стека?
Я играл с Состояние монады, и я не знаю, что вызывает переполнение стека в этом простом фрагменте кода. import Control.Monad.State.Lazy tick :: State Int Int
tick = do n <- ...
вопрос задан: 3 November 2011 16:30
0
ответов
Как я могу объединить CheckingFuelMonad с монадой State в Hoopl?
Я использую библиотеку Hoopl и хотел бы сохранить какое-то состояние при перезаписи. Функции перезаписи полиморфны относительно используемой монады, но я не могу понять, как скомбинировать состояние ...
вопрос задан: 20 August 2011 19:04
0
ответов
Как называется эта функция стека монад?
У меня есть набор функций с отслеживанием состояния внутри монады состояния. В какой-то момент программы должны быть какие-то действия ввода-вывода, поэтому я обернул ввод-вывод внутри StateT, получив пару таких типов: ...
вопрос задан: 11 May 2011 17:10
0
ответов
Быстрое обновление большого состояния в Haskell
Для моей библиотеки векторной графики в Haskell я должен переносить довольно большое состояние: параметры линии, цвета, траектории отсечения и т. Д. Я знаю два способа сделать это. Цитата из комментария из Haskell-cafe: «Я ...
вопрос задан: 9 May 2011 01:46
0
ответов
Объединение монад StateT и State
Допустим, у меня есть функция f :: State [Int] Int и функция: g :: StateT [Int] IO Int Я хочу использовать f в g и передавать состояние между ними. Есть ли библиотечная функция для
StateT (return. ...
вопрос задан: 2 May 2011 21:29
0
ответов
How can I write a state monad that does error handling as well?
I need to write a state monad that can also support error handling. I was thinking of using the Either monad for this purpose because it can also provide details about what caused the error. I found a ...
вопрос задан: 2 May 2011 20:51
0
ответов
State monad in OCaml
I was trying to implement the state monad in OCaml (as an exercise). My implementation looks like this: module type MONAD_BUILDER =
sig type 'at val return:' a -> 'at val bind:' at -> ...
вопрос задан: 30 April 2011 18:24
0
ответов
Основной вопрос о состоянии Scalaz
Как использовать State для имитации поведения List.zipWithIndex? На данный момент я придумал (что не работает): def numberSA [A] (list: List [A]): State [Int, List [(A, Int)]]] = list match {.. .
вопрос задан: 30 December 2010 14:11