O
номинативно вс структурно
Size: a a a
2020 May 02
DS
номинативно вс структурно
+
Dv
Да, ок, поэтому я говорю «формализованный»
Dv
На самом-то деле нету разницы, вы ж понимаете?
O
как формализация превращает структурную типизацию в номинативную?
Dv
Можно просто считать, что названия методов, которые имеет тайпкласс, специальным образом поманглены
Dv
И поэтому не совпадают в разных тайпклассах
Dv
как формализация превращает структурную типизацию в номинативную?
Вот как я описал выше.
DS
На самом-то деле нету разницы, вы ж понимаете?
Нет, формализованный дактайпинг - это srtp
O
формализацию плз, с пэйпером :3
Dv
Опять меня послали нахер.
O
ну там семантику..
Dv
Нет, спасибо, сам иди.
O
Нет, формализованный дактайпинг - это srtp
this
DS
Вот как я описал выше.
А тайпклассы - это номинативная хрень.
Ты не можешь её как дактайпинг использовать, потому что тебе надо объявлять, что данный тип имеет инстанс тайпкласса.
Вот если бы не надо было, то да это был бы дактайпинг
Ты не можешь её как дактайпинг использовать, потому что тебе надо объявлять, что данный тип имеет инстанс тайпкласса.
Вот если бы не надо было, то да это был бы дактайпинг
Dv
this
Пейпер на бочку.
Dv
А тайпклассы - это номинативная хрень.
Ты не можешь её как дактайпинг использовать, потому что тебе надо объявлять, что данный тип имеет инстанс тайпкласса.
Вот если бы не надо было, то да это был бы дактайпинг
Ты не можешь её как дактайпинг использовать, потому что тебе надо объявлять, что данный тип имеет инстанс тайпкласса.
Вот если бы не надо было, то да это был бы дактайпинг
Пейпер с формализацией сюда