Haskell for Imperative Programmers #31 - Weak Head Normal Form

In this video we are going to discuss the weak head normal form.

Interesting reading:
https://en.wikipedia.org/wiki/Graph_reduction
https://en.wikibooks.org/wiki/Haskell/Graph_reduction
https://en.wikipedia.org/wiki/Lambda_calculus_definition

Timestamps:
00:00 - Reductions
03:44 - Sharing
05:10 - Graph Reduction
05:58 - Normal Form
07:46 - Weak Head Normal Form
13:43 - Demonstration

Support me on Ko-fi:
https://ko-fi.com/phagenlocher

Видео Haskell for Imperative Programmers #31 - Weak Head Normal Form канала Philipp Hagenlocher