Property-Based Testing using F# with Mark Seemann
.NET Rocks!20 Loka 2015

Property-Based Testing using F# with Mark Seemann

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

Jaksot(1980)

Audio-Video in .NET with Elias Puurunen

Audio-Video in .NET with Elias Puurunen

Can you integrate performant audio-video into your .NET application? Carl and Richard talk to Elias Puurunen about his work at Tractus Events, where he uses the NDI protocols to bring real-time audio ...

16 Huhti 20251h 6min

Agentic AI in .NET with Spencer Schneidenbach

Agentic AI in .NET with Spencer Schneidenbach

Ready to build an agentic AI in .NET? Carl and Richard talk to Spencer Schneidenbach about his work using large language models to enhance customer interactions in healthcare. Spencer discusses using ...

10 Huhti 202555min

Measuring LLMs with Jodie Burchell

Measuring LLMs with Jodie Burchell

How do you measure the quality of a large language model? Carl and Richard talk to Dr. Jodie Burchell about her work measuring large language models for accuracy, reliability, and consistency. Jodie t...

3 Huhti 20251h

Javascript Promises with Martine Dowden

Javascript Promises with Martine Dowden

What are JavaScript promises, and why do you want to make them? Carl and Richard talk to Martine Dowden about all the various async options available in Javascript today, including Callbacks, Promises...

27 Maalis 202553min

.NET Aspire 9.1 with Rob Richardson

.NET Aspire 9.1 with Rob Richardson

What's the latest with .NET Aspire? Carl and Richard talk to Rob Richardson about his experiences with .NET Aspire to help build great .NET cloud apps. Rob talks about all the goodness that comes out ...

20 Maalis 202556min

Automapper V14 with Jimmy Bogard

Automapper V14 with Jimmy Bogard

Seventeen years of Automapper! Carl and Richard talk to Jimmy Bogard about his latest version of Automapper - and the challenge of maintaining a long-lived and much-loved open-source library! Jimmy ta...

13 Maalis 202554min

React in 2025 with Aurora Scharff

React in 2025 with Aurora Scharff

React version 19 has been released! Carl and Richard talk to Aurora Scharff about the long-awaited version of React that incorporates React Server Components and many other features. Aurora talks abou...

6 Maalis 202550min

Vertical Slice Architecture with Jeremy Miller

Vertical Slice Architecture with Jeremy Miller

How can vertical architecture help you? Carl and Richard talk to Jeremy Miller about using vertical architecture to help build applications quickly and reliably. Jeremy talks about resisting the over-...

27 Helmi 202554min