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

ну тут интересно не то что есть их оптимизация (речь же про это?), а что мутабельный код компилируется в джойн

11:55пожаловаться #1

Maxim Koltsov

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

да, потому что они пишут lean 4 на самом lean, поэтому увидели много чего, что можно улучшить, чтобы сделать язык не только прувером

то есть дело не в доке, это просто новые фичи

11:56пожаловаться #2

Jerzy Syrowiecki in Haskell

кана

еще одна интересная фича

вот это красиво

11:56пожаловаться #3

ну и последнее, дальше дока не написана

11:59пожаловаться #4

Yan Shkurinskiy in Haskell

К нам на собеседование записался Никита Волков!
Жалко только что не на хаскель, да и вообще - не тот Никита Волков(

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

Yan Shkurinskiy in Haskell

(но совпадение забавное)

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

record:

data Src = Src {code :: Text, comments :: Text}

or data + type:

data Src = Src Code Comments
type Code = Text
type Comments = Text

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

какой вариант лучше не подскажите?

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

Для использования линз я так понимаю АТД используют, тем самым решая траблы рекордов

12:41пожаловаться #9

Alexander Vershilov in Haskell

type не нужен почти никогда

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

второй вариант однозначно не лучше, первый это рекорд, второй это просто произведение, тайпалиасы ничего не значат

первый вариант можно сравнивать с

data Src = Src { code :: Code, ... }
newtype Code = Code Text

но даже в этом случае я считаю что рекорд удобнее

12:42пожаловаться #11

в любом случае без generics-lens или юниплейта вторым вариантом пользоваться не оч удобно

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

да и первым тоже, что уж говорить)

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