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.

In "dnsbase" existential quantification replaces the fixed form ADT and additional type-level machinery is used to make the library's set of supported DNS types extensible at runtime. This talk will highlight some of the techniques that make this possible.

When and Where

Format: Strictly IRL
When: Thursday 20th Aug 2026, 6:00pm – 8:00pm
Where: Kathleen Syme Centre, Activity Room 2, Carlton (Melbourne Victoria, Australia)

Arrive from 6:00  for chat and socialising, talks start start at 6:30pm. [Please RSVP via Luma](https://luma.com/8eywg8ed) .
As always, newcomers welcome.

About Melbourne Compose Group

Melbourne Compose Group is the monthly in-person meetup for functional programmers in Melbourne, every 3rd Thursday of the month in Carlton.
 
Hope to see you there :)  
-Ben Hutchison & John Walker