Simple play icon Course
Skills Expanded

Type-Driven Development with F#

by Mark Seemann

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.

What you'll learn

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.

Table of contents

About the author

Mark Seemann is a Danish programmer based in Copenhagen, Denmark. His professional interests include object-oriented development, functional programming, and software architecture, as well as software development in general. Apart from writing a book about Dependency Injection he has also written numerous articles and blog posts about related topics. Despite being a .NET programmer he takes most of his inspiration from sources across a wide range of technologies, including lots of pattern books... more

Ready to upskill? Get started