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
Building Cloud Redundancy with Vishwas Lele [not-audio_url] [/not-audio_url]

Duration: 58:55
How do you get better uptime than the cloud? Two clouds! Carl and Richard talk to Vishwas Lele about his experiences building ultra-reliable applications, both on-premises and in the cloud. The discussion digs into the d…
Banish your Inner Critic with Denise Jacobs [not-audio_url] [/not-audio_url]

Duration: 56:14
Banish Your Inner Critic! Carl and Richard talk to Denise Jacobs about her new book on creativity. And yes, we're all creative, we just have to get that inner critic under control. Denise talks about her own battles with…
Security Nightmares with Troy Hunt [not-audio_url] [/not-audio_url]

Duration: 53:40
Troy is back, put on your tinfoil hat and get under the bed! Carl and Richard talk to Troy Hunt about the latest security exploits going around. Ransomware is hitting new highs, where a user's files get encrypted via mal…
Ditching the Hourly Crusade with Jonathan Stark [not-audio_url] [/not-audio_url]

Duration: 59:11
Ready to get off the hourly treadmill? Carl and Richard talk to Jonathan Stark about ditching the hourly crusade. Jon talks about the fact that software development really isn't an hourly business - you don't provide val…
Azure Functions with Yochay Kiriaty [not-audio_url] [/not-audio_url]

Duration: 1:00:23
What can Azure functions do for you? Carl and Richard talk to Yochay Kiriaty about his work creating Azure Functions as part of the App Service Platform for Azure. Azure Functions get you focused on just building code, t…
Hypersonic Vehicles Geek Out [not-audio_url] [/not-audio_url]

Duration: 1:00:18
How fast can you go through the air? Time for a Geek Out! Richard chats with Carl about the challenges of flying in the hypersonic regime - above Mach 5! Lots of experiments were done in the early days of the space race,…
Enterprise Angular and Azure with John Papa [not-audio_url] [/not-audio_url]

Duration: 53:04
Is Angular ready for the enterprise? Carl and Richard talk to John Papa about the latest version of Angular and it's applicability in every day enterprise development. John discusses how the fast-moving updates of open s…
Deploying Apps using Chef with Robb Schiefer [not-audio_url] [/not-audio_url]

Duration: 57:42
How do you deploy software? Carl and Richard talk to Robb Schiefer about his experiences using Chef to do application deployment. Chef comes from the open source Linux world, and is free to use with a pay option when you…
Serverless Azure with Jeff Hollan [not-audio_url] [/not-audio_url]

Duration: 53:14
Azure with no servers? Carl and Richard talk to Jeff Hollan about Azure's Serverless offerings. The idea is to stop worrying about virtual machines and operating systems and focus on the stuff you really need. Jeff talks…
The Evolution of Software Development Careers with Erik Dietrich [not-audio_url] [/not-audio_url]

Duration: 51:25
How are software careers changing? Carl and Richard talk to Erik Dietrich about his new book, Developer Hegemony. Erik digs into the struggles that many developers have with the typical large enterprise, where software d…