Propagators Part 1 • Edward Kmett • YOW! 2016

This presentation was recorded at YOW! 2016. #GOTOcon #YOW
yowcon.com
Edward Kmett - Chair of the Haskell Core Libraries Committee
Part 2 is available here: • Propagators Part 2 • E...
ABSTRACT
There are a lot of algorithms that revolve around iterating a form of information propagation until it attains a deterministic fixed point. CRDTs, Datalog, SAT solving, functional reactive programming, and constraint programming all fit into this mold.
One framework for these sorts of algorithms is the notion of a “propagator” due to Sussman and Radul, but until now little rigor has applied to know how such algorithms terminate with consistent results. Another framework is Lindsey Kuper’s work on the notion of “lattice variables” (LVars), which addresses termination, parallelism and eventual consistency well, but not iteration.
By blending these frameworks, I’ll build up a series of sufficient conditions for propagators to terminate with consistent results and proceed to show how we can use this common framework to steal insights and quirks from each individual domain to try to optimize the rest. [...]
RECOMMENDED BOOKS
Vitaly Bragilevsky • Haskell in Depth • amzn.to/3EXpmbe
Rebecca Skinner • Effective Haskell • amzn.to/3VgUKsh
Graham Hutton • Programming in Haskell • amzn.to/3Fi8rBC
John Whitington • Haskell from the Very Beginning • amzn.to/3VmX68R
/ gotocon
/ goto-
/ gotoconferences
#Propagators #Haskell #ProgrammingLanguage #FunctionalProgramming #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...

[@GOTO-]

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.