Please log in to watch this conference skillscast.

Type-driven development is a programming style where you write types first and use them to guide the definition of functions in your program. Scala is particularly well suited to it because of its powerful type system. Cats lets you take Scala and type-driven development even further by expressing side effecting operations as types.

During this talk, you will learn how to create a web service using Akka HTTP and Cats' Free, IO, Writer and Reader monads. The aim is to clearly delimit pure and impure code such that the former can be unit tested and reasoned about whilst the latter can be minimized.

The talk will have three parts. The first will show how to 'free' an Algebraic Data Type (ADT) that describes side effecting operations using the Free monad and an interpreter. The second part will introduce the IO monad and demonstrate how it lets you be both lazy and explicit when dealing with asynchronous operations. And in the final part, we will explore how to use the Reader and Writer monads to read configuration and write logs without sacrificing purity.

YOU MAY ALSO LIKE:

• Reactive in practice: web services with Scala and AWS (SkillsCast recorded in December 2015)
• Jenny Martin's BDD From Start to Finish - Successful Delivery through Continuous Collaboration (in London on 24th - 26th June 2019)
• Modern development with Java (in London on 15th - 17th July 2019)
• SC London 2019 (Software Craftsmanship London) (in London on 3rd - 4th October 2019)
• Haskell eXchange 2019 (in London on 10th - 11th October 2019)
• Keynote by Dick Wall on Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (in London on 24th June 2019)
• London Java Community June (in London on 25th June 2019)
• The Elements of Tagless Final Style (SkillsCast recorded in May 2019)
• Scala 2.13 and Beyond! (SkillsCast recorded in April 2019)