I wouldn't say I'm super accomplished at PL stuff - I have tons to learn, but it's hard now to switch my focus to something wildly different, like drawing lines and cubes. I'm just really familiar with parts of the PL workflow now.
Conversation
Make a bidirectional editor between the topos and types so you can draw and code in one env: ncatlab.org/nlab/show/topo
1
1
3
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
