Hey all, apologies if this isn’t a good place to post this, but this board seems like a good intersection of folks interested in FP, type theory, and compilers (and obviously OCaml). I’m currently trying to write a functional programming language in OCaml without formal knowledge of type theory or …

Resources for building a Polymorphic Lambda Calculus compiler?

tominated February 25, 2021, 1:33am 5

Thanks for the suggestions everyone! These are an awesome start and should help a tonne!

Topic		Replies	Views
A Tour Of The Compiler Learning compiler	4	971	April 13, 2018
[ANN] SiFun1.0.0 released Community announce	1	736	February 13, 2022
Writing type inference algorithms in OCaml Learning	17	3600	August 15, 2021
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again! Community announce , type-system , bindings	9	2353	December 9, 2021
Tutorial on Mutability, Loops, and Imperative Programming Learning announce , learning , ocamlorg , learn-ocaml , tutorial	0	393	December 15, 2023