Dining Philosophers (1/3) - Introduction

This video presents a computer science classic originally proposed by Dijkstra in 1965, namely the dining philosophers problem.

Throughout this tutorial, we borrow the mantra of type-driven development with Idris, a great and very inspiring book by Edwin Brady: The mantra is type, define, refine. In our context, this means that we will start sketching the code structure, we will test for its behavior and then we will refine it so that it meets our goals.

Видео Dining Philosophers (1/3) - Introduction канала Jelle Herold