How do you make a function total?

19/12/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!

Otros episodios de "The Eric Normand Podcast"

All about the stratified design lens
25/9/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
19/9/2023
10:36
In this episode, I introduce the time lens, and I posit a law about representing time in complex domains.
No te pierdas ningún episodio de “The Eric Normand Podcast”. Síguelo en la aplicación gratuita de GetPodcast.
All about the volatility lens
11/9/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
31/7/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
24/7/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
10/7/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
3/7/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
26/6/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
19/6/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?
12/6/2023
23:25
In this episode, I compare executable specifications to UML, DDD, and software design.

Más episodios

Descubre los mejores podcast en la aplicación gratuita de GetPodcast.

Suscríbete a tus podcast favoritos, escucha episodios cuando estés sin conexión y déjate sorprender por las recomendaciones personalizadas.

How do you make a function total?

The Eric Normand Podcast

Otros episodios de "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?