Есть у меня устройство, которое может находится в одном из нескольких конечных состояний. Для разных состояний устройства есть разные способы отправить его в другое состояние. В принципе можно описать все эти способы функциями над монадой State, а сами состояния изображать конструкторами алгебраического типа. Но тогда в рантайме придётся перепроверять а в правильном ли мы состоянии для вызова этой функции. Кроме того из самой функции будет не очевидно когда её можно вызывать. Можно закодировать состояния разными типами, а машину состояний суммой этих типов, а способы кодировать специальной монадой параметризованной типом состояния в котором можно её использовать. Но тогда нужен типобезопасный case, который позволяет при удачном сопоставление выполнять вычисления только внутри нужной монады. Кроме того типов станет ещё больше. Я недавно столкнулся с тем, что у меня есть типы параметризованные восьмью переменными и нужно ещё!

У меня ни одного пакета на хэкедже. Никак не решу плохо это или хорошо.

Ты хаскелист, дрочишь на монады, аппликативные функторы и ленивые вычисления? Тебе на страницу 6 http://www.ittc.ku.edu/csdl/fpg/files/Gill-15-RemoteMonad.pdf

ndtimofeev> Хм… У меня есть устройство которое со стороны программы моделируется набором довольно независимых свойств. Интересно, смогу я каким-нибудь quickcheck'ом нагенерить случайных программ для устройства чтобы ПЫЩ-ПЫЩ ТЕСТЫ. lexszero> через год ты quickcheck'ом будешь генерить соединения для скрининга?

Писал сырой stg. Стал let … in-блядью. :( Что теперь делать?

Однажды в туалете у одного знакомого я бегло пролистал валявшийся там томик. Суть такова: обыкновенный американский школьник приезжает в новую (старшую) школу и становится другом местного омеги. Омега преглашает протагониста в гости к своему дяде (живущему относительно в жопе мира у какого-то озера), который вроде как колдун и вроде как нуждается в приемнике, на место которого сильно расчитывает омега. Но колдун вроде как выбирает протагониста о чём тому ночью говорит лиса. Дальше протагонист ломается, колдун вроде тоже ломается, омега обижается, откуда-то появляется тян. Параллельно всплывает история учителя колдуна (негра) с которым колдун сделал что-то плохое. Ближе к концу всё горит, омега становится птицей. Так вот. Что я собственно читал?