3 ms·
Includes this great comment by Simon Peyton-Jones in support of incremental typing: "I think to try to specify all that a program should do, you get specificat
by galaxyLogic 3y ago
Includes this great comment by Simon Peyton-Jones in support of incremental typing:
"I think to try to specify all that a program should do, you get specifications that are themselves so complicated that you're not longer confident that they say what you intended."
- kqr 3y agoI think, though, that when reading this quote it should be taken in the context of e.g. Haskell exhibiting incremental typing – because it doesn't try to specify everything. It can't.
- graemep 3y agoDoes not seem to fit with the previous bit of the quote: "dynamic languages are still interesting and important. There are programs you can write which can't be typed by a particular type system but which nevertheless don't "go wrong" at runtime, which is the gold standard - don't segfault, don't add integers to characters. They're just fine."