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

Yeah. AFAIK The C version only exists because ML is too niche for mainstream publishing. ML actually works as decent pseudocode(Or at least easier to mentally transpile to other langauges, unlike e.g. Haskell) as well, so the C/Java versions are basically pointless.



That's what I was guessing. Especially after reading the article below and seeing lots of compiler/prover authors go with ML's.

https://news.ycombinator.com/item?id=14123100




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

Search: