With Csongor Kiss!
Type-level programming doesn't have to be scary. In fact, what you already know about programming on the level of values will probably transfer readily to the realm of types. Once you've ascended to this higher plane, you'll find all sorts of useful tools for getting practical work done back down on Earth. In this talk, Csongor Kiss, who spends much of his time working on these tools, will offer a fun and friendly primer on this world, which many functional programmers probably neglect and possibly fear but should perhaps take another look at. He'll sharpen your type-kwon-do and probably renew your excitement for what's possible in functional programming when you have a type system as powerful as Haskell's. Ideally, you'll come away with the knowledge to exploit that power in your own projects.
Csongor Kiss is the author of the generic-lens and generic-optics libraries for Haskell. His side projects have included writing his own Haskell compiler, a type-level register machine that proves Haskell's type system is Turing complete, and a Doom-like engine for Raspberry Pi, written in pure bare metal assembly. He is a co-author of the paper, "Higher-order Type-level Programming in Haskell" along with Tony Field, Susan Eisenbach, and Simon Peyton Jones. Csongor is currently pursuing a PhD at Imperial College London, where he is researching generic programming with univalence.
This virtual talk was brought to you by the Berlin Functional Programming Group.
Join us on Meetup: www.meetup.com...
Follow us on Twitter: / berlinfpgroup
Buy a T-shirt: teespring.com/...
Support us on Patreon: / bfpg