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

Size: a a a

Haskell

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

2021 May 14

I O in Haskell

Типа infixl (-1) <space>? Ну тогда да, хотя лично я никогда так о пробеле не думаю

источник

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

Danil Berestov in Haskell

Ну это как говорить что и пробел это тоже магический оператор.

источник

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

Danil Berestov in Haskell

я так понимаю, что @ это тоже самое что и { } в идрисе

источник

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

I O in Haskell

Ну у него хотя бы примерная сигнатура есть,

infixl (-1) <space>
(<space>) :: forall p q (a :: TYPE p) (b :: TYPE q) . (a -> b) -> a -> b

Все равно конечно магический, слишком левити полиморфный для настоящего, специальные правила для RankNTypes, но хотя бы тип примерно понятен.

источник

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

I O in Haskell

На мой взгляд пробел мог бы теоретически быть примопом, а вот @ специальный синтаксис

источник

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

Jerzy Syrowiecki in Haskell

вроде нет. в Идрисе это любой полуявный параметр, а в Хаскеле именно forall-параметр

источник

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

Danil Berestov in Haskell

ну все forall параметры они полуявные. ясно, что в идрисе он более общий

источник

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

XÆA-XII in Haskell

Что за forall?

источник

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

Yan Shkurinskiy in Haskell

квантор всеобщности/экзистенциальности

источник

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

Jerzy Syrowiecki in Haskell

параметры-типы и параметры типов так задаются

источник

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

Yan Shkurinskiy in Haskell

ща скорее всего меня поправят)

источник

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

XÆA-XII in Haskell

Типа, forall a => a -> a -> a
Это a -> b -> c?

источник

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

Yan Shkurinskiy in Haskell

не

источник

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

Danil Berestov in Haskell

нет, forall a. a -> a -> a это a -> a -> a

источник

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

XÆA-XII in Haskell

Зачем тогда он?

источник

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

Jerzy Syrowiecki in Haskell

потому что надо переменную откуда-то взять

источник

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

Danil Berestov in Haskell

в случае с a -> a -> a, просто чтобы объявить, что а будет дальше использован

источник

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

Jerzy Syrowiecki in Haskell

второе — это сахар над первым

источник

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

Dreamerinnoise in Haskell

runST :: (forall s. ST s a) -> a
для таких вот вещей, например

источник

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

Danil Berestov in Haskell

так точно

источник

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