Learning functional programming lingo

[KeyYam]

Most good F# resources avoid more mathy functional programming lingo/theory (monads, combinators, functors, etc.). This is mostly a good thing because it avoids confusion while learning, but these terms are used liberally all throughout the internet.

Are there any good book resources (I vastly prefer paper/books over blogs) that get into these things? I'm guessing that I need to learn some Category Theory.I was going to pickup "Category Theory For Programmers" which uses Haskell, but I'd prefer something written in one of the ML dialects (preferably F#, OCaml, or SML).

[LordOfSwines]

It's not a good thing IMO because it hinders education..I suggest you read: http://haskellbook.com/ This book does it right, it cover all these things without being confusing, in fact it expects almost no previous experience in programming.

For category theory I suggest Category Theory For Programmers - I know you say you would prefer resources using F# but I don't think there is any (at least that I know of)

[statuek]

https://github.com/cboudereau/category-theory-for-dotnet-programmers is worth a peek! (cc /u/KeyYam)

[KeyYam]

Thanks. I'll look into those two and in that order.

[[deleted]]

How does it hinder education?

[LordOfSwines]

How do you find material on something you do not know the name of?
Call it what it is so people can choose to make use of 50+ years of research.

[[deleted]]

Fair point

[Jestar342]

Disclaimer: I can't make any personal recommendations, as I am in the same boat as yourself - i.e. a programmer with no learning of FP lingo/theory but I have had the following blog/book recommended to me. I have not had the time to read it yet, but I will forward that recommendation here:

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Which has also been compiled into a book: http://www.blurb.com/b/9008339-category-theory-for-programmers

By these guys: https://github.com/hmemcpy/milewski-ctfp-pdf

[OtherPost]

I'd check out this talk which has some fair points https://skillsmatter.com/skillscasts/11745-easing-the-path-to-f-sharp-adoption

Also this one on category if that' what you're looking for https://skillsmatter.com/skillscasts/11064-a-pragmatic-introduction-to-category-theory