News for hackers. Stuff that matters.
Re:Upcoming/proposed breaking changes to Haskell by mdm12 on Wednesday November 17, 2021 @10:09AM (#29254034)
Your description of a monad comprehension in Idris reminds me of computation expressions in F#[1]. Looks like I have one more programming language to dive into!

[1] https://docs.microsoft.com/en-us/dotnet/fsharp/language-refe...

Re:Upcoming/proposed breaking changes to Haskell by sullyj3 on Wednesday November 17, 2021 @05:39PM (#29259772)
A closer analogue is probably do-notation, which comprehensions are syntactic sugar for. Comprehensions can be terser for simple expressions, but for anything longer, do notation is generally more readable.