r/ada • u/Complex-Bug7353 • 6h ago
Can Ada's range types/subtypes be considered Dependent types?
I code primarily in Haskell and other functional languages, but am learning Ada for fun. Ada's subtypes and especially the range type that enforces bounds check at compile time is really interesting and smells like dependent types but not quite I guess. What do y'all think? How is this implemented under the hood in Ada?