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

Size: a a a

Haskell

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

2021 February 13

Jerzy Syrowiecki in Haskell

а если дюжину инстансов всё равно передавать, то Elem не нужен

источник

14:36пожаловаться #1

ЖК

Жук Короед in Haskell

Можно ли утверждать, что f = foldl @[]
если
f (flip cons) [] = reverse?

источник

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

кана in Haskell

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

то есть что-то вроде

data X = X
{ a :: Int <?> "a_"
}

источник

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

кана in Haskell

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

источник

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

кана in Haskell

но я не могу найти ничего

источник

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

A64m AL256m qn<co... in Haskell

не так не примерно такое было в дженерик оверрайд вроде

источник

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

кана in Haskell

кана

ага, так написать нельзя, потому что ghc не может вывести KnownSymbol для такого фантома у тайпалиаса

источник

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

кана in Haskell

это конечно провал

источник

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

кана in Haskell

вот что у меня вышло (и не работает, пока <?> не сделать ньютайпом)

https://gist.github.com/kana-sama/4e62aa148e57d450830de49fdb513a99

Gist

label-modifier.hs

GitHub Gist: instantly share code, notes, and snippets.

источник

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

кана in Haskell

кана

вот что у меня вышло (и не работает, пока <?> не сделать ньютайпом)

https://gist.github.com/kana-sama/4e62aa148e57d450830de49fdb513a99

Gist

label-modifier.hs

GitHub Gist: instantly share code, notes, and snippets.

(как же бесит такое количество бойлерплейта от гхц.генериков)

источник

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

I O in Haskell

Jerzy Syrowiecki

хочется одним таким Elem заменить дюжину инстансов

Если сделать Elem который дает пруф что это действительно элемент, то можно (если я правильно понял задачу). https://gist.github.com/aadaa-fgtaa/242d08aa8cbb85011fbd69614b19ea99

источник

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

Jerzy Syrowiecki in Haskell

кана

вот что у меня вышло (и не работает, пока <?> не сделать ньютайпом)

https://gist.github.com/kana-sama/4e62aa148e57d450830de49fdb513a99

Gist

label-modifier.hs

GitHub Gist: instantly share code, notes, and snippets.

https://gist.github.com/cblp/40dbc904b8ee689aa1f3f7b771370329

Gist

Transparent type annotations in Haskell

Transparent type annotations in Haskell. GitHub Gist: instantly share code, notes, and snippets.