November 2017
Intermediate to advanced
670 pages
17h 35m
English
Content preview from Learning Functional Programming in Go
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
Start your free trial
Table legend
Gamma (Γ) represents the environment, that is, free variables paired with a bunch of types. We give names to free variables (for example, x of type A in the context, y of type B,...) and their type.
Turnstile (⊢) a ⊢ b means a is provable from b.
The term (M) represent expressions we write in a programming language.
We show types A and B.