Why don't you use dependent types?
Summary
The article argues about the practicality of dependent types, outlining why developers might avoid them in real-world projects and discussing trade-offs between theoretical rigor and maintainability.
Tech Watch by Johan Denoyer
The article argues about the practicality of dependent types, outlining why developers might avoid them in real-world projects and discussing trade-offs between theoretical rigor and maintainability.