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
Docker for Developers with Seth Lachner [not-audio_url] [/not-audio_url]

Duration: 50:07
So how does Docker change development? While at the Nebraska Code Camp, Carl and Richard chatted with Seth Lachner about his work with Docker and the impact it has had on him as a developer. Seth comes from the old schoo…
Failure Driven Development with Dustin Thostenson [not-audio_url] [/not-audio_url]

Duration: 52:23
How do you deal with failure? Carl and Richard talk to Dustin Thostenson about his experiences with failure and how they made him a better developer. The conversation starts out with a discussion of Maslow's Hierarchy of…
Being a Modern Mobile Developer with Heather Downing [not-audio_url] [/not-audio_url]

Duration: 51:46
What does it mean to be a modern mobile developer? While at the Nebraska Code Camp, Carl and Richard talked to Heather Downing about her recent dive into mobile development. In only a few years, Heather has been involved…
Debugging ASP.NET with Joel Kauffman [not-audio_url] [/not-audio_url]

Duration: 51:16
How did you learn to debug? While at the Nebraska Code Camp, Carl and Richard talked to Joel Kauffman about debugging practices. Rarely is debugging taught in classes, arguably because all school code is perfect. But cod…
State of Microsoft Web Development Panel [not-audio_url] [/not-audio_url]

Duration: 50:21
At the Nebraska Code Camp, Carl and Richard moderated a panel discussion with Mads Kristensen, Lee Brandt, Josh Broton, and Robert Boedigheimer exploring the state of web development on the Microsoft stack. Of course, th…
UX Thoughts with Danielle Cooley [not-audio_url] [/not-audio_url]

Duration: 56:48
How are you thinking about UX these days? Carl and Richard chat with Danielle Cooley about her talk at the Nebraska Code Camp around user experience, efficiency and effectiveness of design. Danielle talks about her backg…
Azure App Service with Scott Hunter [not-audio_url] [/not-audio_url]

Duration: 54:15
What's the difference between an Azure Web Site and Web App? Not at thing! Carl and Richard talk to Scott Hunter about the latest announcements from Microsoft about Azure App Service. Azure App Service brings together Az…
Accelerating Agile with Dan North [not-audio_url] [/not-audio_url]

Duration: 56:36
How do you do agile faster? Carl and Richard talk to Dan North about accelerating agile - but Dan has changed the name to Software, Faster. And even that is controversial, as Dan talks about focusing on delivering busine…
iBeacon Development with Greg Shackles [not-audio_url] [/not-audio_url]

Duration: 52:54
Where can iBeacons take you? Carl and Richard talk to Greg Shackles about some of the opportunities available using beacon devices with smartphones. While iBeacons are specifically an Apple technology, there are lots of…
PRISM update with Brian Noyes and Brian Lagunas [not-audio_url] [/not-audio_url]

Duration: 52:55
Are you building in WPF? Are you using PRISM? Carl and Richard talk to Brian Noyes and Brian Lagunas about the PRISM project, which is a set of tools for building WPF apps. As Brian Noyes says, PRISM is the AngularJS of…