❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayCommunities

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.

submitted by /u/dist1ll
[link] [comments]
❌
❌