ΑZ
К слову униформность для входящих типов называется "параметричность" - теб наверное это уже говорили
Size: a a a
2021 March 03
ΑZ
Roman Blog
Мне без разницы. Я использую полиморфизм в его общем смысле. По иному я не могу это называть. А соответствует ли она или нет - мне без разницы. Наборот мне было бы лучше, если соответствовала
тебе было бы лучше использовать не те термины к которым ты привык, а те которые остальные используют. Ну, для взаимопонимания
ΑZ
чтобы не тратить часы на объяснения
RB
тебе было бы лучше использовать не те термины к которым ты привык, а те которые остальные используют. Ну, для взаимопонимания
но я не вижу ничего, что подходило бы мне в обычной классификации.
RB
Уже не только я пытался. Пока что максимум до чего мы дошли - это higher kinded polymorphism
RB
ну в этом проблема данной классификации. У неё в базе какой-то огрызок, а потом "супер полиморфизм", "супер-супер полиморфизм"
RB
и таких X полиморфизмов там до жопы.
ΑZ
Roman Blog
и таких X полиморфизмов там до жопы.
что поделать.В ООП вские паттерны по-разному называют чтобы потом одним словом выражать мысль, так и тут
ΑZ
обычная классификация не может не подходить - это просто сборник "обозначем Х за У".
RB
что поделать.В ООП вские паттерны по-разному называют чтобы потом одним словом выражать мысль, так и тут
Ну вот, это как работает. Убрали они новое ограничение и полявился новый, более круто полиморфизм
RB
но изначальная проблема в том, что полиморфизм то не изменился. Просто у них он в базе огрызок
ΑZ
Roman Blog
Ну вот, это как работает. Убрали они новое ограничение и полявился новый, более круто полиморфизм
ну вроде того, да.
Серьезно, у тебя интересные идеи насчет структурного программирования с щепоткой затиповой магии
Серьезно, у тебя интересные идеи насчет структурного программирования с щепоткой затиповой магии
ΑZ
знаю кучу людей которые тебя за эти взгляды уважают
RB
и термина, который бы полностью выражал крестовый полиморфизм - нет. Ещё не доросла до него академическая мысль
ΑZ
если бы ты почитал по базе теории типов, ты бы ничего не потерял
ΑZ
очень рекомендовал бы ознакопиться таки с работами по лямбда-счислению, по теори типов (пирс тут хорош)
RB
она пошла по другому пути. Там есть фундаментальыне проблемы с выводом типов
ΑZ
Roman Blog
и термина, который бы полностью выражал крестовый полиморфизм - нет. Ещё не доросла до него академическая мысль
просто про это в чатиках не пишут
ΑZ
в том же идрисе емнип вполне все это реализуется
ΑZ
правда считается дурным тоном, именно из-за магичности поведения функции