3 ms·
Fun computer science fact: any type system will disallow some otherwise valid programs and also allow some invalid programs. The trick for type system designers
by garethrowlands 5y ago
Fun computer science fact: any type system will disallow some otherwise valid programs and also allow some invalid programs. The trick for type system designers is to find a sweet spot.
- aix1 5y agoI'm curious if this is a provable result or an empirical observation? (Come to think of it, I'm not even sure what's meant by program validity in this context.)
- astrange 5y agoPrograms are proofs and so this follows from Godel's incompleteness theorem. But "invalid program" needs defining.