typeswitch, 24 days ago you want types because you want the compiler to prevent people from writing bad code. i want types because i want the compiler to help me write good code. we are not the same.
you want types because you want the compiler to prevent people from writing bad code.
i want types because i want the compiler to help me write good code.
we are not the same.
BoydStephenSmithJr, 24 days ago @typeswitch Reject the type usage binary! As a proud user and implementor of bidirectional typing, I embrace both your descriptions; my pronouns are check/infer. 🤪
@typeswitch Reject the type usage binary! As a proud user and implementor of bidirectional typing, I embrace both your descriptions; my pronouns are check/infer.
🤪
Add comment