[Haskell'26] Lightning Talk: Programming with Extensible Recursive Datatypes
ACM SIGPLAN · 11:23
The speaker (Garrett, introduced at the end) demos Rose, his research language for extensible data types. He shows that a "fantasy" nanopass-compiler style really works in it: you write a desugaring pass only for the...