transducer-machines

4зной

1ответ

Использование Data.Machine, как вы можете создать два ProcessT вместе, которые изменяют два разных состояния?

Скажем, у меня есть процесс, который модифицирует основное состояние, которое является Int: p1 :: ProcessT (State Int) Int Int p1 = repeatedly $ do a <- await lift . modify $ (+a) yiel

2зной

1ответ

Что такое хороший пример реального мира машины Мили?

Есть ли хорошие примеры реального мира машины Мура? Особенно по отношению к Миле машины был бы хорошее

28зной

1ответ

Какова концептуальная разница между машинами и проводниками (или другими подобными библиотеками)?

Я хотел бы изучить концепцию, чтобы я мог понимать и использовать библиотеки, такие как machines. Я попытался следовать Rúnar Bjarnason's talk on machines, но информации слишком мало, в основном прост

3зной

1ответ

Может ли кто-нибудь обеспечить выполнение машин следующим планом?

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

3зной

1ответ

Использование Data.Machine, как бы вы описали план, который ветвится с результатами недетерминированной функции?

Я думаю, что этот вопрос лучше всего проиллюстрирован на примере. Типа, который оборачивает недетерминированную функцию: data ND a b = N { runN :: a -> [(b, ND a b)] } instance Show (ND a b) where