Hacker News new | past | comments | ask | show | jobs | submit login
A micro compiler in Ocaml (troydm.github.io)
63 points by joaobatalha on April 1, 2014 | hide | past | favorite | 22 comments



As well as Real World OCaml (linked in the OP), there are also a number of tutorials/exercises at http://ocaml.org/learn/tutorials/

The most visited of these pages is 99 problems: http://ocaml.org/learn/tutorials/99problems.html


"Our program will preallocate 1000 bytes on stack for variables, since all of our variables are static."

Oof, talk about cutting corners. Works well enough until you need function calls, I guess.

Anybody who finds this intriguing might look at http://esumii.github.io/min-caml/index-e.html, which is also written in OCaml and goes into a bit more depth.


I don't know what the purpose is here, but I think it would be a lot smaller if the standard tools for lexing and parsing were used. http://caml.inria.fr/pub/docs/manual-ocaml-400/manual026.htm...


Most real production compilers don't use lexer or parser generators.



A "micro compiler" doesn't qualify as "real production compiler". I think pointing out that a lexer/parser could have been used is relevant in this case.


Lexer/parser generators aren't used in practice even for hobbyists, so pointing out standard tools could have been used is weird since the tools are obviously not that popular.


In my experience lexers and parser generators are used extensively by hobbyists. Tools such as Antlr, Boost.Spirit and Xtext come to mind.


Xtext is very marginal compared to the far wider world of custom languages. Antlr not so much, but still, tons of people write rec. des. parsers themselves.


Is that true? At least in the OCaml ecosystem (where there is many many compilers), ocamllex and menhir seems to be used quite often.


I know a lit of hobbyists and professionals who just roll recursive decent parsers given the reduced complexity and better error recovery. Using these tools, they don't necessarily help unless you have icky syntax to deal with or really care about that last ounce of performance.


The main compilers for PHP, Ruby, and Go all do, although gcc uses a handwritten one now http://en.m.wikipedia.org/wiki/GNU_bison

Do those not count? What are the tradeoffs to doing it from scratch?


Scala and C# are by hand. I imagine C++ is also since there is no other way to do it. Java uses JavaCC, Lua is by hand

Using tools is often more complicated than just writing code, it isn't that hard to write a recursive descent parser, and you have the flexibility if loading it with all the error recovery you want. What tools give you is potentially better parser performance and more theoretic assurances (useful for tricky grammars).


After the comments I've seen from paulp, I'd hardly believe that way Scala did this was optimal, although I'm not sure there were any issues with lexing & parsing


It's not optimal and it doesn't matter considering parsing overhead is just noise compared to type system computations.


Informative comment, but surely the purpose of the article is to teach ocaml, not the lexing&parsing tools, which require more ocaml knowledge?


The author doesn't appear to be an experienced OCaml programmer, and misses lots of opportunities for simpler code. For example

let is_digit c = let code = Char.code c in code >= Char.code('0') && code <= Char.code('9')

Could have been written: let is_digit = function '0'..'9' -> true | _ -> false

So the purpose probably wasn't to teach OCaml.


I hate this suggestion. What's the point of writing a toy compiler if you skip learning how to write one of its most critical parts?


don't you see the purpose is purely the anime?


I'm a pretty big fan of anime, but I still don't see the point in randomly sprinkling internet memes or other random television screenshots in blog posts. At first, I thought it might be a refreshing change of pace, but now I just feel like it detracts from the article.


And more mini-languages which are implemented in Ocaml, here:

https://github.com/andrejbauer/plzoo


this reminds me of a neglected bookmark, the original rust compiler in ocaml from 3 years ago http://www.reddit.com/r/rust/comments/18b808/is_the_original...




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: