How strong is Ada's type system?
Does Ada have the following things, or a way to emulate them?:
Typeclasses
Higher-kinded types
Monad/Functor/Applicatives
(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.
[link] [comments]