Property-Based Testing using F# with Mark Seemann
.NET Rocks!20 Okt 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

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(1996)

Use What Works with Dylan Beattie

Use What Works with Dylan Beattie

Use What Works! Carl and Richard talk to Dylan Beattie about the Use What Works movement, encouraging developers to use well-maintained open-source projects available today rather than rolling their o...

14 Maj 56min

.NET Nanoframework with José Simões

.NET Nanoframework with José Simões

Ready to go nano? Carl and Richard talk to José Simões about the open source .NET nanoFramework - a community-driven project to provide .NET for embedded systems. José talks about the evolution from t...

6 Maj 55min

Episode 2000!

Episode 2000!

Recorded live at the Tavern Hall in Bellevue during the Party with Palermo for the MVP Summit, it's episode 2000! Carl and Richard take questions from the audience and play clips from past guests and ...

30 Apr 1h 38min

How We Beat the Y2K Bug

How We Beat the Y2K Bug

The Y2K bug turned out to be a non-event on January 1, 2000. How did that happen? Carl and Richard bring together a number of stories from folks who were there, fixing the software and updating system...

23 Apr 48min

How AI Changes Development with Rob Conery

How AI Changes Development with Rob Conery

How are LLMs changing software development? Carl and Richard talk to Rob Conery about his experiences as a consultant bringing the new AI tools and techniques into companies. Rob talks about focusing ...

15 Apr 58min

Agentic RAG with Ed Charbeneau

Agentic RAG with Ed Charbeneau

How do you make your agents more knowledgeable about your company data? Carl and Richard talk to Ed Charbeneau about Progress Agentic RAG-as-a-Service, using NucliaDB as a vector data store to organiz...

8 Apr 1h 4min

ASP.NET Core in 2026 with Daniel Roth

ASP.NET Core in 2026 with Daniel Roth

ASP.NET Core continues to evolve in 2026! Carl and Richard talk to Daniel Roth about all the goodness in the ASP.NET Core space, including MVC, Razor, and Blazor! Daniel talks about the publicly visib...

2 Apr 1h

Coding for Security with Chris Ayers

Coding for Security with Chris Ayers

What does secure coding look like today? Carl and Richard talk to Chris Ayers about the MITRE ATT&CK matrix, a comprehensive breakdown of the tactics, techniques, and procedures black hats use to expl...

25 Mars 52min

Populärt inom Teknik

uppgang-och-fall
elbilsveckan
market-makers
rss-elektrikerpodden
bilar-med-sladd
natets-morka-sida
rss-laddstationen-med-elbilen-i-sverige
rss-powerboat-sverige-podcast
rss-veckans-ai
rss-technokratin
har-vi-akt-till-mars-an
bli-saker-podden
rss-it-sakerhetspodden
skogsforum-podcast
developers-mer-an-bara-kod
hej-bruksbil
rss-uppgang-och-fall
rss-fabriken-2
rss-snacka-om-ai
rss-en-liten-podd-om-it