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

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(2017)

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 Loka 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 Syys 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 Syys 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 Syys 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 Syys 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 Syys 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 Elo 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 Elo 56min