MuniHac 2018: Keynote: Beautiful Template Haskell
Speaker: Matthew Pickering
Title: Beautiful Template Haskell
Abstract:
Forget everything you know about Template Haskell. We will enter the beautiful world of Typed Template Haskell where its only possible to construct well-scoped and well-typed terms. Why? By writing our program in multiple stages, we can guarantee to eliminate the interpretative overhead caused by abstraction.
Matthew will give an introduction to Typed Template Haskell and then describe some examples of how to construct abstract and efficient programs using techniques from multi-stage programming. We will construct an "efficient" power function and also give a sketch of how to implement a SQL query compiler as inspired by the functional pearl "A SQL to C Compiler in 500 Lines of Code".
Matthew is a PhD student at the University of Bristol focusing on program generation with applications to optimisation. In the quest to write the perfect program he has become a regular contributor to GHC where he has recently been working on making the compiler easier to extend by using source plugins.
Recorded at MuniHac 2018 / https://munihac.github.io by Maximilian Huber / TNG Technology Consulting GmbH
Видео MuniHac 2018: Keynote: Beautiful Template Haskell канала TNG Technology Consulting GmbH
Title: Beautiful Template Haskell
Abstract:
Forget everything you know about Template Haskell. We will enter the beautiful world of Typed Template Haskell where its only possible to construct well-scoped and well-typed terms. Why? By writing our program in multiple stages, we can guarantee to eliminate the interpretative overhead caused by abstraction.
Matthew will give an introduction to Typed Template Haskell and then describe some examples of how to construct abstract and efficient programs using techniques from multi-stage programming. We will construct an "efficient" power function and also give a sketch of how to implement a SQL query compiler as inspired by the functional pearl "A SQL to C Compiler in 500 Lines of Code".
Matthew is a PhD student at the University of Bristol focusing on program generation with applications to optimisation. In the quest to write the perfect program he has become a regular contributor to GHC where he has recently been working on making the compiler easier to extend by using source plugins.
Recorded at MuniHac 2018 / https://munihac.github.io by Maximilian Huber / TNG Technology Consulting GmbH
Видео MuniHac 2018: Keynote: Beautiful Template Haskell канала TNG Technology Consulting GmbH
Показать
Комментарии отсутствуют
Информация о видео
17 ноября 2018 г. 20:54:18
00:43:47
Другие видео канала
![Why You Should Consider Haskell for Your Next Production System (Christian Charukiewicz)](https://i.ytimg.com/vi/6RCe0bB6LHU/default.jpg)
![Bjarne Stroustrup: The 5 Programming Languages You Need to Know | Big Think](https://i.ytimg.com/vi/NvWTnIoQZj4/default.jpg)
![MuniHac 2016: Beautiful folds are practical, too](https://i.ytimg.com/vi/6a5Ti0r8Q2s/default.jpg)
![Larry Wall: 5 Programming Languages Everyone Should Know | Big Think](https://i.ytimg.com/vi/LR8fQiskYII/default.jpg)
![Purely Functional Solutions to Imperative Problems -- HaskellRank Ep.07](https://i.ytimg.com/vi/NcUNN_tSmyE/default.jpg)
![@rae: Infinite types hobble closed type families](https://i.ytimg.com/vi/lk-0B3HF6FY/default.jpg)
![LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg](https://i.ytimg.com/vi/6snteFntvjM/default.jpg)
![F(by) 2017. Michael Snoyman - What Makes Haskell Unique.](https://i.ytimg.com/vi/DebDaiYev2M/default.jpg)
![Big Techday 22: Future of the Frontend: The End of Single-Page Applications? [EN] - P. Schmitt, TNG](https://i.ytimg.com/vi/etbyN1zyY1M/default.jpg)
![Scripting with Haskell - Christopher McKay - BFPG 2015 07](https://i.ytimg.com/vi/8EZPuhYDRe8/default.jpg)
![Big Techday 22: Luminous, my Laptop and Me [DE] - Markus Schmitz, Aleph Alpha](https://i.ytimg.com/vi/Dw62Ig4RJdE/default.jpg)
![Andres Löh - Zero-Overhead Abstractions in Haskell using Staging](https://i.ytimg.com/vi/2uD6bCbL1-A/default.jpg)
![Big Techday 22: Bringing Fusion Power to the Grid [EN] - Bart Markus, GAP Technology Holding](https://i.ytimg.com/vi/H_Wz3lOe85M/default.jpg)
![Your First Haskell Web App With WAI And Warp by Michael Snoyman #FnConf19](https://i.ytimg.com/vi/mz5_HmLGRXc/default.jpg)
![Simon Peyton Jones - Haskell is useless](https://i.ytimg.com/vi/iSmkqocn0oQ/default.jpg)
![Alexis King - “Effects for Less” @ ZuriHac 2020](https://i.ytimg.com/vi/0jI-AlWEwYI/default.jpg)
![Making Music with Haskell From Scratch](https://i.ytimg.com/vi/FYTZkE5BZ-0/default.jpg)
![Big Techday 22: Lichess.org: Serving 5 Million Chess Games a Day [EN] - T. Alexander Lystad](https://i.ytimg.com/vi/O0AwYAEenAg/default.jpg)
!["Writing a game in Haskell" by Elise Huard](https://i.ytimg.com/vi/1MNTerD8IuI/default.jpg)
![Stop Writing Classes](https://i.ytimg.com/vi/o9pEzgHorH0/default.jpg)