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
Leading Teams in the Time of AI with Andrew Murphy [not-audio_url] [/not-audio_url]

Duration: 1:01:05
Artificial Intelligence is changing how software development happens - how is your team coping? Carl and Richard talk to Andrew Murphy about his work leading teams struggling with AI tools. Andrew talks about Nolan Lawso…
Making Reliable Software in 2026 with Damian Brady [not-audio_url] [/not-audio_url]

Duration: 1:01:00
It's always been challenging to make reliable software - is AI making it worse or better? Carl and Richard talk to Damian Brady about his experiences building software with AI tools and trying to bring that software up t…
Making Reliable Software in 2026 with Damien Brady [not-audio_url] [/not-audio_url]

Duration: 1:00:43
It's always been challenging to make reliable software - is AI making it worse or better? Carl and Richard talk to Damien Brady about his experiences building software with AI tools and trying to bring that software up t…
The Role of AI in Secure Software with Ben Dechrai [not-audio_url] [/not-audio_url]

Duration: 59:53
How does Artificial Intelligence impact our approach to building secure software? Carl and Richard talk to Ben Dechrai about his experiences working with AI tooling and building AI apps, and how that impacts security. Be…
The Role of AI in Secure Software with Ben Dechrai [not-audio_url] [/not-audio_url]

Duration: 1:00:00
How does Artificial Intelligence impact our approach to building secure software? Carl and Richard talk to Ben Dechrai about his experiences working with AI tooling and building AI apps, and how that impacts security. Be…
.NET Source Generators with Jason Bock [not-audio_url] [/not-audio_url]

Duration: 52:53
Why would you write code to generate code? Carl and Richard talk with Jason Bock about his experiences using modern .NET source generators to optimize certain aspects of applications. Jason talks about treading carefully…
.NET Source Generators with Jason Bock [not-audio_url] [/not-audio_url]

Duration: 53:00
Why would you write code to generate code? Carl and Richard talk with Jason Bock about his experiences using modern .NET source generators to optimize certain aspects of applications. Jason talks about treading carefully…
Aspire in 2026 with Maddy Montaquila [not-audio_url] [/not-audio_url]

Duration: 1:00:00
What's coming for Aspire in 2026? Carl and Richard talk to Maddy Montaquila about her work as the product manager for Aspire, the tool that helps you build cloud-native, distributed applications in any language and on an…
Aspire in 2026 with Maddy Montaquila [not-audio_url] [/not-audio_url]

Duration: 59:48
What's coming for Aspire in 2026? Carl and Richard talk to Maddy Montaquila about her work as the product manager for Aspire, the tool that helps you build cloud-native, distributed applications in any language and on an…
MAUI in 2026 with Gerald Versluis [not-audio_url] [/not-audio_url]

Duration: 58:00
What's happening with MAUI today? Carl and Richard talk to Gerald Versluis about the latest version of MAUI - and what's coming next! Gerald talks about the release of .NET 10 and the new features that have come to MAUI,…