A SkillsCast for this session is not available.

Statically typed functional programming languages like F# encourage a very different way of thinking about types. The type system is your friend, not an annoyance, and can be used in many ways that might not be familiar to OO programmers.

Types can be used to represent the domain in a fine-grained, self documenting way. And in many cases, types can even be used to encode business rules so that you literally cannot create incorrect code. You can then use the static type checking almost as an instant unit test — making sure that your code is correct at compile time.

In this talk, we'll look at some of the ways you can use types as part of a domain driven design process, with some simple real world examples in F#. No jargon, no maths, and no prior F# experience necessary.

YOU MAY ALSO LIKE:

• Understanding Parser Combinators: A Deep Dive - Audience Level: Beginner (SkillsCast recorded in April 2017)
• F# eXchange 2020 (Online Conference on 21st October 2020)
• Haskell eXchange 2020 (Online Conference on 3rd - 4th November 2020)
• London Calling (Online Meetup on 24th September 2020)
• Intro to OCaml (SkillsCast recorded in June 2020)
• What’s New in .NET Core 3.0 and .NET 5.0 for Performance and Memory-Aware Folks? (SkillsCast recorded in October 2019)