Algebraic Types

A SkillsCast for this session is not available.

This session is based on this talk.

• Product types and sum types

interactive exercise - isFever function that handles degF and degC

interactive exercise - simple DSL for time
type TimeScale = Hour | Hours | Day | Days | Week | Weeks
type TimeDirection = Ago | Hence]

• Maybe and Either

• Single case DUs

• Simple state machines

• Designing for correctness. Make illegal states unrepresentable

interactive exercise - simple shopping cart

Handling errors with Either ("railway oriented programming") rather than exceptions interactive exercise - railway-oriented fizzbuzz

Code project: design the types for a blackjack game. Unions, tuples all over the place!

YOU MAY ALSO LIKE:

• Understanding Parser Combinators: A Deep Dive - Audience Level: Beginner (SkillsCast recorded in April 2017)
• Functional Concurrency in .NET with C# and F# with Riccardo Terrell (Online Workshop on 11th - 14th October 2022)
• F# eXchange 2022: Online (Online Conference on 25th - 26th October 2022)
• F# eXchange 2022: In-Person (in London on 25th - 26th October 2022)
• A Conceptual Introduction to Nix for Haskellers (SkillsCast recorded in November 2021)
• Haskell in the Enterprise: A Report from in the Belly of the Whale (SkillsCast recorded in November 2021)