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(2014)

Post-Quantum Crypto with Michael Howard

Post-Quantum Crypto with Michael Howard

Whether quantum computers are around the corner or not, the message is clear: the time for post-quantum cryptography is coming fast. Carl and Richard talk to Michael Howard about Microsoft's efforts t...

16 Sep 1h 5min

Numerics.NET with Jeffrey Sax

Numerics.NET with Jeffrey Sax

So what can numerics do for you? Carl and Richard talk to Jeffrey Sax about his work building Numerics.NET, a collection of general-purpose mathematical and statistical classes built for .NET. Jeffrey...

9 Sep 1h 5min

Constraining Agents for Software Development with Don Demcsak

Constraining Agents for Software Development with Don Demcsak

How can constraints make software development assistants more efficient? Carl and Richard talk to Don Demcsak about his work on getting LLMs to build higher-quality software with fewer resources. Don ...

2 Sep 1h

Arguing about AI with Billy Hollis

Arguing about AI with Billy Hollis

Ready for a rant? Carl and Richard talk to Billy Hollis about the impact of artificial intelligence on software development. The conversation starts with a listener comment about going all-in on AI to...

26 Aug 1h 3min

Beside, Inside, and Outside AI with Chad Michel

Beside, Inside, and Outside AI with Chad Michel

What's the best way to interact with an LLM in applications? Carl and Richard talk to Chad Michel about the evolving user interface to large language models. Chad recalls Build 2023, where Technical F...

20 Aug 56min

OpenClaw with David Guttman

OpenClaw with David Guttman

What can OpenClaw do for you? Carl and Richard talk to David Guttman about his work on OpenClaw, and helping others be successful with it.OpenClaw was one of the first personal agents released and has...

12 Aug 57min

Catching Up with Shawn Wildermuth

Catching Up with Shawn Wildermuth

What's Shawn been up to lately? Carl and Richard chat with Shawn Wildermuth about his work in the Netherlands. Shawn talks about his last show on being a senior developer - and how much that has chang...

5 Aug 55min

Identity is Hard with Michele Bustamante

Identity is Hard with Michele Bustamante

Identity is hard, and getting harder! Carl and Richard talk to Michele Bustamante about the evolution of authentication and authorization in the current landscape. Michele talks about finding apps at ...

30 Juli 1h 3min

Populärt inom Teknik

uppgang-och-fall
elbilsveckan
bilar-med-sladd
market-makers
rss-elektrikerpodden
rss-laddstationen-med-elbilen-i-sverige
skogsforum-podcast
rss-ai-med-jonas-benjamin
rss-veckans-ai
rss-en-ai-till-kaffet
bli-saker-podden
rss-technokratin
natets-morka-sida
rss-uppgang-och-fall
rss-sakerhetspodcasten
rss-it-sakerhetspodden
developers-mer-an-bara-kod
solcellskollens-podcast
gubbar-som-tjotar-om-bilar
under-femton