Опциональная типизация в динамических языках (Андрей Власовских, ADD-2012)

Короткая ссылка: Optional-typification-in-dynlangs-vlasovskih

Ссылки сюда (1) →

Аннотация

Докладчик

Андрей Власовских

Языки со статической и динамической типизацией сосуществуют уже очень долгое время, поскольку у обоих подходов есть свои плюсы и минусы. Динамическая типизация уступает статической по популярности, поскольку обладает рядом известных недостатков. В таких языках больше ошибок происходит во время выполнения, слабее поддержка со стороны IDE, хуже производительность программ.

В докладе рассматривается получающая распространение опциональная типизация, которая поможет сгладить недостатки динамических языков. Описываются способы введения опциональной типизации в динамические языки на примере языков Python, Erlang, Dart. Рассматривается, как применяется опциональная типизация в статическом анализе кода для повышения его производительности и корректности. Даётся обзор инструментов, использующих опциональную типизацию.

Видео

Видео в HD-качестве, смотрите в полноэкранном режиме.

HTML-код включения <iframe src="http://player.vimeo.com/video/42618102?byline=0&portrait=0" width="800" height="320" frameborder="0"></iframe>

Оцените доклад «Опциональная типизация в динамических языках (Андрей Власовских, ADD-2012)»:

•  Отлично!
•  Хорошо.
•  Нормально…
•  Не очень :(
•  Просто хочу узнать результаты.

Примечания и отзывы

• Обсуждение в блоге у автора: http://blog.pirx.ru/2012/05/14/optional-typing/
• Страничка доклада на сайте конференции

---

Внимание! Данная статья выбрана для репликации во внешнюю базу знаний компании. Пожалуйста, не допускайте в этой статье публикацию конфиденциальной информации, ведения обсуждений в теле статьи, и более ответственно относитесь к качеству самой статьи — проверяйте орфографию, пишите по-русски, избегайте непроверенной вами информации.