Staging with Class: A Specification for Typed Template Haskell • Ningning Xie • YOW! 2022
This presentation was recorded at YOW! 2022. #GOTOcon #YOW
Ningning Xie - Research Associate at Department of Computer Science and Technology University of Cambridge @ningningxie3528
RESOURCES
ABSTRACT
Multi-stage programming using typed code quotation is an established technique for writing optimizing code generators with strong type-safety guarantees. Unfortunately, quotation in #Haskell interacts poorly with type classes, making it difficult to write robust multi-stage programs.
In this talk, I will present my recent work which studies this unsound interaction and proposes a resolution, staged type class constraints, which is formalized in a source calculus that elaborates into an explicit core calculus.
I will show type soundness of both calculi, establishing that well-typed, well-staged source programs always elaborate to well-typed, well-staged core programs, and prove beta and eta rules for code quotations. The design allows programmers to incorporate type classes into multi-stage programs with confidence. Although motivated by Haskell, it is also suitable as a foundation for other languages that support both overloading and quotation. [...]
RECOMMENDED BOOKS
Vitaly Bragilevsky • Haskell in Depth •
Rebecca Skinner • Effective Haskell •
Graham Hutton • Programming in Haskell •
John Whitington • Haskell from the Very Beginning •
#SoftwareEngineering #Programming #FunctionalProgramming #Tech #SoftwareDevelopment #SoftwareTechnology #-NingningXie #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at
Sign up for updates and specials at
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
1 view
0
0
4 months ago 01:58:26 1
Jean-Michel Jarre - STARMUS - BRIDGE FROM THE FUTURE - LIVE FROM BRATISLAVA
4 months ago 00:12:44 1
Shields, Ropes, and Cutting Wire: Lynx Brutality 2024 Day 2
4 months ago 00:13:38 1
Žiga from Polenar Tactical Reviews my Lynx Brutality AK
4 months ago 00:16:26 1
My AK vs Cars, Kettlebells, & Fast Ropes: Lynx Brutality 2024 Day 1
4 months ago 00:14:01 1
Sensational Alex Harvey band - Midnight Moses Live
4 months ago 00:03:21 1
Windows95man - No Rules! (LIVE) | Finland 🇫🇮 | First Semi-Final | Eurovision 2024
4 months ago 00:03:05 1
NILETTO x БУМЫЧ - ЛЮБИМКА (NAVI CSGO ПАРОДИЯ)
4 months ago 00:03:04 1
Sandra - (I’ll Never Be) Maria Magdalena • TopPop
4 months ago 00:01:31 1
I Used to be Funny | Official Trailer | Utopia
4 months ago 00:07:06 1
Лазерный проектор ESHINY N7H8 R&G Laser Projector
4 months ago 00:35:56 1
David Guetta - Full Set (Live at Capital’s Summertime Ball 2024) | Capital
4 months ago 01:56:55 1
🔴 LIVE Street Skateboarding: Men’s Finals! | #OlympicQualifierSeries
4 months ago 00:04:46 1
Tankard - (Empty) Tankard (Official Video)
4 months ago 00:01:00 1
Olive can see you 😱
4 months ago 01:58:43 1
Steven Weston - Anjunadeep Explorations 2024
4 months ago 00:03:31 1
cignature (시그니처) - Poongdung [Lyrics] | KBS WORLD TV 240621
4 months ago 00:04:59 1
Travis Kelce joins Taylor Swift on stage for I Can Do It With A Broken Heart @ The Eras Tour London
4 months ago 00:17:36 1
CookieRun: Tower of Adventures - Official Launch Global Gameplay Android APK iOS PC
4 months ago 00:21:14 1
FBI Now ADMITS To FRAMING TRUMP, Classified Documents Were Placeholders, FBI STAGED Evidence
4 months ago 01:30:16 1
Moonclipse @ Ozora Festival 2023 (Full Set Movie)
4 months ago 00:09:09 1
Coast Contra - The Live Experience
4 months ago 00:04:07 21
LEPROUS - Silently Walking Alone (OFFICIAL VIDEO)
4 months ago 00:56:25 1
FATHER’S DAY SPECIAL: Osbourne Girl’s Take Over
4 months ago 02:22:23 1
Most powerful protection against negative energy | Green Tara Mantra | Om Tare Tuttare Ture Soha