Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

2020 May 02

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
номинативно вс структурно
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Orbarax
номинативно вс структурно
+
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Да, ок, поэтому я говорю «формализованный»
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
На самом-то деле нету разницы, вы ж понимаете?
источник

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
как формализация превращает структурную типизацию в номинативную?
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Можно просто считать, что названия методов, которые имеет тайпкласс, специальным образом поманглены
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
И поэтому не совпадают в разных тайпклассах
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Orbarax
как формализация превращает структурную типизацию в номинативную?
Вот как я описал выше.
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
На самом-то деле нету разницы, вы ж понимаете?
Нет, формализованный дактайпинг - это srtp
источник

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
формализацию плз, с пэйпером :3
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Опять меня послали нахер.
источник

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
ну там семантику..
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Нет, спасибо, сам иди.
источник

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Нет, формализованный дактайпинг - это srtp
this
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
Вот как я описал выше.
А тайпклассы - это номинативная хрень.

Ты не можешь её как дактайпинг использовать, потому что тебе надо объявлять, что данный тип имеет инстанс тайпкласса.

Вот если бы не надо было, то да это был бы дактайпинг
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Пейпер на бочку.
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
А тайпклассы - это номинативная хрень.

Ты не можешь её как дактайпинг использовать, потому что тебе надо объявлять, что данный тип имеет инстанс тайпкласса.

Вот если бы не надо было, то да это был бы дактайпинг
Пейпер с формализацией сюда
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
НЕМЕДЛЕННО
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
На каждое слово
источник

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
По пейперу
источник