Keynote from Lennart Augustsson - Giving Haskell Types to a Relational Algebra Library in C++
Please log in to watch this conference skillscast.
In this talk, Lennart will show how to design a strongly typed interface to an external library. The external library has some rather complex, dynamically checked, types. Making a strongly typed, easy-to-use version of the API uses several Haskell type system extensions, e.g., type level strings, closed type families, kind definitions. It even uses some extensions that are not quite in ghc yet.
Join us at the Haskell eXchange in 2016!
Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
YOU MAY ALSO LIKE:
- Making EDSLs fly (SkillsCast recorded in October 2012)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Modern development with Java (in London on 9th - 11th December 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Android Home-screen Widgets with Flutter (SkillsCast recorded in April 2019)
- Full Stack Testing of Flutter Apps (SkillsCast recorded in April 2019)
Thanks to our sponsors
Keynote from Lennart Augustsson - Giving Haskell Types to a Relational Algebra Library in C++
Lennart Augustsson
Lennart Augustsson is currently employed at Standard Chartered Bank in London. During his career he has done different things, e.g., writing about four Haskell compilers, written USB device drivers, winning the International Obfuscated C Code Co
Please log in to watch this conference skillscast.
In this talk, Lennart will show how to design a strongly typed interface to an external library. The external library has some rather complex, dynamically checked, types. Making a strongly typed, easy-to-use version of the API uses several Haskell type system extensions, e.g., type level strings, closed type families, kind definitions. It even uses some extensions that are not quite in ghc yet.
Join us at the Haskell eXchange in 2016!
Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
YOU MAY ALSO LIKE:
- Making EDSLs fly (SkillsCast recorded in October 2012)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Modern development with Java (in London on 9th - 11th December 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Android Home-screen Widgets with Flutter (SkillsCast recorded in April 2019)
- Full Stack Testing of Flutter Apps (SkillsCast recorded in April 2019)
Thanks to our sponsors
Keynote from Lennart Augustsson - Giving Haskell Types to a Relational Algebra Library in C++
Lennart Augustsson
Lennart Augustsson is currently employed at Standard Chartered Bank in London. During his career he has done different things, e.g., writing about four Haskell compilers, written USB device drivers, winning the International Obfuscated C Code Co