|
|
|
|
|
|
by valenterry
1921 days ago
|
|
|
> There will always be properties you can't encode in a (useful) type system. If you define useful by "we know that the compiler will finish in finite time" then I agree. And that's indeed a good point! In practice, there will always be runtime tests, at least for how long any of us and our children will live. :) |
|
|