How do you make a function total?

12/19/2022

The Eric Normand Podcast

0:00

12:06

It is easier to reason about total functions. And you can make any pure function total using three techniques!

More episodes from "The Eric Normand Podcast"

All about the stratified design lens
9/25/2023
12:24
In this episode, I introduce the stratified design lens, which talks about how and why we split things into layers.
All about the time lens
9/19/2023
10:36
In this episode, I introduce the time lens, and I posit a law about representing time in complex domains.
Don't miss an episode of “The Eric Normand Podcast” and subscribe to it in the GetPodcast app.
All about the volatility lens
9/11/2023
18:28
In this episode, I introduce the volatility lens, which seeks to help us write code that deals with a changing world.
All about the architecture lens
7/31/2023
24:20
In this episode, I introduce the architecture lens, its questions, and its goal of modeling architectural domains to manage complexity.
All about the executable specification lens
7/24/2023
15:18
In this episode, I introduce the executable specification lens, its questions, and its goal of getting to runnable, testable code as quickly as possible.
All about the composition lens
7/10/2023
13:44
In this episode, I introduce the composition lens, its questions, and its goal of figuring what's true when you perform multiple operations in a row.
All about the operation lens
7/3/2023
19:40
In this episode, I introduce the operation lens, its questions, and its goal of capturing the use cases of your software.
Data lens
6/26/2023
23:18
In this episode, I introduce the data lens, its questions, and its goals of capturing relationships among data values in data.
All about the domain lens
6/19/2023
19:54
In this episode, I introduce the domain lens, its questions, and its goal.
How does executable specifications compare with other modeling paradigms?
6/12/2023
23:25
In this episode, I compare executable specifications to UML, DDD, and software design.

More Episodes

Get the whole world of podcasts with the free GetPodcast app.

Subscribe to your favorite podcasts, listen to episodes offline and get thrilling recommendations.

How do you make a function total?

The Eric Normand Podcast

More episodes from "The Eric Normand Podcast"

All about the stratified design lens

All about the time lens

All about the volatility lens

All about the architecture lens

All about the executable specification lens

All about the composition lens

All about the operation lens

Data lens

All about the domain lens

How does executable specifications compare with other modeling paradigms?