In this first episode we discuss the big picture ideas that make functional programming distinct from other styles of programming.  No experience required! If you're interested in learning what the fuss is about, this is the episode to start with.

Tell us what you think at contact@lambdacast.com

Transcription provided by Eric Inman
https://drive.google.com/file/d/0B3raKkneFJOXSU1rWEstSUwxTk0/view?usp=sharing

1: Overview Of Functional Programming

Wrapping up our grand tour of functional programming we go into more depth about the benefits of a functional first language.

Tell us what you think at contact@lambdacast.com

Show Notes:
https://www.infoq.com/presentations/Simple-Made-Easy
https://www.infoq.com/presentations/Value-Values
http://l.facebook.com/l.php?u=http%3A%2F%2Fheeris.id.au%2F2013%2Fthis-is-why-you-shouldnt-interrupt-a-programmer%2F&h=5AQHAs9rP
http://fsharpforfunandprofit.com/

2: Overview of Functional Programming part 2

Recursion, that infinite spiral of self referentiality. In this episode we break down the ideas behind recursion, and more importantly when and where you might want to use recursion.

7: Recursion

Oh category theory, bastion of strange and wonderful terminology, (some might say terrible and inaccessible). Love it or hate it, you're likely to run into some terms from category theory if you spend enough time in FP land. In this episode we'll tackle some of the terms that make up the 'ism family of terms, morphism, endomorphism, isomorphism, homomorphism, and catamorphism.

Denotational design talk: https://www.youtube.com/watch?v=bmKYiUOEo2A

8: Morphisms

Abstraction takes on a different meaning amongst functional programmers. This episode we dig into how parametric polymorphism is an essential tool in developing well behaved abstractions that transcend simply being a solution to your individual problem.

John Degoes polymorphism post
http://degoes.net/articles/insufficiently-polymorphic

When x, y, and z are great variable names
http://blog.ploeh.dk/2015/08/17/when-x-y-and-z-are-great-variable-names/

LambdaCast

9: Polymorphism And Abstraction

We have launched our Patreon page, if you feel so inclined come support us at https://www.patreon.com/lambdacast

C# Maybe(and lots more)
https://github.com/louthy/language-ext

Immutable Collections API 
https://msdn.microsoft.com/en-us/library/mt452182(v=vs.111).aspx

Elm Language
http://elm-lang.org/

PureScript Language
http://www.purescript.org/

11: Aaron's C# Story

Into the icy maw of category theory starting with Monoids! In reality we find out it's not actually all that scary and there are some really fantastic things that we gain by understanding these basic categorical concepts.

We now have a twitter account! Follow us at https://twitter.com/lambdacast
We also now have a patron account if you're looking to support the show: https://www.patreon.com/lambdacast

Show Notes:

Haskell Diagrams library
http://projects.haskell.org/diagrams/doc/quickstart.html
https://vimeo.com/84104226

Chris Wilson pointed out that Haskell's Typeclassopedia has a nice chart of the relationship between Haskell's implementation of many categorical structures: https://wiki.haskell.org/wikiupload/d/df/Typeclassopedia-diagram.png

12: Monoids

Algebraic Data Types (ADTs) are one of the most distinguishing features of statically typed functional languages. Come learn why they exist, how you can use them, and how they change your design. 

Join the FP community at http://fpchat.com
Support us on Patreon at http://www.patreon.com/lambdacast
Follow us on Twitter: http://twitter.com/lambdacast

Show Notes:

Denotational Design with the example of a Poker game
https://fsharpforfunandprofit.com/ddd/

13: ADTs

Join us as we discuss the FP community. FP has a reputation as harsh and impenetrable but is that really the case? What can you do to make FP a more inviting place?

Episode 15 patrons:

Chris Lopes
Gabe Johnson
Randy Shepherd
Noel Waghorn

Correction: I incorrectly stated that one of the Recurse Center Social rules was “No Feigned Ignorance” it is actually “No Feigned Surprise”

Show Notes:

Cloud Haskell - http://haskell-distributed.github.io/tutorials/1ch.html

Recurse Center Social Rules - https://www.recurse.com/manual
Lambdaconf COC - http://fantasyland.institute/initiatives/COC.html
Moonconf COC - http://maitria.com/coc
Haskellbook - haskellbook.com
NY Haskell speaker guide - https://docs.google.com/document/d/1065iwf918SDotEPc0q9TWP_F1haVyeK90MSaBg3IOn8/edit

Spa day instead of pub meetup - https://twitter.com/sehurlburt/status/875848925529243648

Steven Syrek - https://twitter.com/sjsyrek

15: The FP Community

Going deeper down the category theory rabbit hole, we explore one of the most common and useful abstractions in the functional programming world. You're likely already familiar with Functors but just didn't know it yet.

Episode 16 patrons:
Chris Krycho
Tyler Harper
George Webster

Show Notes:

Functor
    map :: (a -> b) -> f a -> f b
Bifunctor
    bimap :: (a -> b) -> (c -> d) -> f a c -> f b d
Profunctor
    dimap :: (a -> b) -> (c -> d) -> f b c -> f a d

Phil Freeman's talk on Profunctors: https://www.youtube.com/watch?v=OJtGECfksds

16: Functors

LambdaCast is a podcast about functional programming for working developers. Our focus is to describe concepts using clear everyday language without watering anything down. If you've ever been curious about FP but were turned off by the jargon or unfamiliar concepts, this is the place to be.

Thoughts, comments, critique? Send them to contact@lambdacast.com

Music is "Lively Lumpsucker" by Kevin MacLeod (incompetech.com)
Licensed under Creative Commons: By Attribution 3.0 License

Icon is a modification of "Communicator" by Juan Pablo Bravo (https://thenounproject.com/term/communicator/47500/)
Licensed under Creative Commons: By Attribution 3.0 License

Popular tracks tagged #purescript