Monadless Alternatives

monadless reviews and mentions

• "A New Library For Imperative ZIO Programming" by Alexander Ioffe at Functional Scala 2022
  1 project | /r/scala | 10 Jan 2023
• Kind: A Modern Proof Language
  7 projects | news.ycombinator.com | 11 Aug 2021

  Well `RecordWildcards` has been around for 14 years... but even without it instead of `{..}` you'd just have `_`s. The main thing that is different is that your Kind example had nested case statements while your Haskell example tried to match everything on one shot, which makes for a non-equivalent comparison.

  > Not sure how that could work, though. Idris had an interesting syntax, but IIRC it wasn't general.

  I assume you're talking about idiom brackets for applicatives? The general syntax is given in something like https://github.com/monadless/monadless. The idea is to basically take async-await syntax and generalize it to any monad.

  So e.g. your `Maybe` example (using `!` for the equivalent of `await` for concision) would look like

    Maybe {

• Why asynchronous Rust doesn't work
  10 projects | news.ycombinator.com | 9 Mar 2021

  > If anything, async-await feels like an extremely non-functional thing to begin with

  It, like many other things, forms a monad. In fact async-await is a specialization of various monad syntactic sugars that try to eliminate long callback chains.

  Hence things like Haskell's do-notation are direct precursors to async-await (some libraries such as Scala's monadless https://github.com/monadless/monadless make it even more explicit, there lift and unlift are exactly generalized versions of async and await).

• A note from our sponsor - InfluxDB
  www.influxdata.com | 17 May 2025

  InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →