Новости С++
- Войдите на сайт для отправки комментариев
Втр, 07/11/2017 - 17:29
Из рабочей группы по стандарту С++: в последнее время аткивно муссируется идея впихнуть в язык "постепенную типизацию". Пока большиство против, но идея уже "получила право на обсуждение".
Между тем с самой "постепенной типизацией" не всё так гладко. Например, в последнем выпуске "Proceedings of the ACM on Programming Languages" буквально рядом друг с другом две статьи с такими названиями:
Sound Gradual Typing: Only Mostly Dead
(Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt. 2017. Sound Gradual Typing: Only Mostly Dead. Proc. ACM Program. Lang. 1, OOPSLA, Article 54 (October 2017), 24 pages. https://doi.org/10.1145/3133878)
Sound Gradual Typing is Nominally Alive and Well
(Fabian Muehlboeck and Ross Tate. 2017. Sound Gradual Typing is Nominally Alive and Well. Proc. ACM Program. Lang. 1, OOPSLA, Article 56 (October 2017), 30 pages. https://doi.org/10.1145/3133880)
Я вот всё думаю, а если впихнут, то ведь через год другой это будет в gcc и дойдёт до нас. Сколько веселья добавится в темы от новичков :)
Язык "С" - чисто статически типизирован с явной И слабой типизацией. Какой смысл ему добавлять "статические типы", если они там и так изначальны? Термин "постепенная типизация" (gradual typing) как понимаю относится к введению статической типизации в ДИНАМИЧЕСКИ типизированные языки или вообще не имеющие таковую вовсе. Речь и навязывании в С динамической типизации? Нафига попу гармонь .. С тем и хорош, что прост, дешев и сердит .. :)
А в целом, народ все ещё пытается построить "язык всего", в смысле обощить достоинства разных ЯВУ в одном месте, однако некто К.Прутков утверждал что "нельзя обьять необъятное", ну и как правило универсальное обощение суммирует недостатки и вычитает достоинства того что обощается.
(gradual typing) как понимаю относится к введению статической типизации в ДИНАМИЧЕСКИ типизированные языки
Да, нет, там всё равно что куда вводить, лишь бы всё было - https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/
Я пральна понял, что, фактически, хотят ввести динамическую типизацию? Накохер? Ещё один скриптовой язык из нормального С++ сделать? Делать им там что-ли нечего?
Так ползуче уже втихаря вводят (все эти фокусы с rtti и прочими dynamic_cast). Нахрена - не понимаю. Есть же для этого и другие языки. По мне, так нафиг. Лучше бы уже имеющуюся "утиную типизацию" как-то в стандарте особо выделили, а то она болтается там как сбоку припёка.
Пишу в IDE версии 1.0.5. Не желаю менять.
Так ползуче уже втихаря вводят (все эти фокусы с rtti и прочими dynamic_cast). Нахрена - не понимаю.
Не, RTTI нужная вещь, иногда здорово выручает, на архитектурно сложных командных проектах - пусть оно будет таки ;) А вот дальше воду мутить - как-то стрёмно, для всяких непотребств есть тот же C#, где уже намутили - мама не горюй (LINQ - весчь, однако, тащусь).
Короче, обидно за плюсы - как бы не получилось "плыли мы плыли, а на берегу обоср@лись".