Domain modelling with the F# type system
Statically typed functional programming languages like F# encourage a very different way of thinking about types. The type system can be used in many ways that might not be familiar to OO programmers.
One important way of using types is to represent a domain model 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 session, 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.
Scott (UK) has over 20 years experience in software development, design and architecture, covering all aspects of business software. He is the creator of the popular F# web site, fsharpforfunandprofit.com, and has done many F# presentations at conferences and user-groups around the world.