A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
GNU General Public License v3.0
25
stars
0
forks
source link
Add (non)solution(s) to "the expression problem" chapter based on GADTs #1
Open
lukstafi opened 1 year ago
Or discuss why it's impossible to solve. See e.g. discussion about open recursion with extensible GADTs.