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

-- >>> materializeTypeOf $ \x y -> x
-- x_0 -> x_1 -> x_0
-- >>> materializeTypeOf $ let fix f = f (fix f) in fix
-- (x_0 -> x_0) -> x_0
-- >>> materializeTypeOf bimap
-- (x_0 -> x_1) -> (x_2 -> x_3) -> x_4 x_0 x_2 -> x_4 x_1 x_3

https://gist.github.com/effectfully/3ed75f41dd84cbb11fae77da503483ff

источник

23:51пожаловаться #5

кана in Haskell

ого, круто

typeOf делает похожую вещь, только он не будет работать c полиморфными типами

источник

23:57пожаловаться #6

кана in Haskell

если еще typeable прикрутить чтобы имена типов неполиморфных выдавать

источник

23:58пожаловаться #7

кана in Haskell

но вроде бы никак не состыковать

источник

23:58пожаловаться #8

2020 November 29

Roman in Haskell

кана

но вроде бы никак не состыковать

ща попробую, мне кажется можно

источник

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

Roman in Haskell

готово, та же ссылка

источник

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

Alexander Vershilov in Haskell

Maxim Koltsov

Кана подсаживает всех на свою иглу)

Мою!

источник

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

ЗП

Зигохистоморфный Пре... in Haskell

Ilya Kos

Поставлю более конкретный вопрос: какой самый адекватный способ использовать do-нотацию с indexed monad?

https://github.com/isovector/do-notation

GitHub

isovector/do-notation

:m: generalized do-notation for monads and indexed monads - isovector/do-notation

источник

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

A64m AL256m qn<co... in Haskell

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

источник

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

A64m AL256m qn<co... in Haskell

например апликатив-ду, блок аргументс и дупликейт рекорд филдс не проходят

источник

01:06пожаловаться #14

A64m AL256m qn<co... in Haskell

оверлоадед стрингс и лейбдлы естественно тоже

источник

01:08пожаловаться #15

A64m AL256m qn<co... in Haskell

интересно еще что комитетчики ненавидят паттерн-синонимы

источник

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

A64m AL256m qn<co... in Haskell

еще интересно что все четыре проголосовали за тайпфемели а фандепы висят на волоске - выбывают если хотяб один еще комитетчик за них не проголосует

источник

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

A64m AL256m qn<co... in Haskell

а ну и конечно МПТК за 4, че они будут без фандепов делать с ними - непонятно

источник

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

A64m AL256m qn<co... in Haskell

я уж не говорю про то, что они могут голосовать за экстеншон Х включающий экстеншон У, но против экстеншона У

источник

01:21пожаловаться #19

ЗП

Зигохистоморфный Пре... in Haskell

A64m AL256m qn I0

а ну и конечно МПТК за 4, че они будут без фандепов делать с ними - непонятно

что это?

источник

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