News for hackers. Stuff that matters.

A comment on Functional Semantics in Imperative Clothing (Richard Feldman). Parent comment

Re:Functional Semantics in Imperative Clothing (Richard Feld... by bradrn on Monday April 29, 2024 @08:58AM (#40197718)
This is really just a matter of how much syntax sugar you want to implement. Idris already has precisely this syntax, and there’s a proposal to add it to Haskell too [0]. But none of this changes the core properties of the system which make it monadic.

[0] https://github.com/ghc-proposals/ghc-proposals/issues/527

[ Parent | on HN ]
Re:Functional Semantics in Imperative Clothing (Richard Feld... by rtfeldman on Monday April 29, 2024 @09:01AM (#40197753)
TIL that Idris also has a very similar `!` operator (in the prefix position instead of suffix) - thank you for sharing!
[ Parent | on HN ]
Re:Functional Semantics in Imperative Clothing (Richard Feld... by alipang on Monday April 29, 2024 @04:36PM (#40203816)
Even Javascript has a similar syntax, though `yield` / `await` only works for certain "monads" (promises seem close enough)
[ Parent | on HN ]