Hacker News new | past | comments | ask | show | jobs | submit login

Yes, it's called Ocaml ;)



Could you elaborate on your point?


Ocaml's strong static typing with type inference and pattern-matching (with exhaustivity checking) suite this kind of work quite well, there's plenty of literature around for it.




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

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

Search: