O
int option list это, условно, List (Option Int)Size: a a a
2021 April 08
DB
Концептуально все функции в кваскеле это функции одного аргумента именно поэтому a -> b -> c должно быть равно a -> (b -> c)
WB
При левоассоциативности тоже так можно сделать
DB
явно расставляя скобки
WB
Каррирование тут врядли причем
O
да нет, это как раз про каррирование
DB
с чего такой вывод?)
O
там Hom(a, c^b) ~ Hom(a*b, c), ну а c^b это b -> c
WB
Если на уровне языка абстрагирование будет левоассоциативным а применение правоассоциативным
(a -> b) -> с, будет тем же что и a -> b -> c, и каррирование останется
(a -> b) -> с, будет тем же что и a -> b -> c, и каррирование останется
DB
ну и зачем академию такую разводить!
WB
Только тогда бы еще больше людей путалось
DB
Вообще не понимаю, в чём вопрос))) Это же супер удобно. Есть идея что все функции — от одного аргумента. Хочется записывать типы без мучений. Поэтому a -> b -> c == a -> (b -> c)
DB
Какой дополнительный смысл вы пытаетесь искать?
WB
Вопрос был в том что делает -> насколько я понял изначально
WB
А в ходе ответа на него пошло все остальное
DB
конструирует тип. Так же как и Either, Maybe и всё остальное
O
ага, имея один конструктор функционального типа можно построить тип функции скольки угодно аргументов (с практической, не теоретической точки зрения)
И
ок вот ход моих мыслей, подскажите что с ним не так
1. раз мы находимся в анотации типа то -> является конструктором типа а не оператором
2. Хотя как конструктор типа может быть правоасоциативен? Наверно это все таки оператор??
3. Чем бы это ни было, но если утверждается что -> правоасоциатевен то тип int -> int -> int превращается в int -> (int -> int)
4. Ассоциативность это последовательнось выполнения какой то операции
5. Операция
6. Что означает конструирование нового типа в такой последовательности int -> (int -> int) ???
1. раз мы находимся в анотации типа то -> является конструктором типа а не оператором
2. Хотя как конструктор типа может быть правоасоциативен? Наверно это все таки оператор??
3. Чем бы это ни было, но если утверждается что -> правоасоциатевен то тип int -> int -> int превращается в int -> (int -> int)
4. Ассоциативность это последовательнось выполнения какой то операции
5. Операция
-> это конструирование новго типа??6. Что означает конструирование нового типа в такой последовательности int -> (int -> int) ???
И
на таком уровне все прекрасно понятно
O
1. операторы могут быть конструкторами типов
2. операторы на уровне типов правоассоциативны если они начинаются с : или если они ->
3. да
4. типа того, последовательность расстановки скобок в выражении
5. да
6. то же, что в последовательности
2. операторы на уровне типов правоассоциативны если они начинаются с : или если они ->
3. да
4. типа того, последовательность расстановки скобок в выражении
5. да
6. то же, что в последовательности
F Int (F Int Int)