I've shifted toward the latter as I've embraced type systems that can substitute for having the entire language in my head. At the end of the day, I rarely car

I've shifted toward the latter as I've embraced type systems that can substitute for having the entire language in my head. At the end of the day, I rarely care about the language. I usually just care about my data morphisms. And a good type system helps me immensely in that regard.