Re:Learn Go by writing tests – Hello, world (2018)
by valenterry on Friday March 12, 2021 @03:49PM
(#26440725)
> 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. :)
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. :)