❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayNews from the Ada programming language world

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]