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
Replying to
who says your ideas are bad? they’re not bad, they might be not well-polished but that’s ok.
1
2
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 😖
2