Is Dependently Type Programming Really a Good Idea?

I think you have been rather skeptical initially about dependent lives, isn't that right? I mean, at least skeptical, not that you're not. It's a skepticism born of having a brain of only moderate size, right? Dependently type programs. There's something very deep and subtle going on there. And moreover, what I have discovered is that it's not one thing, right? The space of dependently type programming languages is very large. Even if you get rid of the surface syntax, you just think of the internal language. So essentially, the sort of a limiting step as being, okay, can I actually understand it? When I think that I thoroughly understand it, then