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 are given types and checked at compile time, while others are left untyped and checked for errors at runtime.
Stanford University
Fall 2022
Stanford University's CS 242 teaches the basics of programming language theory, its applications, and future trends. It focuses on the practical and theoretical understanding of programming languages, covering typed lambda calculus, state, monads, and more.
No concepts data
+ 15 more concepts