3 ms·
Nope, all computation is representable in terms of types. https://en.wikipedia.org/wiki/Curry–Howard_correspondence https://en.wikipedia.org/wiki/Curry–Howard_
by adamnemecek 8y ago
Nope, all computation is representable in terms of types.
https://en.wikipedia.org/wiki/Curry–Howard_correspondence https://en.wikipedia.org/wiki/Curry–Howard_correspondence
- coldtea 8y agoWhich is neither here nor there, as a contrived case. In actual languages people us e(e.g. that have more than 2% of the job market), type errors caught by the compiler don't catch "all computation" errors. Not even in Haskell...