NM
А почему нет?
А почему да?
Size: a a a
2020 May 02
Dv
А почему да?
Ну потому что можно реализовать
Select для чужого типаDv
Я пояснил почему да, теперь ты поясни почему нет.
Dv
Ну, я сильно слукавил, разумеется. Но иначе бы не было интересно, согласись.
DS
Кажись, в расте это просрали, но я не уверен.
В расте нет ни GeneralizedNewtypeDeriving, ни deriving via, от чего у меня подгорает иногда
NM
Я пояснил почему да, теперь ты поясни почему нет.
Значит ли это, что в c# любой класс = тайпкласс?
Dv
Ну потому что можно реализовать
Select для чужого типаИ после этого у ентого типа начнёт работать вся вот эта фигня
from x where a equals bDv
Значит ли это, что в c# любой класс = тайпкласс?
Нет, не значит.
AH
И после этого у ентого типа начнёт работать вся вот эта фигня
from x where a equals bЭта фигня же работает на дактайпинге, а не не реализации IEnumerable
Dv
Я бы так назвал только те кейсы, поверх которых можно написать хоть на вид полиморфный код
AH
Как и форЫч, и узинг и эвэйт
Dv
Эта фигня же работает на дактайпинге, а не не реализации IEnumerable
Ну поэтому на самом деле
IEnumerable является инстансом этого «тайпкласса», официального названия у которого нету.АВ
Значит ли это, что в c# любой класс = тайпкласс?
в C# один из немногих тайпклассов это типа ToString(able)
DS
Я бы так назвал только те кейсы, поверх которых можно написать хоть на вид полиморфный код
Ну нет, на вид полиморфный код не является полиморфным фактически.
Dv
Ну нет, на вид полиморфный код не является полиморфным фактически.
Ты врёшь.
DS
Ты врёшь.
Нет, тебе полиморфность на внешний вид не даёт этот код переиспользовать
Dv
Нет, тебе полиморфность на внешний вид не даёт этот код переиспользовать
Ты мне врёшь.
DS
Собственно нафига она тогда нужна