DS
но почему полурыба справа, а не между термами, которые она связывает?
Так это как в расте с ограничениями на дженерик аргументы
Size: a a a
2020 June 10
DS
Вначале ограничения, потом уже сами аргументы
SP
Параметричность.
Представим, что у нас тотальный, чистый язык и в нём определена та же функция, сколько там будет доступных реализаций?
Представим, что у нас тотальный, чистый язык и в нём определена та же функция, сколько там будет доступных реализаций?
не понимаю откуда это берется (
S
в расте я тоже не люблю эти сигнатуры
SP
реализация там разве не одна, ты просто делаешь какое то говно по интерфейсу семигрупп и отдаешь результат?
DS
не понимаю откуда это берется (
Ок. У тебя есть чистый язык, в нём нет исключений, рефлексии и т.п. говна.
В нём есть функция wut :: a -> a -> a, сколькими способами её можно реализовать?
В нём есть функция wut :: a -> a -> a, сколькими способами её можно реализовать?
S
В итоге всегда путаюсь и пишу уже <'a, T> impl <a', T> D for <a', T> Y, потому что не помнишь, где эти штуки нужны, а где нет
G
Ок. У тебя есть чистый язык, в нём нет исключений, рефлексии и т.п. говна.
В нём есть функция wut :: a -> a -> a, сколькими способами её можно реализовать?
В нём есть функция wut :: a -> a -> a, сколькими способами её можно реализовать?
(a^a)^a ?SP
Ок. У тебя есть чистый язык, в нём нет исключений, рефлексии и т.п. говна.
В нём есть функция wut :: a -> a -> a, сколькими способами её можно реализовать?
В нём есть функция wut :: a -> a -> a, сколькими способами её можно реализовать?
всмысле сколькими способами? какое тело можно сделать? если с 'a' ничего нельзя сделать вообще то у функции выбор только вернуть либо первое либо второе значение
DS
(a^a)^a ?a - это дженерик параметр
DS
всмысле сколькими способами? какое тело можно сделать? если с 'a' ничего нельзя сделать вообще то у функции выбор только вернуть либо первое либо второе значение
Да, правильно
S
do
weirdMagic
extract A from Some Maybe a
weirdMagic
extract A from Some Maybe a
G
a - это дженерик параметр
Я имел ввиду населённость его
G
Когда конкретный тип подставим
DS
Теперь в хаскеле у нас добавляется возможность сделать undefined и уйти в закат
DS
Когда конкретный тип подставим
Ну это если ты руками мономорфизируешь функцию
SP
а, ты имел ввиду что три реализации всмысле что у семигрупп один метод и ты можешь просто склеить двумя разными способами и все
DS
Для какого-то wat :: MyType -> MyType -> MyType это верно будет
SP
но какой третий, кек
DS
но какой третий, кек
undefined