Skip to content
scrambled
Programming Language Theory Concept

Macro gradual typing

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.