3 ms·
To me, the issue is not the type system being TC, which may or may not be desirable depending on applications. What is a bit unsettling is that somebody notice
by chombier 9y ago
To me, the issue is not the type system being TC, which may or may not be desirable depending on applications.
What is a bit unsettling is that somebody noticed that it was in fact TC: this property should be clear from the type system design and not something to be discovered afterwards.