простом лоховском языке, если можно :)
Обратная совместимость Генерики появились далеко не в первой версии
ХКТ
Отсутствие стирания типов окончательно убивает даже тот убогонький параметрисити, который у нас в скале с учетом методов определенных на Any есть.
не гуглится, расшифруете ?
higher kinded types
что посоветуете прочитать, чтобы тоже это понять? или это дело 10 000 часов чтобы стать успешным?)
Чат @scala_ponv.
за какой день?
За все время существования желательно, ну или поиском по слову параметрисити.
жаль. надеялся на ссылочку (на статейку, а не чат).
а какие плюсы хкт? А то у меня как раз щас разгвоор с командой одного языка, и меня спрашивают "а че толку с него, все равно нужно делать специализации чтобы не тормозило, а раз так то и обобщать смысла нет если тебя не хачкель"
Так и есть, против копипасты
ну нужны какие-то конкретные примеры. Потому что мне говорят "а у нас хкт нет и копипасты тож нет. Врёте всё"
прочитал про них, посмотрел примеры (какую-то часть) а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?
Потому что если и можно сделать язык, в котором есть хкт и тайппараметры типов не стираются, я о таком не сшылал
без стирания параметров типов сделать хкт невозможно? если их стирание как-то способствует хкт, то как?
не невозможно, но в языках общего назначения с широким набором средств достаточно сложно, чтобы никто не делал
Ну что значит "стирание"
насколько я понимаю, например когда Map[String, Int] после компиляции превращается в Map<Object, Object> насколько я понял это дело
Обсуждают сегодня