Loading...

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

2,988 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Sep 27, 2015

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.

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...