Hacker News Reader

From the description in the README file:

"GoCaml is subset of OCaml in Go based on MinCaml using LLVM. GoCaml adds many features to original MinCaml. MinCaml is a minimal subset of OCaml for educational purpose. It is statically-typed and compiled into a binary."

What do they mean with "GoCaml is subset of OCaml in Go"? Do they mean the compiler is written in Go?

View on HN

Yes, the compiler is written in Go, and implements a subset of OCaml, the language.

MinCaml is a project for students to easily learn what they need to know to build a useful subset of Ocaml in about 2000 lines of code. Here's the academic paper that describes the work with a 14 week plan for implementation:

https://esumii.github.io/min-caml/paper.pdf

I added it to our site for bootstrapping as it's a nice way to transition from a small, imperative 3GL into a ML. Well, without using a LISP or other metaprogramming tool that is. The bootstrapping site is here if you're interested in other small languages and builds:

http://bootstrapping.miraheze.org/

Reply on news.ycombinator.com