2 ms·
Turing complete type systems are not metaprogramming. You talk about writing a custom compiler / type checker -- this is exactly what unit tests are. Are you a
by tathougies 10y ago
Turing complete type systems are not metaprogramming.
You talk about writing a custom compiler / type checker -- this is exactly what unit tests are. Are you against those as well? What's wrong with integrating certain sorts of test into the source itself?
- dmitriid 10y agoIf the type system is Turing-complete, how are you going to test the soundness of your types? Who is going to write unit tests for the types?