Type-Driven Development with F#

Learn how to use the superior type system of F# to get rapid feedback on your design, how to rapidly evolve a prototype, and how to produce a final product based on the knowledge learned from creating the prototype.
Course info
Rating
(66)
Level
Intermediate
Updated
July 17, 2015
Duration
3h 56m
Table of contents
Behavior
53m 2s
Implementation
52m 39s
Description
Course info
Rating
(66)
Level
Intermediate
Updated
July 17, 2015
Duration
3h 56m
Description

Learn how to use the strong type system of F# to your advantage – not only to check for correctness, but also in iterative development with short feedback cycles. You can use the type system to get rapid feedback about design ideas and implementation details, but also to get guidance on what to do next. Due to F#’s strong type inference, the type system of the language can be used in ways not available in C#, Java, or similar strongly typed languages. Learn how to combine the safety of static typing with the ease of development typically only offered by dynamically typed languages. The combination though, is even stronger than the mere sum of its parts.

About the author
About the author

Mark Seemann is the author of Dependency Injection in .NET and the inventor of AutoFixture. He is a professional programmer and software architect living in Copenhagen, Denmark, and currently an independent advisor. He enjoys reading, drawing, playing the guitar, good wine, and gourmet food.

More from the author
Test-Driven Development with F#
Intermediate
2h 17m
6 May 2015
Introduction to Property-based Testing with F#
Intermediate
1h 34m
17 Apr 2015
Unit Testing with F#
Beginner
1h 32m
31 Mar 2015
More courses by Mark Seemann