Fabio Strocco - Type Soundness in the Dart Programming Language

Kiaro

Местный
Регистрация
31 Июл 2020
Сообщения
5,772
Реакции
187
Credits
51
Для просмотра ссылки Войди или Зарегистрируйся

Название: Type Soundness in the Dart Programming Language
Год: 2016
Издатель: Ph.D. Thesis. — Denmark: Dpt. of Comp. Science Aarhus Univ.
Язык: english
Кол-во страниц: 154
Формат: PDF


Описание:

Many mainstream programming languages are dynamically typed. This allows for rapid software development and programming flexibility because it gives programmers the freedom to use powerful programming patterns that are not allowed in statically typed programming languages. Nevertheless, this freedom does not come without drawbacks: static bugs detection, IDE support, and compiler optimization techniques are harder to implement. In the last decades, the research literature and mainstream programming languages have been aiming to reach a trade-off between statically typed and dynamically typed languages.



Скачать

Для просмотра ссылки Войди или Зарегистрируйся