- Course
Type-Driven Development: Designing with Types
In this session, Justin Hewlett and Ted Monchamp will introduce the basics of Algebraic Data Types in F#, practice creating types to express a simple domain, and make invalid states trigger a compile error.
Beginner
- Course
Type-Driven Development: Designing with Types
In this session, Justin Hewlett and Ted Monchamp will introduce the basics of Algebraic Data Types in F#, practice creating types to express a simple domain, and make invalid states trigger a compile error.
Beginner
Get started today
Access this course and other top-rated tech content with one of our business plans.
Try this course for free
Access this course and other top-rated tech content with one of our individual plans.
This course is included in the libraries shown below:
- Core Tech
What you'll learn
Static types are an awesome way to model your domain in code, helping to reduce bugs and improve the design of your system. Languages from the ML family, e.g., OCaml/ReasonML, F#, Haskell, have so-called Algebraic Data Types that can express more guarantees in a more succinct way than you might be used to in a typical Java or C# type system. In this session, Justin Hewlett and Ted Monchamp will introduce the basics of Algebraic Data Types in F#, practice creating types to express a simple domain, and make invalid states trigger a compile error. No prior experience with F# or functional programming is required.
Type-Driven Development: Designing with Types
Beginner
Table of contents
Experience Summit is an annual opportunity to bring all Pluralsight Experience folks together so they can connect with, learn from, and inspire one another through talks, workshops, and shenanigans.