Type-Driven Development: Designing with Types
Learn F# Algebraic Data Types (ADTs)! Create types, model domains, and catch errors at compile time. Hands-on session with Justin Hewlett & Ted Monchamp.
Course Content
Type-Driven Development: Designing with Types is a beginner-level Pluralsight course taught by Experience Summit. It runs 33m, is taught in English, and includes a certificate of completion. It is a paid course, first published February 2025.
Unlock Robust Code with Algebraic Data Types in F#
Discover how static typing can revolutionize your software development process. Learn how to model your application's domain more effectively, leading to fewer bugs and a more well-designed system. Explore the power of Algebraic Data Types (ADTs), a key feature of languages like F#, OCaml, ReasonML, Haskell, and others in the ML family.
ADTs offer a powerful way to express complex data structures with greater guarantees and in a more concise manner compared to traditional type systems found in languages like Java or C#.
In this session, Justin Hewlett and Ted Monchamp will provide a comprehensive introduction to Algebraic Data Types in F#. You'll gain hands-on experience creating types to represent a simple domain and see how defining these types can trigger compile-time errors when encountering invalid states. This proactive approach to error detection significantly improves code reliability.
No prior experience with F# or functional programming is required. This session is perfect for developers looking to enhance their skills and build more robust applications using modern type systems. Learn to leverage the benefits of static typing and ADTs to build higher-quality software.
Need a web app built? Hire the team behind TutorialSearch.io
We ship fast, production-grade full-stack apps (Next.js, React, edge infra) — the same stack that powers this site.