Papers We Love London October Meetup hosts Andrew Lelechenko presenting the functional pearl: "Backtracking, Interleaving, and Terminating Monad Transformers" by Kiselyov, Shan, Friedman and Sabry. The paper describes a library for adding backtracking computations to any Haskell monad, with features inspired by logic programming.
Please read the paper here: http://okmij.org/ftp/papers/LogicT.pdf
Andrew (https://github.com/Bodigrim) is a software developer from London with a strong background in mathematics and computer science. After receiving his PhD degree, he went into industry and ended up developing a compiler of the domain-specific language for finance and trading, implemented in Haskell. His main open-source contributions are mathematical libraries with a focus on performance.
The Office Group - Albert House[masked] Old Street
The nearest tube station is Old Street.
• 6.30pm: snacks and drinks (kindly sponsored by Droit https://droit.tech)
• 7:00pm: presentation starts
• 8:00pm: presentation end
Meetup are captured on video and uploaded on the PWL London Youtube channel https://www.youtube.com/channel/UCEYe-1uDIkjPtuH_qhoybnA