Nvidia goes to Ada

I'm a Haskell/F#/Scala dev; somebody sell me on Ada. How would I use/implement monads in it? For example, like in: fsharpforfunandprofit.com/rop/

You wouldn't. Haskell has
1. ML features, which are pretty cool, and which you can find in Ada.
2. a bunch of bad decisions
3. a bunch of features that only make sense in the context of #2
you should be well used to looking at other languages and saying "oh... weirdly, to use this I'll have to put aside all that weird stuff I learned in Haskell, like men putting away childhood toys."

Contrary to popular belief, monads aren't just some workaround to perform I/O, they're practical design patterns that make code easier to reason about, as demonstrated by that user's "railway oriented programming" link.

If Ada claims "ease of maintenance" while not supporting such basic abstractions, then it's a waste of time to learn it when you can just use the equally rigorous safety of Haskell instead.

yeah, yeah, yeah. I ran out of patience for Haskeller cultist bullshit even before I started drinking to try and free up the completely wasted skill points investments that the language encourages. You wouldn't like Ada because it's readable, and 'remotely readable' is a bad code smell to a Haskeller.

Ada is supposed be non functional and low-level, so monads has to be thrown out the window by default

I have some bad news for you:
semanticscholar.org/paper/An-Experiment-in-Software-Prototyping-Productivity-Hudak-Jones/4029a3c5b19365ea3e0c453c4245eb184e038c75

Attached: 13-Figure4-1.png (1128x732, 25.65K)

I knew Ada was a meme language, but I didn't know it was intentionally trying to be useless, lmao

good joke though. Not going to waste my time digging into how they managed to arrive at Haskell begin either of those things.

...

For shit like this I come here

Attached: 3238b7fa43e3a34519a5599003b3906e4050b4d1ab0f38dd6dfc582ae95a868c.jpg (400x400, 29.84K)