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

== Аннотация ==
;Докладчик: {{Speaker|Андрей Власовских}}
<blockquote>
Языки со статической и динамической типизацией сосуществуют уже очень долгое время, поскольку у обоих подходов есть свои плюсы и минусы. Динамическая типизация уступает статической по популярности, поскольку обладает рядом известных недостатков. В таких языках больше ошибок происходит во время выполнения, слабее поддержка со стороны IDE, хуже производительность программ.

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

== Видео ==

{{vimeoembed|42618102|800|320}}

{{youtubelink|MbEz0F8fV5I}}{{letscomment}}

<!--
== Слайды ==

[[Файл:Опциональная типизация в динамических языках (Андрей Власовских, ADD-2012).pdf|left|page=-|256px]]
 -->

{{----}}

== Примечания и отзывы ==
* Обсуждение в блоге у автора: http://blog.pirx.ru/2012/05/14/optional-typing/
* {{ConferencePage|http://addconf.ru/event.sdf/ru/add_3/authors/AndreyVlasovkikh/634}}

<!-- <blockquote>[©]</blockquote> -->

<references/>
{{stats|disqus_comments=0|refresh_time=2021-08-31T17:41:24.407640|vimeo_comments=1|vimeo_plays=230|youtube_comments=0|youtube_plays=48}}

[[Категория:Языки программирования]]
[[Категория:Erlang]]
[[Категория:ADD-2012]]