Тут тип про подтипы? А про параметрический есть?
Если ты про Ad Hoc, то про него особо нечего рассказать
Чтобы типа можно было написать функцию a=>a и она бы просто работала, без указания че это за a
Не, ad hoc это, я так понимаю, про перегрузку. Это другое
Ок, а в чём тогда отличие параметрического полиморфизма и полиморфизма подтипов?
Уже не надо, загуглить оказалось проще
Есть видос про фабрику, ща поищу
Ну тип когда подтипы, то ты с берешь супертип и работаешь со всеми его подтипами как с супертипом. А когда параметрический, то тебе в целом до пизды че там за тип, ты со всеми одинаково работаешь, потому что у тебя бесплатные теоремы и заебись
Да, уже понял. Я просто не сильно разделял эти понятия
Мне?
Обсуждают сегодня