Hacker News new | ask | show | jobs
by rixed 1910 days ago
> 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!
1 comments
pwdisswordfish6 1909 days ago
No, you're done.

> language that's already ~30 years old by now

Relevance?

link
TsiCClawOfLight 1909 days ago
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.
link