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

XAML.io with Giovanni Albani

XAML.io with Giovanni Albani

OpenSilver evolves! Carl and Richard talk to Giovanni Albani about how OpenSilver continues to help folks migrate Silverlight apps into a sustainable model not dependent on the plug-in - but now the f...

22 Okt 57min

AI in Live Broadcast with Tim Huckaby

AI in Live Broadcast with Tim Huckaby

Can AI tech work in live television broadcasts? Carl and Richard talk to Tim Huckaby about his work building Duff Foreman, an AI-powered avatar for live golf programs. Tim talks about using AI to buil...

15 Okt 1h 6min

Critter Stack Update with Jeremy Miller

Critter Stack Update with Jeremy Miller

The Critter Stack is growing! Carl and Richard talk with Jeremy Miller about the latest Critter Stack updates, including Marten, Wolverine, and more! First up is the stack's expansion with Polecat and...

7 Okt 54min

Controlling your Digital Legacy with Mattias Karlsson

Controlling your Digital Legacy with Mattias Karlsson

What happens to your digital assets after you pass away? Carl and Richard talk with Mattias Karlsson about his experience navigating the challenges of losing a friend and having to reorganize their di...

30 Sep 53min

RockBot with Rocky Lhotka

RockBot with Rocky Lhotka

How about a cloud-native AI assistant? That's RockBot! Carl and Richard talk with Rocky Lhotka about RockBot, Rocky's own variant of the OpenClaw/Hermes type personal assistant. Rocky talks about bein...

23 Sep 1h 8min

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

Populärt inom Teknik

natets-morka-sida
uppgang-och-fall
elbilsveckan
bilar-med-sladd
rss-ai-med-jonas-benjamin
vi-bilagares-podcast
market-makers
rss-snacka-om-ai
rss-laddstationen-med-elbilen-i-sverige
rss-elektrikerpodden
skogsforum-podcast
rss-technokratin
rss-veckans-ai
developers-mer-an-bara-kod
rss-uppgang-och-fall
bli-saker-podden
rss-fabriken-2
rss-en-ai-till-kaffet
rss-generativet
gubbar-som-tjotar-om-bilar