t
т.е. конечно для вырожденного случая, где порождаемая структура - список, а не дерево, сериализовать можно. но мне кажется, что в таком простом случае и монады не нужны...
Size: a a a
2021 March 18
t
(хотел бы предупредить потенциальных читателей не принимать без изрядного скептицизма написанное в статье выше, т.к. авторское понимание CQRS и Event Sourcing-а существенно отличается от общепринятого)
AP
Фримонады — оффтоп, см. правила :)
AP
(ворвался напомнить про новичковость чата)
SP
ну вы гдето продолжили? я бы почитал
D
ну вы гдето продолжили? я бы почитал
в основе
t
Фримонады — оффтоп, см. правила :)
черт, я-то думал что это как раз основы... ладно, спасибо
JS
ну вы гдето продолжили? я бы почитал
E
образец (pattern) здесь только
называется он ленивым (lazy) или неизбежным (irrefutable)
~e, а целиком — уравнение (equation)называется он ленивым (lazy) или неизбежным (irrefutable)
а как сделать strict evaluation?
JS
а как сделать strict evaluation?
! перед образцом без пробела
E
! перед образцом без пробела
и больше ничего не надо добавлять?
JS
а как сделать strict evaluation?
strictAdd !a !b = a + bJS
и больше ничего не надо добавлять?
и включить фичу саму BangPatterns, как компилятор подскажет
E
и включить фичу саму BangPatterns, как компилятор подскажет
а в ghci как сделать?
A
а вот очередной дурацкий вопрос. Есть MyData и есть некоторый World, который по задумке создается один раз и больше не меняется. Я хочу сделать instance Ord MyData, но для сравнения двух MyData мне нужно кое-что из World. Как это правильно сделать?
JS
хотя начиная с языка GHC2021 уже не надо, BangPatterns включены по умолчанию
JS
а в ghci как сделать?
:set -XBangPatternsJS
а вот очередной дурацкий вопрос. Есть MyData и есть некоторый World, который по задумке создается один раз и больше не меняется. Я хочу сделать instance Ord MyData, но для сравнения двух MyData мне нужно кое-что из World. Как это правильно сделать?
покажите код
JS
а вот очередной дурацкий вопрос. Есть MyData и есть некоторый World, который по задумке создается один раз и больше не меняется. Я хочу сделать instance Ord MyData, но для сравнения двух MyData мне нужно кое-что из World. Как это правильно сделать?
где они есть? как они связаны?
JS
а вот очередной дурацкий вопрос. Есть MyData и есть некоторый World, который по задумке создается один раз и больше не меняется. Я хочу сделать instance Ord MyData, но для сравнения двух MyData мне нужно кое-что из World. Как это правильно сделать?
в какое время создаётся World?