Repository files navigation

This course/tutorial was created with purpose to better understand functional programming idioms using Scala language.It covers type classes, monoids, functors, applicatives, monads, traversable/foldable, monad transformers, free monad.
Material is structured as set of stub/unimplemented functions/classes and tests for them.Your objective is to make all unit tests green. It is learn-by-doing course.

NICTA course was a great and interesting challenge for me to do in Haskell.I think Scala community will benefit from the similar course.

The material in here is quite poor on theoretical/explanation part.I have tried to link material from other authors that I have found to be good into this course Readme to compensate for this.Some prior experience with functional idioms is recommended, but not necessary.

Just git clone this repository and follow steps in progression section.You can use any IDE and verify your results usingsbt test.For me intellij works best - you can easily run individual tests out of it.In case if you got stuck - check answers branch.

It is important to keep the progression - a lot of things depend on each other.Implementing something = making all tests green for that thing.

• Observe general type class pattern inlearnfp/typeclass/TypeClass.scala.
• Implementlearnfp/typeclass/TotalOrder.scala
• Implementlearnfp/typeclass/Show.scala
• Implementlearnfp/typeclass/Eq.scala
• Extra material:
  • https://blog.scalac.io/2017/04/19/typeclasses-in-scala.html

• Observe general monoid pattern inlearnfp/monoid/Monoid.scala
• Implementlearn-fp/src/main/scala/learnfp/monoid/ListMonoid.scala
• Implementlearn-fp/src/main/scala/learnfp/monoid/SimpleMonoid.scala
• Implementlearnfp/monoid/PairAdditiveMonoid.scala
• Extra material:
  • Bartosz Milewski: Category Theory 3.1: Examples of categories, orders, monoids

• Observe general functor pattern inlearnfp/functor/Functor.scala
• Implementlearnfp/functor/Id.scala
• Implementlearnfp/functor/Maybe.scala
• Implementlearnfp/functor/List.scala
• Implementlearnfp/functor/Disjunction.scala
• Implementlearnfp/functor/Writer.scala
• Implementlearnfp/functor/State.scala
• Extra material:
  • http://learnyouahaskell.com/functors-applicative-functors-and-monoids
  • https://thedet.wordpress.com/2012/04/28/functors-monads-applicatives-can-be-so-simple/
  • Bartosz Milewski: Category Theory 6.1: Functors

• Observe general monad pattern inlearnfp/monad/Monad.scala
• Implementlearnfp/monad/Id.scala
• Implementlearnfp/monad/Maybe.scala
• Implementlearnfp/monad/List.scala
• Implementlearnfp/monad/Disjunction.scala
• Implementlearnfp/monad/Writer.scala
• Implementlearnfp/monad/State.scala
• Extra material
  • Brian Beckman: Don't fear the Monad
  • http://eed3si9n.com/learning-scalaz/Monad+transformers.html

• Implement foldable inlearnfp/foldable/Foldable.scala

• Observe general applicative pattern inlearnfp/applicative/Applicative.scala
• Implementlearnfp/applicative/Id.scala
• Implementlearnfp/applicative/Maybe.scala
• Implementlearnfp/applicative/List.scala
• Implementlearnfp/applicative/Disjunction.scala
• Implementlearnfp/applicative/Writer.scala
• Implementlearnfp/applicative/State.scala
• Extra material
  • https://en.wikibooks.org/wiki/Haskell/Applicative_functors
  • http://eed3si9n.com/learning-scalaz/Applicative.html

• Implementlearnfp/traversable/Traversable.scala

• Implementlearnfp/nested/Nested.scala

• Implementlearnfp/io/IO.scala

• Observe general monad transformer typeclass inlearnfp/transformer/MonadTransformer.scala
• Implementlearnfp/transformer/IdT.scala
• Implementlearnfp/transformer/MaybeT.scala
• Implementlearnfp/transformer/WriterT.scala
• Implementlearnfp/transformer/StateT.scala
• Extra material:
  • http://eed3si9n.com/learning-scalaz/Monad+transformers.html

• Implementlearnfp/free/Free.scala and pass all unit tests inlearn-fp/src/test/scala/learnfp/free/FreeTest.scala
• Extra material:
  • http://blog.krobinson.me/posts/monads-part-2-the-free-monad/
  • https://underscore.io/blog/posts/2015/04/14/free-monads-are-simple.html

• Observe general contravariant functor pattern inlearnfp/contravariant/ContravariantFunctor.scala
• Implementlearnfp/contravariant/Show.scala
• Implementlearnfp/contravariant/Predicate.scala

• Observe general comonad pattern inlearnfp/comonad/CoMonad.scala
• Implementlearnfp/comonad/Id.scala
• Implementlearnfp/comonad/Env.scala

• Implement Reader functor, monad, applicative and write unit tests for that
• Implement ReaderT and write unit tests for that
• Implement applicative for monad transformers
• Implement applicative for Free

• Reader/ReaderT
• Eff

In case if find a bug/issue - please report it tohttps://github.com/dehun/learn-fp/issues or e-mail me onyuriy.netesov@gmail.com
You also are very welcome to create PR.

• Yuriy Netesov - initial implementation
• Extra material references are owned by other authors