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

f :: (forall a. a -> a) -> a -> a
в такой сигнатуре "a" внутри скобок и "a" снаружи это разные "a"
по сути это
f :: forall a. (forall a. a -> a) -> a -> a
или
f :: (forall a. a -> a) -> forall a. a -> a

источник

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

Danil Berestov in Haskell

Ну это все RankNTypes, это рано(

источник

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

кана in Haskell

нет, не рано, сама отдельная концепция RankNTypes в головах у нас есть только потому что в хаскеле этого не было по дефолту

источник

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

кана in Haskell

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

источник

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

Danil Berestov in Haskell

ну можно, конечно,)

источник

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

кана in Haskell

это как изучая язык с завтипами не писать в типах никаких термов кроме конкретных типов, мол ифы на типах это рано. Потом приходят хаскелисты в идрис и долго не могут привыкнуть перестать различать тайплевел и термлевел, в голове это все еще две отдельные концепции

источник

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

XÆA-XII in Haskell

Но поздно

источник

15:07пожаловаться #19

Ilya Kos in Haskell

И зависимые типы это искусственное понятие только потому что их в хаскеле не было

источник

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