Enumerate Your Data, or Enum Instances on Steroids

With Andrew Lelechenko!
Haskell provides a type class `Enum` to work with enumerable data. Unfortunately, its interface is partial all over the place, and there is no way to derive it automagically for non-trivial types. We'll discuss what a proper `Enum` could look like and how to derive it `Generic`ally. This talk is based on the packages `finitary` (hackage.haskell...) and `cantor-pairing` (hackage.haskell....
Andrew (github.com/Bod...) 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 for a domain-specific language for finance and trading, implemented in Haskell. His main open-source contributions are mathematical libraries with a focus on performance.
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