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

Тот же Maybe - это higher order, но не rank 2.

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

Нет

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

А, мы просто разной терминологией пользуемся

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

https://godbolt.org/z/K894zq

Egor Pugin

О вот как

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

Egor Pugin in dlang.ru

Dark Hole

О вот как

обновил немного пример

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

я про штуки аля a -> (forall b . b -> b) -> a

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

Вот тут важно где forall

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

Egor Pugin in dlang.ru

я про штуки аля a -> (forall b . b -> b) -> a

это в D синтаксис или уже из другого?

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

Egor Pugin

это в D синтаксис или уже из другого?

Я не знаю как в ди записать такое, пишу хаскельным синтаксисом

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

там это явно прописывается

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

Egor Pugin in dlang.ru

указал бы, а то я в forall заблудился, думаю, откуда это взялось

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

Dmitry Popov

Вот тут важно где forall

В Maybe (или Optional) всё же 1 ранга тип используется

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

Egor Pugin

обновил немного пример

Ну я понял. auto это часть сигнатуры. В D так нельзя, да я не понимаю практический смысл этого.

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

В Maybe (или Optional) всё же 1 ранга тип используется

Да

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

Он ранга 1, но кайнда * -> *

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

Сам Maybe имеет forall слева, т.е. это 1 ранга тип.

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

Но это тут людей путать, кайнд не используется в ди как термин

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

Выачом

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

Как в этом разобраться?

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

Теория типов