Property-Based Testing using F# with Mark Seemann

Property-Based Testing using F# with Mark Seemann

Author: Carl Franklin and Richard Campbell October 20, 2015 Duration: 57:02
Ever heard of property-based testing? Carl and Richard talk to Mark Seemann about doing property-based testing with F#. As Mark explains, functional programming techniques work especially well for property-based testing, allowing you to define parameters (properties) that will generate ranges of values to test against. The conversation digs into tooling, specifically FsCheck, an open source library for doing property-based testing in F#. If you'd rather work in C#, Mark's project AutoFixture can do similar work in that language. But Mark talks up the advantages of F# from a functional perspective, creating very terse, easy to read tests. Check it out!

Support this podcast at — https://redcircle.com/net-rocks/donations

Hosted by Carl Franklin and Richard Campbell, .NET Rocks! is a long-running conversation with the people building the future of software. This isn't a dry lecture; it's a lively, technical deep dive where two seasoned developers explore the vast ecosystem around Microsoft .NET, Azure, and modern development practices with a diverse roster of expert guests. Each episode feels like you're pulling up a chair in a room full of brilliant minds, listening to unfiltered discussions about real-world coding challenges, architectural patterns, and the tools that shape our daily work. You'll hear practical advice, war stories from the trenches, and forward-looking insights that go far beyond the documentation. Tuning into this podcast means connecting with a community of professionals who are as passionate about the craft as you are, offering perspectives that can transform how you approach your next project. Whether you're deep into C# or just curious about cloud-native development, these conversations provide a valuable blend of knowledge, humor, and genuine enthusiasm for technology.
Author: Language: English Episodes: 1000

.NET Rocks!
Podcast Episodes
The Azure Platform Landscape with Barry Luijbregts [not-audio_url] [/not-audio_url]

Duration: 58:32
There's a lot of stuff in Azure - how to sort through it all? While at NDC in Oslo, Carl and Richard talk to Barry Luijbregts about the huge array of features that exist in the Azure Platform-as-a-Service offerings. Barr…
The Evolution of Serilog with Nicholas Blumhardt [not-audio_url] [/not-audio_url]

Duration: 53:23
Is there more to logging? Yes! While at NDC in Oslo, Carl and Richard talked to Nicholas Blumhardt about his long running logging project called Serilog. Calling back to the earlier .NET Rocks episode on Serilog (2014!),…
MSBuild with Daniel Plaisted [not-audio_url] [/not-audio_url]

Duration: 47:39
MS Build is cooler than you think! While at NDC Oslo, Carl and Richard sat down with Daniel Plaisted to talk about the latest version of MS Build. But first, a quick conversation about the situation around the reversion…
Azure Cosmos DB with Josh Lane [not-audio_url] [/not-audio_url]

Duration: 55:09
Are you ready to go into the cosmos? With apologies to the late Carl Sagan, let's talk about Cosmos DB! While at NDC in Oslo, Carl and Richard talked to Josh Lane about Cosmos DB which was first announced at the Build co…
.NET Summer Hackfest with Jon Galloway [not-audio_url] [/not-audio_url]

Duration: 53:06
It's summer in the northern hemisphere, are you ready to get hacking? Carl and Richard chat with the new executive director of the .NET Foundation, Jon Galloway. The conversation starts out talking about the Foundation i…
GraphQL with Steve Faulkner [not-audio_url] [/not-audio_url]

Duration: 52:28
How do you make your APIs accessible to everyone? While at NDC is Oslo, Carl and Richard talk to Steven Faulkner about GraphQL, a Facebook open source project for exposing your APIs in a type-safe JSON-like approach. Ste…
ASP.NET Core 2.0 with Damian Edwards and David Fowler [not-audio_url] [/not-audio_url]

Duration: 49:24
Core 2 is coming - are you ready? While at NDC Oslo, Carl and Richard talked to the amazing duo of Damian Edwards and David Fowler about the rapidly approaching release of Core 2. Expectations are huge, but Damian and Da…
TypeScript and Beyond with Anders Hejlsberg [not-audio_url] [/not-audio_url]

Duration: 54:12
The father of C# and TypeScript drops by for a visit! While at Build in Seattle, Carl and Richard talked to the one-and-only Anders Hejlsberg about his work on C# and more recently, TypeScript. Anders in his inevitable s…
Windows Containers with Steve Lasker [not-audio_url] [/not-audio_url]

Duration: 46:33
How are containers coming along in the Windows world? Carl and Richard talk to Steve Lasker about his work making containers easy to use from within Visual Studio. Most work on containers has been around Linux, but when…
The .NET Renaissance with Ian Cooper [not-audio_url] [/not-audio_url]

Duration: 58:54
After years of waning, .NET is on the rise - is it time for a renaissance? Ian Cooper says yes! The first of the NDC Oslo shows for 2017 starts out focused on a blog post that Ian published in February 2017 calling for a…