AF
на основе присваивания типа возврата вычисляется T
Size: a a a
2020 August 02
CD
ему нужен параметр T
я вроде умею транслировать rust в плюсы
CD
ты должен объявить namespace Trait
CD
в нём описать шаблонную функцию
KK
на основе присваивания типа возврата вычисляется T
А где тут пролог?
CD
и описать её специализацию для каждого impl
/¯
Потому что приоритеты правильно расставили:
Хиндли-Милнера завезли, а утку закрыли
Хиндли-Милнера завезли, а утку закрыли
AF
А где тут пролог?
смотри ты присвоил T после какихто монипуляций и он назад прошел и расставил типы
CD
смотри ты присвоил T после какихто монипуляций и он назад прошел и расставил типы
после чего x.foo() для трейта Trait протранслировать в Trait::foo(x);
AF
Потому что приоритеты правильно расставили:
Хиндли-Милнера завезли, а утку закрыли
Хиндли-Милнера завезли, а утку закрыли
это имплементация
AF
пролог тоже тупо перебирает
/¯
пролог тоже тупо перебирает
Почему тогда хаскелем не назвать?
CD
Потому что приоритеты правильно расставили:
Хиндли-Милнера завезли, а утку закрыли
Хиндли-Милнера завезли, а утку закрыли
Ну я говорю, они безнадежно сломали целый пласт гибкости, необходимый для организации взаимодействия модулей
/¯
В Хаскеле тот же ХМ
AF
Почему тогда хаскелем не назвать?
потомучто я это у них прочитал в доке
AF
и они упомянули пролог
KK
на основе присваивания типа возврата вычисляется T
Наперли из ML языков
CD
потомучто я это у них прочитал в доке
на самом деле это Jaskell да
KK
В шарпе и джаве тоже есть
CD
потомучто я это у них прочитал в доке
система трейтов это полностью система хаскеля