Телеграмм чат группы haskellru страница 15744

Size: a a a

Haskell

1589 membersпожаловаться на группу

2021 March 18

кана in Haskell

ну вот ты сам форвалднул сюда пост с ссылкой, где это утверждается

источник

12:54пожаловаться #1

toriningen in Haskell

ну вот один из примеров выше по ссылке - https://www.stephenzoio.com/free-monads-and-event-sourcing/

где-то еще встречал аналогичные утверждения с примерами на скале, но сходу сейчас не смогу найти, потому что в истории много мусора не по теме. но @kana_sama тоже встречался с подобными утверждениями

Stephen Zoio

Free monads and event sourcing architecture

In this post we look at free monads, a widely applicable functional programming technique that is rapidly gaining traction amongst Scala developers, and show that they are ideally suited to implementing an event sourcing data architecture. We discuss some of the restrictions on a free monad API that are required for event sourcing to work optimally, and review some related best practices.

источник

12:54пожаловаться #2

кана in Haskell

ну таки да, изи сериалайзбл это же не фри сериалайзбл

источник

12:55пожаловаться #3

toriningen in Haskell

*реализация сериализации фри монад остается как самостоятельное упражнение для читателя

источник

12:56пожаловаться #4

Jerzy Syrowiecki in Haskell

кана

ну вот ты сам форвалднул сюда пост с ссылкой, где это утверждается

ой, не заметил, спасибо

источник

12:56пожаловаться #5

кана in Haskell

бтв код по ссылке действительно сериалайзибл, но там и не фри просто

источник

12:59пожаловаться #6

toriningen in Haskell

ну там еще и не совсем cqrs, как и не совсем es, поэтому та статья имеет такую себе ценность

источник

12:59пожаловаться #7

toriningen in Haskell

с другой стороны, кто я такой, чтобы спорить с уважаемыми людьми

источник

12:59пожаловаться #8

Jerzy Syrowiecki in Haskell

> Free monads are data. This comes with all the benefits of being data, such as easy serialisation,

во-первых, это неправда, иногда это codata.

во-вторых, автор, кажется, ничем эти выводы не подкрепляет

источник

13:02пожаловаться #9

toriningen in Haskell

Jerzy Syrowiecki

codata это что-то, для чего определен элиминатор?

источник

13:04пожаловаться #10

toriningen in Haskell

пардон, я ненастоящий теоркатщик и только учусь

источник

13:04пожаловаться #11

Jerzy Syrowiecki in Haskell

toriningen

codata это что-то, для чего определен элиминатор?

как я понимаю, codata — это значение, на которое нельзя посмотреть непосредственно, а только через прикладывание фукций

источник

13:09пожаловаться #12

Jerzy Syrowiecki in Haskell

в общем случае codata нельзя сериализовать

источник

13:10пожаловаться #13

Jerzy Syrowiecki in Haskell

если используются только заранее заготовленные функции (DSL), то, наверно, можно

источник

13:11пожаловаться #14

Jerzy Syrowiecki in Haskell

или если мы в Эрланге, где байткод портабельный, и его можно рассматривать как сериализацию кода

источник

13:12пожаловаться #15

toriningen in Haskell

Jerzy Syrowiecki

ну т.е. да. вот функции это, получается, codata? а их элиминатор - это применение?

источник

13:13пожаловаться #16

Jerzy Syrowiecki in Haskell

toriningen

ну т.е. да. вот функции это, получается, codata? а их элиминатор - это применение?

да

источник

13:13пожаловаться #17

Velvet Darkness in Haskell

Jerzy Syrowiecki

или если мы в Эрланге, где байткод портабельный, и его можно рассматривать как сериализацию кода

Хм, а байткод хаскелла портабельный? Подразумевая портабельность в смысле "взять с одного компа и перенести на другой, компы в плане архитектуры и ос идентичны" 🤔

источник

13:19пожаловаться #18

toriningen in Haskell

...а у хаскеля есть байткод? мне казалось, он чисто компилируемый сразу в машинный

источник

13:20пожаловаться #19

Velvet Darkness in Haskell

ghci вроде умеет

источник

13:20пожаловаться #20