I'm an artist, but I paint with types and words
Conversation
Replying to
I like the idea of type system and programming language design as an act of 'world building'.
Yes! I also get the 'drawing as world building' from my friend - and yeah I defs see the process I take with PL and type system stuff as having deep parallels with what I did in art and design. It just can be hard because it's just so inaccessable as a medium 😔
1
Show replies
Like, it's an extension of the stuff I used to play around with as a kid, conlanging, making maps, drawing pictures of imaginary places, playing around with various artistic influences and inspirations: instagram.com/brendanzab/
1
One weird thing I’ve not seen outside of twelf and lf tools is the whole world assumption thing. Not really relevant but uses the same words ;)