News for hackers. Stuff that matters.

A comment on Ask HN: What has Haskell ever done for us?. Parent comment

Re:Ask HN: What has Haskell ever done for us? by icrbow on Tuesday January 01, 2019 @11:10AM (#18800686)
> Writing MISRA C and using verification tools like Astree, or SPARK + verification tools are not as elegant, but their weakest point is stronger than Haskell's.

That's why we need more Haskell-hosted system programming DSLs - with fancy sound types, proofs, extraction and stuff.

[ Parent | on HN ]

There are no comments on this comment yet.