4 ms·
This is such a limited view on types. The concept of them being more than compiler bookkeeping, but as propositions about program behavior and invariant encodi
by epolanski 3mo ago
This is such a limited view on types.
The concept of them being more than compiler bookkeeping, but as propositions about program behavior and invariant encoding is more than 50 years old at this point.