Conversation

This Tweet is from a suspended account. Learn more
This Tweet is from a suspended account. Learn more
This Tweet is from a suspended account. Learn more
This Tweet is from a suspended account. Learn more
This Tweet is from a suspended account. Learn more
This Tweet is from a suspended account. Learn more
Yeah, I’ve been recently pondering the implications of type directed metaprogramming + structured editing, and it makes my head explode! No idea how to render a program once your types break 😬
1
1
This Tweet is from a suspended account. Learn more
Yeah, we've been thinking about interactive literals. The question of what to do when a definition changes out is an interesting one. Our solution is to put it in an "invalid state" hole, but that doesn't actually help you migrate the state (you can only "reset" at that point).
2
2
Show replies