Gradual typing is a type system that allows developers to choose between static and dynamic typing within a single language. It can be added to an existing dynamic language or used from the start in a new language. With gradual typing, some variables and expressions can have types checked at compile time, while others are left untyped and checked at runtime.
University of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts