u/feihcsimin r/functionalprogramming • Recommends
Bartosz Milewski – Replacing functions with data
0:00 / 0:00
#haskell#defunctionalization#categorytheory
Bartosz Milewski – Replacing functions with data
Konfy
4K subscribers • 13 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Bartosz Milewski
Advanced. Deep dive for people who know the field.
11K views6 years ago1 recommendation
Programming languagesComputer scienceHaskellFunctional programmingComputation and complexity
Bartosz Milewski explains defunctionalization, showing how to replace functions with data structures using tree traversal in Haskell as an example.
Bartosz Milewski Bartosz has a Ph D in theoretical physics but his interests led him to study programming, computer science, and mathematics. His blog posts cover wide areas of C++, Haskell, and category theory. His lectures on concurrent programming, Haskell, and category theory are available on YouTube. Replacing functions with data In functional programming, functions are first-class citizens. This is due to the adjunction between the product and the exponential. It’s little known that, when you relax this adjunction, you can replace some functions with data in the process called defunctionalization. I’ll show you how to defunctionalize tree traversal in Haskell. haskell.love twitter.com/_haskelloveWhy it's here
1 person recommends thisWhat people say. Recommended as an insightful talk on defunctionalization and category theory concepts in Haskell.