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

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(1997)

Using AI to Measure Quality of AI with Vishwas Lele

Using AI to Measure Quality of AI with Vishwas Lele

Large Language Models can generate a lot of text - but is it any good? Carl and Richard talk to Vishwas Lele about his ongoing efforts at pWin.ai to build tools for responding to government RFPs. Vish...

21 Mai 58min

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 Mai 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 Mai 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

Populært innen Teknologi

lydartikler-fra-aftenposten
romkapsel
teknisk-sett
tomprat-med-gunnar-tjomlid
energi-og-klima
teknologi-og-mennesker
shifter
nasjonal-sikkerhetsmyndighet-nsm
elektropodden
rss-heis
rss-for-alarmen-gar
rss-ai-forklart
smart-forklart
hans-petter-og-co
fornybaren
pedagogisk-intelligens
rss-vi-leser-dommer-om-personvern
rss-alt-vi-kan
rss-a-entelios-poden
rss-trippel-bunnlinje