scrambled
scrambled
Concept

Gradual typing macro gradual typing micro gradual typing

Modified just now
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)