Type-Driven Development with F#

Pluralsight

Course Summary

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 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.

Course 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.

+
Course Syllabus

Feedback from Types
- 44m 18s

—Introduction 1m 43s
—Course Outline and Prerequisites 2m 19s
—In This Module 0m 23s
—Type-Driven and Test-Driven Development 0m 56s
—If It Compiles, It Works? 0m 30s
—F# Type System 0m 50s
—Introduction to the Polling Consumer Example 3m 18s
—Demo Introduction: Capturing Time 0m 32s
—Demo: Capturing Time 8m 21s
—Demo Recap: Capturing Time 0m 38s
—Demo Introduction: Measuring Time 0m 35s
—Demo: Measuring Time 7m 2s
—Demo Recap: Measuring Time 0m 18s
—Demo Introduction: Clocks 0m 58s
—Demo: Clocks 14m 49s
—Demo Recap: Clocks 0m 20s
—Summary 0m 38s

Behavior
- 53m 2s

—Introduction 1m 25s
—Outside-In Development 1m 27s
—Help from Types 1m 35s
—Finite State Machine Recipe 1m 39s
—Polling Consumer Finite State Machine 1m 41s
—Demo Introduction: Itemizing States 0m 40s
—Demo: Itemizing States 3m 15s
—Demo Recap: Itemizing States 0m 44s
—Finite State Machine Recipe Step 1 and 2 1m 24s
—Demo Introduction: Transition from Stopped 0m 26s
—Demo: Transition from Stopped 1m 53s
—Demo Recap: Transition from Stopped 0m 25s
—Degenerate Cases 0m 41s
—Demo Introduction: Transition from No Message 0m 39s
—Demo: Transition from No Message 6m 54s
—Demo Recap: Transition from No Message 1m 39s
—Demo Introduction: Transition from Ready 0m 35s
—Demo: Making the Transition Function Compile 5m 23s
—Demo: Adding Statistics 5m 9s
—Demo: Adding a Message Handler 2m 37s
—Demo: Closing Over a Message 2m 58s
—Demo Recap: Transition from Ready 2m 21s
—Demo Introduction: Transition from Received 0m 25s
—Demo: Transition from Received 4m 42s
—Demo Recap: Transition from Received 0m 34s
—Summary 1m 38s

Implementation
- 52m 39s

—Introduction 0m 48s
—Demo Introduction: Run Function 0m 22s
—Demo: Run Function 1m 37s
—Demo Recap: Run Function 0m 23s
—Demo Introduction: Transition Function 0m 20s
—Demo: Transition Function 2m 15s
—Demo Recap: Transition Function 0m 22s
—Implementation Details 0m 53s
—Demo Introduction: Should Idle Function 0m 38s
—Demo: Should Idle Function 2m 17s
—Demo Recap: Should Idle Function 1m 7s
—Demo Introduction: Idle Function 0m 26s
—Demo: Idle Function 2m 10s
—Demo Recap: Idle Function 0m 55s
—Demo Introduction: Should Poll Function 0m 24s
—Demo: Should Poll Function 2m 34s
—Demo Recap: Should Poll Function 0m 47s
—Demo Introduction: Poll Function 0m 37s
—Demo: Poll Function 3m 51s
—Demo Recap: Poll Function 0m 33s
—Outside In 0m 36s
—Demo Introduction: Calculate Average 1m 10s
—Demo: Calculate Average 3m 23s
—Demo Introduction: Calculate Standard Deviation 0m 49s
—Demo: Calculate Standard Deviation 3m 9s
—Demo Introduction: Calculate Expected Duration 1m 11s
—Demo: Calculate Expected Duration 2m 11s
—Demo Recap: Calculate Expected Duration 0m 29s
—Demo Introduction: Composition 2m 52s
—Demo: Backwards Composition 2m 51s
—Demo: Composition by Partial Function Application 5m 39s
—Demo: Composition with Configuration Values 3m 9s
—Demo Recap: Composition 0m 36s
—Summary 1m 0s

Stabilizing Transitions
- 33m 19s

—Introduction 0m 36s
—Stabilization 1m 38s
—Property-based Testing 0m 40s
—Demo Introduction: Testing Transition from No Message 0m 41s
—Demo: Writing the First Property 5m 28s
—Demo: Custom Equality 3m 42s
—Demo: Transitioning from No Message to Ready 2m 58s
—Demo: Transitioning from No Message to Stopped 2m 9s
—Demo Recap: Testing Transition from No Message 0m 59s
—Changes in Design 0m 30s
—Demo Introduction: Testing Transition from Ready 0m 19s
—Demo: Transitioning from Ready to Stopped 3m 11s
—Demo: Transitioning from Ready to No Message 3m 21s
—Demo: Transitioning from Ready to Received Message 3m 42s
—Demo Recap: Testing Transition from Ready 1m 14s
—Properties of Single-path Functions 1m 23s
—Summary 0m 42s

Stabilizing Execution
- 38m 21s

—Introduction 0m 21s
—Demo Introduction: Testing Run Function 0m 22s
—Demo: Testing Run Function 3m 59s
—Demo Recap: Testing Run Function 0m 36s
—Demo Introduction: Deconstructing Run 1m 34s
—Demo: First Unfurl Property 5m 17s
—Demo: Second Unfurl Property 2m 58s
—Demo: Third Unfurl Property 4m 11s
—Demo Interlude: Deconstructing Run 1m 1s
—Demo: First Run Property 4m 46s
—Demo: Second Run Property 3m 25s
—Demo: Returning Statistics from Stopped 7m 5s
—Demo Recap: Deconstructing Run 0m 24s
—Start State 0m 55s
—Transition 0m 47s
—Summary 0m 32s

Finishing Touches
- 15m 6s

—Introduction 0m 29s
—Finishing Touches 0m 50s
—Demo Introduction: Compose Application 0m 19s
—Demo: Convert to Console 1m 20s
—Demo: Compose Application 3m 56s
—Demo Recap: Compose Application 0m 28s
—Demo Introduction: Report Statistics 0m 22s
—Demo: Report Statistics 4m 14s
—Demo Recap: Report Statistics 0m 21s
—Summary 2m 42s