Skip to content
scrambled
Programming Language Theory Flashcard

What are the ideas of micro and macro gradual typings?

Books Concepts Decktype theory

Question

What are the ideas of micro and macro gradual typings?

Answer

Gradual typing is often the formal term for retrofitted type systems.

  • Micro gradual typing: The typed and untyped languages coexist within the same program, requiring a type to represent "untyped values".

  • Macro gradual typing: The typed and untyped languages live separately but communicate via a contract. Contract violation and blame tracking are usually provided.