Скачать или смотреть "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant

"Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant

Скачать "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

Информация по загрузке:

Cкачать музыку "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant

Optional type systems enable type checking for otherwise untyped languages, but what happens when you need to interact with untyped libraries? In most systems, the user provides an unchecked annotation which the type system assumes correct. An incorrect annotation then compromises all guarantees of the type system.

Gradual typing addresses this by inserting dynamic checks that protect the static invariants of typed code. In this talk we present extensions to Typed Clojure promoting it from an Optional to a Gradual typing system.

Ambrose Bonnaire-Sergeant
INDIANA UNIVERSITY BLOOMINGTON
@ambrosebs

Ambrose is a Computer Science PhD student at Indiana University Bloomington, working on gradual typing and Typed Clojure.

Комментарии

Информация по комментариям в разработке