There's bad apples across the experience spectrum. I'll take the young kids rediscovering relational databases for the Nth time rather than the dinosaurs that k

There's bad apples across the experience spectrum. I'll take the young kids rediscovering relational databases for the Nth time rather than the dinosaurs that keep us enslaved to C-like languages and ancient practices. For goodness' sake it took well over 4 decades for proper algebraic data types to start appearing in everyday languages! Is it too much to ask to get to use dependent types in a routine setting before I drop dead?