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

Материал из CustisWiki
(перенаправлено с «Optional-typification-in-dynlangs-vlasovskih»)
Перейти к: навигация, поиск

Аннотация

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

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

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

Видео

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

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



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




Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».

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