Conversation

Really cool presentation from

on Epigram 2! So inspiring! I really want first class, dependent data descriptions with multi-stage programming to be a thing! 🤩

Quote Tweet

Andrej Bauer

@andrejbauer

· Jun 11, 2020

I just uploaded “Conor McBride: Epigram 2 - Autopsy, Obituary, Apology” to #Vimeo: vimeo.com/428161108

Show this thread

Brendan Zabarauskas

@brendanzab

Also, 'distillation' is a cool alternative to 'delaboration' that I was pondering here:

Quote Tweet

Brendan Zabarauskas

@brendanzab

· Sep 17, 2019

Type System & PL Twitter question: What is a good name for the opposite of 'elaboration'? Ie. going from the core language back to the surface language. Some ideas: - resugaring - delaboration - co-elaboration (collaboration?

)

3:17 AM · Jun 12, 2020Twitter Web App

Replying to

The idea of modelling generativity using an index for a 'version number' on a data description (1:07:00) sounded super interesting - need to probably figure out how to make a concrete example of this though. 🤔

Replying to

surfacization...

elaboration is corification O_O