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.
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.
Author Name: Experience Summit
Author Description:
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.
Table of Contents
- Type-Driven Development: Designing with Types
33mins
User Reviews
Be the first to review “Type-Driven Development: Designing with Types”
Related Products
Introduction to Shell
The Unix command line helps users combine existing programs in new ways, automate repetitive tasks, and run programs on clusters and clouds.
Data Types in Python
Consolidate and extend your knowledge of Python data types such as lists, dictionaries, and tuples, leveraging them to solve Data Science problems.
Introduction to APIs in Python
Dive into the exciting world of APIs as we introduce you to the basics of consuming and working with Web APIs using Python.
Intermediate Python
Level up your data science skills by creating visualizations using Matplotlib and manipulating DataFrames with pandas.
Software Engineering Principles in Python
Learn about modularity, documentation, and automated testing to help you solve data science problems more quickly and reliably.
Regular Expressions in Python
Learn about string manipulation and become a master at using regular expressions.
There are no reviews yet.