Re:Dependent Haskell Is the Future (2018)
by jcadam on Friday August 16, 2019 @07:44AM
(#20714149)
I used Ada for a few years back when I was working on satellite programs. It's the closest thing to a "If it compiles, it probably works" language that I've ever seen.
[ Parent
| on HN ]
Re:Dependent Haskell Is the Future (2018)
by 6thaccount2 on Friday August 16, 2019 @09:06AM
(#20714754)
I really wish you could use all of the adacore stuff for free in commercial closed source software and just pay for IDE support and maybe some specific libraries.