Dv
Дальше ты меня обвиняешь в читерстве, а я смеюсь.
Size: a a a
2020 May 02
DS
Два слова: shared library
Так речь про метод, погоди ка
Dv
Так речь про метод, погоди ка
Метод — это элемент кода, верно?
DS
Метод — это элемент кода, верно?
Опиши сигнатуру этого метода
Dv
У меня на диске есть .cs-файл, в нём написан метод
Dv
Этот метод я могу заставить выполняться в разных интересных условиях для разных типов
АВ
Ты можешь экстеншн метод для любого класса сделать
вот да, экстеншн метод это тайпклассы для бедных, их можно использовать если имплементация в скоупе. но нельзя отнаследовать или передать куда либо как констрейнт
Dv
В общем-то весь код в этом методе уже автоматически полиморфный
Dv
Да, любой класс в сишарпе — тайпкласс
Dv
И вообще что угодно тайпкласс
DS
В общем-то весь код в этом методе уже автоматически полиморфный
Как выглядит у него сигнатура, например у того метода, что я выше описывал.
Dv
Как выглядит у него сигнатура, например у того метода, что я выше описывал.
Не знаю чо там ты описывал, пусть будет
void Foo(MyList x) {}O
а где полиморфизм?
O
ну чтоб разные селекты использовать
Dv
А где полиморфизм у хаскельного
sum a b = a + b?
Dv
Вот и тут там же полиморфизм
DS
Не знаю чо там ты описывал, пусть будет
void Foo(MyList x) {}Ну этот метод работает только для типа MyList, где полиморфизм?
O
Num t => t -> t -> t
Dv
Инстанцируешь разными типами