News for hackers. Stuff that matters.

A comment on Ohm – A library and language for building parsers, interpreters, compilers, etc.. Parent comment

Re:Ohm – A library and language for building parsers, interp... by rixed on Saturday March 27, 2021 @08:43PM (#26607050)
> 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!

[ Parent | on HN ]
Re:Ohm – A library and language for building parsers, interp... by pwdisswordfish6 on Sunday March 28, 2021 @06:42AM (#26609273)
No, you're done.

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

Relevance?

[ Parent | on HN ]
Re:Ohm – A library and language for building parsers, interp... by TsiCClawOfLight on Sunday March 28, 2021 @08:58AM (#26609964)
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.
[ Parent | on HN ]