2 ms·
OP did also say "They wouldn't even have to be specified", which is the big difference here needed for a type checker to actually use them over comments.
by Turskarama 2y ago
OP did also say "They wouldn't even have to be specified", which is the big difference here needed for a type checker to actually use them over comments.