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.
YOU MAY ALSO LIKE:
- Understanding Parser Combinators: A Deep Dive - Audience Level: Beginner (SkillsCast recorded in April 2017)
- FP in Kotlin with Arrow with Jorge Castillo (Online Course on 20th - 23rd September 2021)
- Design Patterns in Action — Full‑Day Workshop [SAG Digital 2021] (Online Course on 11th October 2021)
- Software Architecture Gathering Digital 2021 (Online Conference on 13th - 14th October 2021)
- F# eXchange 2021 (Online Conference on 20th October 2021)
- Accessibility Testing: Why and How to involve People with Disabilities (Online Meetup on 28th October 2021)
- Formal Verification of Subsets of the Rust Language (SkillsCast recorded in June 2021)
- Patterns for a Successful Cloud Native Transformation (SkillsCast recorded in June 2021)