Skip to content
scrambled
Programming Language Theory Flashcard

Between if-splitting and conditionals, which one can introduce unions, which one eliminates?

Books Concepts Decktype theory

Question

Between if-splitting and conditionals, which one can introduce unions, which one eliminates?

Answer

  • If-splittings eliminate union types.

  • Conditionals introduce union types.