u/mightybytein r/haskell • Recommends
NYHUG - F-algebras or: How I Learned to Stop Worrying and Love the Type System
0:00 / 0:00
#f-algebras#categorytheory#haskell
F-algebras or: How I Learned to Stop Worrying and Love the Type System
NYC Haskell User's Group
1.7K subscribers • 23 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Anthony Burzillo
Advanced. Deep dive for people who know the field.
4.2K views9 years ago1 recommendation
Programming languagesComputer scienceFunctional programmingComputation and complexity
Anthony Burzillo explains F-algebras in category theory and demonstrates how they simplify recursive evaluation schemes in Haskell.
Speaker: Anthony Burzillo New York Haskell Meetups (meetup.com/NY-Haskell/events/235377469/) F-algebras are a concept in Category Theory that deal with data structures that can be used as functors. In essence, F-algebras allow the programmer to reduce complicated recursive evaluation schemes into simple rules where the lower-level elements can be thought of as already evaluated, so then the programmer merely needs to combine them. In addition to a basic overview, this talk will discuss how to delay evaluation of certain parts of your data structure as well as how to thread monads through the the evaluation.Why it's here
1 person recommends thisWhat people say. Recommended as a helpful introduction to F-algebras and recursion schemes in Haskell.