News for hackers. Stuff that matters.

A comment on On Marketing Haskell. Parent comment

Re:On Marketing Haskell by platz on Saturday May 30, 2020 @09:40PM (#23366489)
Idris barely made it out of experimental status and was dog-slow. Not sure when you'd choose that over Haskell for production software.
[ Parent | on HN ]
Re:On Marketing Haskell by throwaway518365 on Saturday May 30, 2020 @09:46PM (#23366513)
I probably wouldn't until/unless Idris 2 gained some steam, it would probably be Ocaml.

I was thinking more along the lines of dependent types, because the kinds of problems where you'd really really need strong static types overlap with the need for dependent types, which Haskell has some support for (and Ocaml but less so).

But if I needed to prove something I'd probably do it in Coq since it interops with Ocaml fairly well.

[ Parent | on HN ]