Viktor Dukhovni on "Types, Nats, and Wire Formats"

Viktor Dukhovni on "Types, Nats, and Wire Formats"

O události

🌟 Melbourne Compose is the monthly in-person meetup for functional programmers in Melbourne, held every 3rd Thursday of the month in Carlton.

🗓️ August Meeting Details:
🕕 Time: 6:00-8:00 PM (Arrive from 5:30 PM for chat and socializing)
📍 Location: Activity Room 2, Kathleen Syme Center, Carlton
🎤 Talk Starts: 6:30 PM
🔗 RSVP via Luma

👤 Presenter: Viktor Dukhovni
Topic: Types, Nats, and Wire Formats
Explore type-level programming and extensibility in the Haskell dnsbase stub resolver library.

The dnsbase stub resolver library, a modernized version of Kazu Yamamoto's "dns" library, enhances extensibility for new open RR types like SVCB and HTTPS. This talk will highlight techniques that enable runtime extensibility using existential quantification and type-level machinery.

👋 Newcomers Welcome!
📞 Contact Ben at 0407 990 094 for assistance finding us on the night.

Hope to see you there! 😊
-Ben Hutchison & John Walker

Nalezeno Somem·Zobrazit originál
Místo

Kathleen Syme Library and Community Centre, 251 Faraday St, Carlton VIC 3053, Australia

Trasa

Tento týden v Melbourne