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.

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

_______________________________________________
Haskell-Cafe mailing list -- [email protected]
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.