Size: a a a

Programming Offtop

2020 December 14

с#

саша сок #KotlinGang... in Programming Offtop
несовместимость байт кода это плохо, но что теперь, убирать стирание типов?
источник

d

dimiii in Programming Offtop
Почему костыль мешает ортогональному дизайну фич?
источник

с#

саша сок #KotlinGang... in Programming Offtop
dimiii
Почему костыль мешает ортогональному дизайну фич?
ну хз, вон в ниме template живёт хорошо, и в целом инлайнить код не так плохо наверное
источник

AK

Anton Korotkikh in Programming Offtop
dimiii
Когда нибудь котлиновский инлайн войдет в учебники по дизайну яп
но если не коклен то кто? когда нужна беттер жаба, скалой обмазываться что ли?
источник

d

dimiii in Programming Offtop
Anton Korotkikh
но если не коклен то кто? когда нужна беттер жаба, скалой обмазываться что ли?
Жаба сама со временем беттер становится
источник

AK

Anton Korotkikh in Programming Offtop
dimiii
Жаба сама со временем беттер становится
та не особо, она кривая и костыльная. вот давай возьмём такую базовую вещь как функции высших порядков - в жабе с этим жопа, подпёртая различными костялми. какие-то ущербные functional interface, сахарок над интерфейсами хендлерами, runnable приводящиеся к лямбдам местным, this:: чтобы предать метод класса итд. т.е. складывается ощущения что судорожно скребли по всем сусекам, намешали всего в кучу, получилась какая-то хрень несогласованная. удобной работы с функцяими как со значениями по итогу нет
источник

I

Ilmir in Programming Offtop
dimiii
Почему костыль мешает ортогональному дизайну фич?
В языках программирования может не быть ортогональности фич. Пример - дженерики. Они пересекаются со всеми другими фичами.
источник

AK

Anton Korotkikh in Programming Offtop
Ilmir
В языках программирования может не быть ортогональности фич. Пример - дженерики. Они пересекаются со всеми другими фичами.
нет дженериков - нет проблем
источник

AK

Anton Korotkikh in Programming Offtop
источник

U

Unat in Programming Offtop
Anton Korotkikh
нет дженериков - нет проблем
источник

d

dimiii in Programming Offtop
Ilmir
В языках программирования может не быть ортогональности фич. Пример - дженерики. Они пересекаются со всеми другими фичами.
Это не меняет моего мнения о костыльности фичи.
источник

d

dimiii in Programming Offtop
Кстати вот поучительная история https://www.researchgate.net/publication/220459710_A_Proposal_for_Making_Eiffel_Type-Safe
источник

VP

Vladimir Petrakovich in Programming Offtop
Я так и не увидел аргументов, почему эта фича - костыль
источник

d

dimiii in Programming Offtop
Краткий пересказ - пчел придумавший язык c дизайном по контракту, что-то намудрил с контровариантостью типов
источник

I

Ilmir in Programming Offtop
Так у Эйфеля и сейчас нет sound type safety из-за flaky this. Как и у Котлина. И, как показала практика - у Дарта. От того, что они заменили NullPointerException на StackOverflowError, soundness не прибавилось.
источник

d

dimiii in Programming Offtop
Vladimir Petrakovich
Я так и не увидел аргументов, почему эта фича - костыль
Это достаточно субъективное понятие, ну ок. Попробую уточнить - для меня костыль в дизайне яп все что не основывается на формализме. ad-hoc решения которые тянутся из-за сиеминтных прихотей и обуславливаются такими странными вещами как удобство поддержки в IDE
источник

d

dimiii in Programming Offtop
Vladimir Petrakovich
Я так и не увидел аргументов, почему эта фича - костыль
Потому что за ней нет матана
источник

А

Алексей in Programming Offtop
dimiii
Это достаточно субъективное понятие, ну ок. Попробую уточнить - для меня костыль в дизайне яп все что не основывается на формализме. ad-hoc решения которые тянутся из-за сиеминтных прихотей и обуславливаются такими странными вещами как удобство поддержки в IDE
С таким подходом вообще программировать не стоит
источник

d

dimiii in Programming Offtop
Алексей
С таким подходом вообще программировать не стоит
пытаюсь как могу, получается с переменным успехом
источник

С

Станцуем Жизнь... in Programming Offtop
dimiii
Это достаточно субъективное понятие, ну ок. Попробую уточнить - для меня костыль в дизайне яп все что не основывается на формализме. ad-hoc решения которые тянутся из-за сиеминтных прихотей и обуславливаются такими странными вещами как удобство поддержки в IDE
Вот он поклонник тоталитарных яп
источник