- Course
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.
Intermediate
- Course
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.
Intermediate
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
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.
Type-Driven Development with F#
Intermediate
Table of contents
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.