Discrimination is Wrong: Improving Productivity • Edward Kmett • YOW! 2015
HTML-код
- Опубликовано: 18 сен 2024
- This presentation was recorded at YOW! 2015. #GOTOcon #YOW
yowcon.com
Edward Kmett - Fellow & VP of Software Engineering at Groq Inc. @ekmett
RESOURCES
/ kmett
github.com/ekmett
/ ekmett
comonad.com
ABSTRACT
This talk is a case study in library design in Haskell.
Fritz Henglein has shown through a number of excellent papers how to use "discrimination" to do lots of things in O(n): Sorting many more data types than you'd expect, table joins, etc.
In the process of optimizing this approach and wrapping it up in a form that can be easily consumed, we'll take a lot of detours through the different ways you can think about code when optimizing Haskell.
• We'll need some category theory, from a deeper understanding of monoids to Day convolution.
• We'll need to consider final and initial encodings.
• We'll need to drift down to low level system concerns from building a custom foreign prim to nesting unsafePerformIO within unsafePerformIO.
• We'll need properties of laziness from productivity to IVars.
Along the way we'll find and fix a small problem with the initial discrimination paper, which opens the door to streaming results, rather than having to wait until all the input is ready. [...]
RECOMMENDED BOOKS
Saša Jurić • Elixir in Action • amzn.to/2RZh5eN
Tim McNamara • Rust in Action • amzn.to/3ux2R9u
Ulisses Almeida • Learn Functional Programming with Elixir • amzn.to/389grn6
Neal Ford • Functional Thinking • amzn.to/3DdP35B
Petricek & Skeet • Real-World Functional Programming • amzn.to/38diF4M
Venkat Subramaniam • Functional Programming in Java • amzn.to/2WlOXIt
Cristian Salcescu • Functional Programming in JavaScript • amzn.to/3y75jBS
/ gotocon
/ goto-
/ gotoconferences
#FunctionalProgramming #SoftwareEngineering #Programming #Tech #SoftwareDevelopment #SoftwareTechnology #FP #Haskell #Graal #Truffle #EdwardKmett #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at gotopia.tech
Sign up for updates and specials at gotopia.tech/n...
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
www.youtube.co...
We are currently releasing older YOW! videos to serve as a valuable archive, preserving historical content. It is possible that a video is perceived as outdated. We believe it offers insightful glimpses into the past, enriching our understanding of history and development.