Type-level Programming and Extensibility at The MCG! Melbourne Compose Group - Thurs 20th of August

This month we are looking forward to Viktor Dukhovni taking us into the realm of practical type level programming. The Talk Viktor Dukhovni - Types, Nats, and Wire Formats - Type-level Programming and Extensibility in the Haskell dnsbase Stub Resolver Library The dnsbase stub resolver library, written in Haskell, is a modernised revision of Kazu Yamamoto’s “dns” library (GHC 7.x 2010-06). The “dns” library modelled DNS records via an ADT, with discrete constructors for each support RR type. I...