> Write a compiler in a strongly typed language, and
> then remove all the type annotations.
Help!
That's what I did. I chose to write the compiler in OCaml, a language that's already ~30 years old by now.
But I can not find any type anotations!
What should I do? I'm stuck!
ocaml is statically typed, it just uses type inference for 99% of cases.
So your're wrong in this case, he got all the advantages from static typing. Errors ade found at compile time.
