Hacker News Reader

Comment by dragonelite | Hacker News Reader

How does one get familiar with these kind meta programming concepts. Is there some kind bible or series one can read to get up to speed?

View on HN

Im a Scala fan, so all these will be focused around Scala, but they will teach you about Monad and Category Theory.

I would start with http://learnyouahaskell.com - Its Haskell based but it covers them pretty well.

Otherwise I use https://typelevel.org/cats/ for Scala daily and they have an _ok_ guide. But the best guide I've found for it was http://eed3si9n.com/herding-cats/

LearnYouAHaskell bought the book last year but because of lack of time didn't worked through it. I should dust the book off in januari and give a read.

Do note this won't teach you actual category theory (and shouldn't)

Many Haskell and functional Scala books will give you a good understanding of type-driven development, but I'd recommend "Functional Scala" by Chisano/Bjarnson (and do the exercises).

Alternately, "Learn You a Haskell" will provide a decent base.

Either of these will give you the base needed to explore higher-level concepts that can easily be used in Haskell, Scala, Purescript, OCaml, a few statically-typed functional languages, and to some extent, Rust.

I meant to write, "a few other statically typed functional languages".

Just learn haskell

Seconded, even if you don't later use Haskell, it's a great language to learn if you want to see some interesting programming concepts that are tried and true but not well known. You could also try something like Purescript if you want your code to compile to CommonJS and could try Idris 2 if you also want to try out linear types, which is cool.

Reply on news.ycombinator.com