15312 Foundations Of Programming Languages -
that explores the mathematical principles behind programming language design and implementation. CMU School of Computer Science
-- Example usage: expr = Lam "x" (Var "x") inferredType = inferType expr main = print inferredType -- Output: Forall "a" (Mono (TV "a" -> TV "a")) 15312 foundations of programming languages
Their mission? To reach the "Final State" of total type safety. The Antagonist: The Segmentation Fault 15312 foundations of programming languages
PolyLambda's type system consists of the following elements: 15312 foundations of programming languages
Infers the type scheme of a given expression.
