Skip to content
scrambled
Programming Language Theory Concept

Micro gradual typing

Books JourneyProgramming Language Theory Statuslearning Tags
  • language feature design
  • semantics
  • type theory

A Gradual typing approach where type annotations can be added to any subset of variables within the same code, freely mixing typed and untyped expressions.

A Gradual typing approach where type annotations can be added to any subset of variables within the same code, freely mixing typed and untyped expressions.