G
и еще неизвестно, это функция принимает а и возвращает функцию, которая принимает [a] и возвращает функцию, которая возвращает [a] или же ее предназначено понимать как функцию с двумя аргументами
Это не имеет значения
Size: a a a
2020 June 10
S
Это не имеет значения
для меня имеет, мне же как-то ее вызывать надо, как-то мыслить о ней
SP
для меня имеет, мне же как-то ее вызывать надо, как-то мыслить о ней
пока все аргументы не дал не вызвал
DS
(<>) :: Semigroup a => a -> a -> a
ничем не отличается от жавовского yoba(int int int):int
ничем не отличается от жавовского yoba(int int int):int
Ок, теперь мысленный эксперимент, в чём разница между этой сигнатурой и сигнатурой wut :: a -> a -> a
Какое поведение будет у функции wut?
Какое поведение будет у функции wut?
DS
Сколько возможных реализаций у функции wut?
S
Ну мы достаточно много свойств уже можем отсюда вывести.
Например, мы по сигнатуре знаем, что выходной список как минимум будет содержать подмножество элементов из входного списка и дополнительного элемента
Например, мы по сигнатуре знаем, что выходной список как минимум будет содержать подмножество элементов из входного списка и дополнительного элемента
Это буква а означает или любая буква? А если бы буквы были разные, то откуда бы бралась информация о буквах внутри типа возвращаемого значения?
DS
Это буква а означает или любая буква? А если бы буквы были разные, то откуда бы бралась информация о буквах внутри типа возвращаемого значения?
a - это generic параметр
S
Ок, теперь мысленный эксперимент, в чём разница между этой сигнатурой и сигнатурой wut :: a -> a -> a
Какое поведение будет у функции wut?
Какое поведение будет у функции wut?
ну тут есть полурыбный оператор после Semigroup a, он может означать все что угодно
S
это не рис с карри, который я знал
SP
Ок, теперь мысленный эксперимент, в чём разница между этой сигнатурой и сигнатурой wut :: a -> a -> a
Какое поведение будет у функции wut?
Какое поведение будет у функции wut?
ээм любое вплоть до игнорирования всех аргументов кроме одного
DS
ну тут есть полурыбный оператор после Semigroup a, он может означать все что угодно
Это значит, что для типа a определены функции из тайпкласса Semigroup
DS
ээм любое вплоть до игнорирования всех аргументов кроме одного
У неё ровно 3 реализации, какие они
SP
У неё ровно 3 реализации, какие они
откуда ты это взял?
DS
Если мы в safe подмножестве языка
S
То есть если справа от сигнатуры Something weird поставить полурыбу, это значит что weird имеет методы типо класса Something?
DS
То есть если справа от сигнатуры Something weird поставить полурыбу, это значит что weird имеет методы типо класса Something?
Да. Это как с трейтами в расте
S
но почему полурыба справа, а не между термами, которые она связывает?
S
я бы еще понял как в лиспе, если бы она слева стояла
S
но тут какая-то арабская нотация
DS
откуда ты это взял?
Параметричность.
Представим, что у нас тотальный, чистый язык и в нём определена та же функция, сколько там будет доступных реализаций?
Представим, что у нас тотальный, чистый язык и в нём определена та же функция, сколько там будет доступных реализаций?