Oℕ
тайпклассы то хачкель и придумал
Size: a a a
2020 December 30
AA
тайпклассы-то действительно в хаскеле
VD
Неуверен.
VD
В обжц протоколы, которые вроде бы то же самое
AA
VD
А в чем отличие?
Oℕ
В обжц протоколы, которые вроде бы то же самое
оч смешно
AA
а в чем сходство?
VD
а в чем сходство?
Отдельно интерфейс, отдельно имплментация для штуки, отдельно штука
Oℕ
протоколы это же классический ооп костыль с поздним связыванием
VD
протоколы это же классический ооп костыль с поздним связыванием
Пардон, а чем отличается позднее связывание от передачи словарика с функциями?
AA
Отдельно интерфейс, отдельно имплментация для штуки, отдельно штука
под это описание, например, параметрические модули подходят и полиморфные рекорды
Oℕ
Пардон, а чем отличается позднее связывание от передачи словарика с функциями?
тем что словарик когерентно выводу типов генерится
VD
под это описание, например, параметрические модули подходят и полиморфные рекорды
Про такие штуки в мейнстримных языках я не наю
VD
тем что словарик когерентно выводу типов генерится
Что значит когерентно? (зойчем вы интеллектом людей после работы давите)
AA
Про такие штуки в мейнстримных языках я не наю
протоколов в них тоже нет
Oℕ
Что значит когерентно? (зойчем вы интеллектом людей после работы давите)
это значит его кто-то вместо вас собирает так, что он гарантировано одинаковый для одинаковых типов соберётся, а суть ооп в том, чтобы для одного типа много разных словариков было
Oℕ
поэтому с тупеклассами типы описывают поведение, а с оопе не описывают
VD
протоколов в них тоже нет
Как-то нерелевантно. В смысле знаю мейнстрим с протоколами, с модулями и рекордами - не знаю. Так что говорим про протоколы
AA
и в каком же мейнстримном языке есть протоколы?