Skip to content
scrambled
Programming Language Theory Concept

Gradual typing macro gradual typing micro gradual typing

JourneyProgramming Language Theory Statuslearning

An approach that allows mixing typed and untyped code in the same program, enabling incremental migration from dynamic to static typing.

scheme
Fully untyped < -  -  -  -  -  -  -  -  -  -  -  -  -  -  - > Fully typed
(Python)           Gradual           (OCaml)
           (TypeScript, Typed Racket)