3 ms·
> [Dijkstra] was suspicious of [type theory] being treated as a panacea I'd be suspicious of anything being treated as a panacea.
by cabalamat 16y ago
> [Dijkstra] was suspicious of [type theory] being treated as a panacea
I'd be suspicious of anything being treated as a panacea.
- contextfree 16y ago=) Sorry, I was being sloppy there - couldn't come up with an accurate and un-platitudinous way to characterize Dijkstra's attitude. There are other places in his writings where he's suspicious of an overemphasis on types, I think his criticisms of Ada mention it for example. Dijkstra was a big proponent of rigorous mathematical means of establishing program correctness in general, of course, but he didn't necessary equate that with types.