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 webcast, 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.
Table of contents
- Title: Domain Modelling with the F# Type System
- Release date: March 2015
- Publisher(s): O'Reilly Media, Inc.
- ISBN: 9781491939758
You might also like
Expanded Edition (August 2018) Updated with Design Patterns episodes from the Clean Code series from Clean …
51+ hours of video instruction. Overview The professional programmer’s Deitel® video guide to Python development with …
Functional and Reactive Domain Modeling
Summary Functional and Reactive Domain Modeling teaches you how to think of the domain model in …
Real-World Functional Programming with Examples in F# and C#
Functional programming languages like F#, Erlang, and Scala are attracting attention as an efficient way to …