Yes, it's called Ocaml ;) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Scarbutt on Sept 10, 2020 \| parent \| context \| favorite \| on: What Clojure Spec is and what you can do with it Yes, it's called Ocaml ;)

Nekorosu on Sept 10, 2020 [–]

Could you elaborate on your point?

Scarbutt on Sept 11, 2020 | [–]

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.

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