applied category theorists, when creating categorical models/semantics for PLs, what’s your process? where do you start? diagrams? syntax? definitions? brain-dumping into text? has anyone written about it?
Conversation
Gah I would love to know this too
1
1
also known as: I would like to know why my ideas are bad and how to make them not bad
1
1
who says your ideas are bad? they’re not bad, they might be not well-polished but that’s ok.
1
2
Replying to
Thanks that was a really nice way of looking at it!
Mainly people I respect I guess. and yeah, my ideas are pretty unpolished… but at least I'm trying my to hone them! The universe is a confusing puzzle though, especially when I don't really understand the rules 😖