ZK
Всё познаётся в сравнении, кому-то и generic'и в Elm - счастье
Size: a a a
2017 December 01
AP
Generic в Haskell и дженерики в Java не имеют ничего общего кроме названия
ZK
Generic - это общий программистский термин
ZK
Generic в Haskell имеет свой собственный смысл этого термина
Вл
справедливо
ZK
И лучше бы они как-нибудь по-другому его назвали, дабы не путаться
AP
В хаскеле точно можно было назвать иначе
AP
Но и в жаве слово "дженерики" странно применено
AP
В фармакологии дженерики, это вообще нечто второго сорта :)
ZK
generics is a form of abstraction that allows defining functions that can operate on a large class of datatypes
Aq
это не в яве придумали же
Вл
темплейты в плюсах?
Вл
или ещё раньше
Вл
когда в яву добавляли - понимали что будет проблема с ко и контрвариативностью?
Aq
дженерики так назывались года с 77 в Аде как минимум. Не помню, как это называлось в CLU, так что может и раньше
ZK
когда в яву добавляли - понимали что будет проблема с ко и контрвариативностью?
Конечно понимали, поэтому сделали такое говно как Usage Site Variance
Aq
учитывая, что дженерики для явы Вадлер делал, можно предположить что понимал
Aq
я правда не читал соотв. пейперы
ZK
дженерики так назывались года с 77 в Аде как минимум. Не помню, как это называлось в CLU, так что может и раньше
ML 73 год
Aq
в эмеле они так не называются обычно, да и не было в 73 никакого эмеля