3 ms·
> 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
by rixed 6y 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!
- pwdisswordfish6 6y agoNo, you're done. > language that's already ~30 years old by now Relevance?
- TsiCClawOfLight 6y agoocaml 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.