p
Нет
Size: a a a
2020 August 01
KR
Советую посмотреть. Оно там практически в начале.
KR
Ещё до монад.
A
Ты проходил курс на степике?
Я проходил по хаскелю, но такого что-то не помню. Можно линк?
KR
Я года 3 назад проходил и недопрошёл, потому нифига точно уже не помню.
KR
Я проходил по хаскелю, но такого что-то не помню. Можно линк?
Да, видимо надо поискать.
DF
Тайпклассы это те же трейты растовскин просто в более выразительной системе типов хаскеля
KR
Я проходил по хаскелю, но такого что-то не помню. Можно линк?
А есть где-то видео курса в свободном доступе?
DF
Соответственно есть плюшки типа хкт и всяких расширений системы типов типа экзистенциальных
p
Только Георг Орвилл а не джордж
p
Или это одно и то же?
A
Dollar Føølish
Тайпклассы это те же трейты растовскин просто в более выразительной системе типов хаскеля
Ну ведь трейты нельзя назвать просто синтаксическим сахаром.
DF
Нельзя
DF
Но например в отсутствие dyn Trait можно назвать просто перегрузкой
p
Ну к слову я думаю что можно назвать их синтаксическим сахаром над перегрузкой функций, потому что в хаскеле перегрузка тайпклассы это просто перегрузка функций
p
Ладно в хаскеле нет, а идрисовские интерфейсы попадают под это определение
p
Если вам будут говорить что JVM создавалась чтобы можно было юзать разные языки, вот здесь можно узнать что первой пришла джава а потом жвм https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-1.html#jvms-1.2
KR
Meh... не могу найти беглым просмотром по видео курса, сорян.