Does Ada have the following things, or a way to emulate them?:
(Compile-time) dependent types
I'm trying to evaluate Ada for one of my projects, but it's a bit hard to find information about this. So I figured I'd ask actual practitioners.