How to avoid right intendation?

• mtl_issue

  1 0 10.0 Nix

I created an example repository. I'm aware of tricks such as this one. But I find it really hard to avoid the increasing right indentation without making the code hard to understand because of runExceptT and the likes everywhere. To give you a bit more info before clicking the repository link: in the actual app, m would be the application monad (think ReaderT pattern), and so you might often see m (Maybe String) or m (Either String) being returned. It's then hard to compose two functions like that. I'm aware that you can do MonadPlus m and MonadError String m but I can't get this to work while still preserving the error messages depending on where I got a Nothing value.

• Idris2

  39 2,425 9.5 Idris

  A purely functional programming language with first class types

  

Idris2 has a great syntax for this, see e.g. node018:

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project