6 ms·

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?

Milner08 6y ago
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 http://learnyouahaskell.com - Its Haskell based but it covers them pretty well. Otherwise I use https://typelevel.org/cats/ 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/ http://eed3si9n.com/herding-cats/
- dragonelite 6y ago
  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.
- jcora 6y ago
  Do note this won't teach you actual category theory (and shouldn't)
  - deleted 6y ago
    [deleted]
monoideism 6y ago
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.
- monoideism 6y ago
  I meant to write, "a few other statically typed functional languages".
jcora 6y ago
Just learn haskell
- lambda_obrien 6y ago
  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.

Milner08 6y ago

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 http://learnyouahaskell.com - Its Haskell based but it covers them pretty well. Otherwise I use https://typelevel.org/cats/ 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/ http://eed3si9n.com/herding-cats/

dragonelite 6y ago
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.
jcora 6y ago
Do note this won't teach you actual category theory (and shouldn't)
- deleted 6y ago
  [deleted]

monoideism 6y ago

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.

monoideism 6y ago
I meant to write, "a few other statically typed functional languages".

jcora 6y ago

Just learn haskell

lambda_obrien 6y ago
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.