scrambled
scrambled
Concept

Macro gradual typing

Modified just now
Books JourneyProgramming Language Theory Statuslearning Tags
  • language-feature-design
  • runtime
  • type theory

A Gradual typing approach where typed and untyped code exist as two separate sibling languages that interact only at module boundaries, typically requiring Blame tracking.

A Gradual typing approach where typed and untyped code exist as two separate sibling languages that interact only at module boundaries, typically requiring Blame tracking.