Explore a case study in Haskell library design focused on optimizing "discrimination" techniques for efficient sorting, table joins, and other operations. Delve into advanced concepts including category theory, monoids, Day convolution, final and initial encodings, and low-level system concerns. Learn how to leverage properties of laziness and overcome challenges in the original discrimination paper to enable streaming results. Gain insights into optimizing Haskell code through various perspectives, from theoretical foundations to practical implementation details. Discover how to improve productivity and performance in functional programming by applying these advanced techniques and optimizations.
Overview
Syllabus
Discrimination is Wrong: Improving Productivity • Edward Kmett • YOW! 2015
Taught by
GOTO Conferences