addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Scott Wlaschin - Domain modelling with the F# type system

Beginners: code will be available on github.

Non-beginners: feel free to follow along with your laptops.

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.

Drinks + Food provided

Join or login to comment.

  • Enrico G.

    Great meetup! Very instructive and accessible.

    1 · June 24, 2015

  • lucas b.

    Convincing intro to algebraic data types - A basic feature of F# which I personally tend to neglect too often but whose benefits were nicely advocated. I think I'll get "Make illegal states un-representable" carved somewhere. Beer, pizza and company were not bad either.

    1 · June 23, 2015

  • Mark G.

    Thanks to everyone who came it was a great evening I really enjoyed the talk.

    June 23, 2015

  • Dave C.

    Really enjoyable evening.. The and and or type concept really helped me understand the type system in f sharp. Looking forward to the next one.

    1 · June 23, 2015

  • Milosz K.

    Great talk. A even though I knew this one (from NDC) there were some new "aha moments" and a lot of nodding.

    2 · June 22, 2015

  • Alastair S.

    Gutted I can't make this :-(

    May 9, 2015

    • Mark G.

      Why what's stopping you :(

      May 10, 2015

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy