Timeline for Monoidal cats and string diagrams for a semantics of object oriented programming languages
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 11, 2018 at 15:41 | vote | accept | Ben Sprott | ||
| Dec 17, 2015 at 15:44 | answer | added | Gerrit Begher | timeline score: 4 | |
| Oct 27, 2015 at 21:05 | history | edited | Ben Sprott | CC BY-SA 3.0 |
added 429 characters in body
|
| Oct 27, 2015 at 18:39 | comment | added | Qiaochu Yuan | There are various features of programming languages you might want to be capturing and it's unclear to me which ones you intend. The basic one is that type systems can be described as categories where the objects are types (e.g. int or string) and the morphisms are functions with the prescribed input and output types. Then you can go on to ask for more features of the type system (e.g. product types), which corresponds to asking for more from the category (e.g. finite products). See also the Curry-Howard-Lambek correspondence. You should ask a more specific question. | |
| Oct 27, 2015 at 18:29 | history | asked | Ben Sprott | CC BY-SA 3.0 |