2 ms·
I don’t see that as a problem since you’re not going to run multiple type checkers over your code, much like most C++ codebases pick a compiler and stick to it.
by scott_w 2y ago
I don’t see that as a problem since you’re not going to run multiple type checkers over your code, much like most C++ codebases pick a compiler and stick to it.
- josephg 2y agoNobody wants to recreate the mess of mutually incompatible c++ compilers. And it does matter when 3rd party libraries are involved. Types are a wonderful gift to anyone who imports & needs to figure out your library.
- scott_w 2y ago> And it does matter when 3rd party libraries are involved. That's a fair point.