News for hackers. Stuff that matters.

A comment on Dependent Haskell Is the Future (2018). Parent comment

Re:Dependent Haskell Is the Future (2018) by lonelappde on Friday August 16, 2019 @07:43AM (#20714139)
No one is writing aircraft software in Haskell. They need good control over memory usage.
[ Parent | on HN ]
Re:Dependent Haskell Is the Future (2018) by Legogris on Friday August 16, 2019 @08:19AM (#20714362)
Counter-example: https://smaccmpilot.org/software/index.html

Also, a Haskell DSL for automotive control systems: http://tomahawkins.org/

[ Parent | on HN ]
Re:Dependent Haskell Is the Future (2018) by krapht on Friday August 16, 2019 @05:52PM (#20720074)
That isn't a counter-example unless you're taking his post literally. In which case I claim that Python is a system programming language because one time somebody somewhere wrote a driver in it.
[ Parent | on HN ]