Is it possible that it's just academic garbage and will never effect 99.9999999998% of programmers?
Name:
Anonymous2012-12-07 18:22
>>8
I recently watched SPJ give a talk about the future of Haskell wherein he described a scenario in which Coq was used to solve a particular case of the halting problem. Coq being a human guided theorem prover.