Type-Driven Development in Practice: Cats and Akka HTTP

Please log in to watch this conference skillscast.

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)
• YOW! Lambda Jam 2022 (Online Conference on 1st - 30th May 2022)
• Steve Poole presents Log4Shell : Armageddon or Opportunity? (Online Meetup on 26th January 2022)
• Not My Type (SkillsCast recorded in November 2021)
• Accessibility Testing: Why and How to Involve People with Disabilities (SkillsCast recorded in October 2021)