Re:Dependent Haskell Is the Future (2018)
by yakshaving_jgt on Friday August 16, 2019 @05:27AM
(#20713487)
Not all programmers build WordPress plugins.
Some programmers write software for aircraft. The "ship it now" maxim doesn't exist in that context.
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.
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/
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.
Re:Dependent Haskell Is the Future (2018)
by AnimalMuppet on Friday August 16, 2019 @12:43PM
(#20716962)
Well... for 95-99%[1] of all software being written, "ship it now" beats "prove that bugs don't exist". Better formal methods could really help that 1-5%, but they're not going to impact the 95% very much.
[1] All statistics made up on the spot. I think it's in the right ballpark, though.
So I'm gonna be a pessimist here and say: nope, not gonna be the future, because programmers are lazy and "ship it now" is better than "prove the bugs don't exist".