Idk I'm not really a programming language theorist but I'm curious about how relevant my thesis is to that subject. Like apparently you talk a lot about compositional semantics of programming languages right? My thesis is about a compositional semantics of networks..
Conversation
...and networks are a lot like programs where the states are vertices and the actions are edges. I did a ton of math about constructing an operational semantics for them and also about the extent to which this semantics may be made compositional. Is that anything?
10
14
Replying to
This sounds potentially really cool - IIUC it's currently really hard to compose language features together and have things continue to work properly (eg. not breaking stuff like type soundness theorems)… not sure if this is something your work addresses at all though?
Replying to
Nothing like that yet...its mostly just about using category theory to understand how the total behavior may be composed. That's an interesting question about soundness which I have no idea the answre.
1
1
Yeah I'm pretty inexperienced with the theory side of this stuff! But yeah it's definitely an issue when you have a language and you need to decide if it's okay to add a new feature or not – things often blow up in weird and wonderful ways.
2