Make a bidirectional editor between the topos and types so you can draw and code in one env: ncatlab.org/nlab/show/topo
Conversation
Yeah I definitely want to figure out how to make voyager kind of like world building/coding environment. Have some ideas other inspiration here github.com/pikelet-lang/p
2
3
I think I need to work up from some smaller experiments and prototypes though.
2
1
Like, maybe recreate voyager3.tumblr.com/post/122649754, but with some sort of rudimentary, bespoke, bidirectional language thingo.
1
Ooh this is nice! I have two ideas on this.
1/ Turn it into machine computation thing like: youtube.com/watch?v=KVvXv1
2/ Turn it into Combinatory Calculus lego building thing. Dropping a building block on a “site” will recreate that block on corresponding site maps.
1
Was thinking maybe a shape grammar thing with some level of relational constraints for things like bridges etc.
1
2
Yeah, that would be fun too! A bidirectional editor like (ICYMI) libfive.com/examples/ would be damn fun.
1
2
Also, I had bookmarked this paper related to bidirectional editing a while ago by Jeremy Gibbons et al.: cs.ox.ac.uk/people/jeremy.
1
1
OH WOW that looks neat - THANKS! :)
1
1
