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…

Semidirect product. Quite the same Wikipedia. Just better.

General summary/comments (optional) Steps to reproduce Add to stack.yaml: docker: enable: true Run stack build Expected Stack to build project using a docker instance. Stack to build project in a r...