Skip to content

Topic

Static Typing

Type checking a compiler performs before a program runs, covering function-type signatures, exhaustiveness of case analysis and compile-time constants.

Current clusters