Conversation

Brendan Zabarauskas

@brendanzab

·

Jun 12, 2020

Really cool presentation from

@pigworker

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: https://vimeo.com/428161108

Show this thread

1

5

Brendan Zabarauskas

@brendanzab

·

Jun 12, 2020

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? )

2

1

-_-

@boarders__

·

Jun 12, 2020

surfacization...

1

1

Brendan Zabarauskas

@brendanzab

Replying to

@boarders__

elaboration is corification O_O

Translate Tweet

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

2

Likes