WB
Вопрос такого же рода
Size: a a a
2021 April 08
O
создаёт тип из двух других
WB
Полиморфный конструктор
WB
Здесь как в правой свертке, сварачиваем справа налево, но скобки расставляем слева направо, поэтому можно применять на бесконечных структурах
O
так и есть, -> на верхнем уровне это функция, которая принимает Int и (Int -> Int) и возвращает новый тип
И
что подразумевается под новым типом?
И
принимает int int и возвращает int -> int ?
И
(int -> int) - вот это новый тип?
O
ну допустим если написать
Int -> Int, то это то же самое по сути, что и (->) Int IntO
пожалуй что да. это довольно хороший вопрос. так же как если Maybe это функция из типа в тип, то
Maybe Int это новый тип или выражение, создающее этот новый тип?И
конструктор данных еще вроде как можно назвать функцией, а вот конструктор типа хз..
WB
Здесь тоже конструктор данных, функции тоже данные
И
и как ты в аннотации типа укажешь данные (функции)?
WB
И
твой же вроде скрин был где -> указывался как конструктор типов полимофный
И
у которого ни 1 конструктора данных
WB
Также как и обьявлена частично примененная стрелка представителем класса типов applicative, functor и т д
O
функции не обязаны быть на уровне термов
O
функции в широком смысле
O
по отношению к хаскелю конкретно