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)
- Functional Concurrency in .NET with C# and F# with Riccardo Terrell (Online Course on 28th June - 1st July 2021)
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Software Architecture Gathering Digital 2021 (Online Conference on 13th - 14th October 2021)
- F# eXchange 2021 (Online Conference on 20th - 21st October 2021)
- LDN *Virtual* Talks Jun 2021 — Concordium Takeover (Online Meetup on 28th June 2021)
- Tooling Up! - Contract testing with Pact (Online Meetup on 7th July 2021)
- Patterns for a Successful Cloud Native Transformation (SkillsCast recorded in June 2021)
- Keynote: Moving House (SkillsCast recorded in June 2021)