A SkillsCast for this session is not available.
The first session of the beginners track starts with 'Agebraic Types'. By the end of this session you'll be very comfortable with types an dhow they can be used for practical purposes.
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 Course on 8th - 11th March 2021)
- F# eXchange 2021 (Online Conference on 20th - 21st October 2021)
- F# for a Real World E-commerce Project (SkillsCast recorded in October 2020)
- Rethinking Bioinformatic Algorithms Using F# (SkillsCast recorded in October 2020)
Algebraic Types
Scott Wlaschin
Scott has over 20 years experience in software development, design and architecture, covering all aspects of business software.