mtl-style-example VS hoogle

Re: effects libraries, it's probably worth starting with e.g. https://www.fpcomplete.com/blog/2017/06/readert-design-pattern/ https://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html https://github.com/lexi-lambda/mtl-style-example if you're just getting familiar with the ecosystem. I'll add, anything written by the the people I linked to in this comment is probably worth reading as well.

Personally, it felt to me like, once I really understood monad transformers (https://hackage.haskell.org/package/transformers) and mtl (https://hackage.haskell.org/package/mtl), the reasons they both exist and how they are distinct, how you use them generally and what common patterns are around structuring your app (see e.g. https://github.com/lexi-lambda/mtl-style-example and the 3-layer-cake link someone else provided here for two), a lot of stuff in the ecosystem suddenly became comprehensible and useful to me, in a practical, "real world" way. In fact I'd go so far as to assert that getting comfortable with mtl in particular is the biggest single step you can take to being able to build arbitrarily useful real-world apps that are no longer toys.

Dimensions behave somewhat like a "type system" for math. These dimensional-analysis tricks act like the trick you see in Haskell sometimes, where you can easily guess an implementation of an expression once you know it's type (or e.g. search by type signature https://hoogle.haskell.org/ )

Haskell Spotlight makes vscode a client for hoogle. It isn't too different than jumping into your browser and type https://hoogle.haskell.org/. The main advantage is that you have everything in one place

https://hackage.haskell.org/package/base and https://hoogle.haskell.org are automatically up to date and better searchable than almost any other reference of any other programming language. maintaining a redundant reference that needs to be kept up to date manually is simply stupid.

Ideally like this: https://zio.dev/reference/#concurrency

Or this: https://hoogle.haskell.org/?hoogle=fork

And yeah I get it, it's hard to Google for punctuation operators in languages because it doesn't give useful search results (but not impossible, for example, Haskell has a search engine for documentation that handles symbols/punctuation).

{ "customLocalFormatters.formatters": [ { "command": "make format", "languages": ["haskell"] } ], "emeraldwalk.runonsave": { "commands": [ { "match": "*.hs", "isAsync": true, "cmd": "make retag retag_file=${file}" } ] }, "ghcid.command": "make ghcid", "goto-documentation.customDocs": { "hs": "https://hoogle.haskell.org/?hoogle=${query}" } }

You had a look at Hoogle?

https://hoogle.haskell.org/

For some type signatures there is (are) only one (or only a few) meaningful implementation(s).