Опциональная типизация в динамических языках (Андрей Власовских, ADD-2012) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
== Примечания и отзывы == * Обсуждение в блоге у автора: http://blog.pirx.ru/2012/05/14/optional-typing/ * {{ConferencePage|http://addconf.ru/event.sdf/ru/add_3/authors/AndreyVlasovkikh/634}} <!-- <blockquote>[©]</blockquote> --> <references/> [[Категория:Программирование]] [[Категория:Erlang]] [[Категория:ADD-2012]] {{stats|disqus_comments=0|refresh_time=2018-013-10T21:09:4201T20:11:55.307541303069|vimeo_comments=1|vimeo_plays=2007|youtube_comments=0|youtube_plays=28}}9}} |
Версия 17:12, 1 марта 2018
Аннотация
- Докладчик
- Андрей Власовских
Языки со статической и динамической типизацией сосуществуют уже очень долгое время, поскольку у обоих подходов есть свои плюсы и минусы. Динамическая типизация уступает статической по популярности, поскольку обладает рядом известных недостатков. В таких языках больше ошибок происходит во время выполнения, слабее поддержка со стороны IDE, хуже производительность программ.
В докладе рассматривается получающая распространение опциональная типизация, которая поможет сгладить недостатки динамических языков. Описываются способы введения опциональной типизации в динамические языки на примере языков Python, Erlang, Dart. Рассматривается, как применяется опциональная типизация в статическом анализе кода для повышения его производительности и корректности. Даётся обзор инструментов, использующих опциональную типизацию.
Видео
Примечания и отзывы
- Обсуждение в блоге у автора: http://blog.pirx.ru/2012/05/14/optional-typing/
- Страничка доклада на сайте конференции
Plays:236 Comments:1