Skip to content
Hallway
0:00 / 0:00

#weakheadnormalform#lazyevaluation#graphreduction

Haskell for Imperative Programmers #31 - Weak Head Normal Form

Philipp Hagenlocher

11K subscribers • 2 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Philipp Hagenlocher

Intermediate. Assumes working knowledge.

9.2K views6 years ago1 recommendation

Programming languagesSystems programmingHaskellPerformance and optimizationMemory management

Philipp Hagenlocher explains graph reduction, normal form, and weak head normal form in Haskell.

In this video we are going to discuss the weak head normal form. Interesting reading: en.wikipedia.org/wiki/Graph_reduction en.wikibooks.org/wiki/Haskell/Graph_reduction en.wikipedia.org/wiki/Lambda_calculus_definition Timestamps: - Reductions - Sharing - Graph Reduction - Normal Form - Weak Head Normal Form - Demonstration Support me on Ko-fi: ko-fi.com/phagenlocher

Why it's here

1 person recommends this

What people say. Recommended as a helpful resource for understanding Haskell's evaluation model and optimizing performance.

u/snawaz959in r/haskell • Recommends

On “Optimizing Ray Tracing in Haskell”

…had the required LLVM version and so I simply installed that and added that to the PATH.. and it worked. As for profiling/threading/etc, I didn't face *any* issue at all, as before trying anything randomly and making guesses, I went through the specific literatures; in particular, I watched 4 talks (#31, #32, #33, and #34) from this series: * [video * Also, 2nd and 3rd chapter from **Parallel and Concurrent Programming in Haskell** by **Simon Marlow.** Amazing book, I must say! * and few answers on the Stackoverflow. Please do let me know if you want to know anything more specific. I'd love to elaborate on that.…
11View on Reddit