Timeline for Relating category theory to programming language theory
Current License: CC BY-SA 4.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 16, 2023 at 15:49 | answer | added | Claves DOA | timeline score: 3 | |
| Mar 16, 2023 at 12:51 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals from title
|
| Apr 26, 2015 at 14:24 | comment | added | Paul Taylor | "I think CS students would be far better off if we dragged them through a semester of set theory first" What a horrible thought! | |
| Feb 19, 2012 at 3:52 | answer | added | none | timeline score: 5 | |
| Jul 2, 2010 at 19:48 | answer | added | Vag | timeline score: 19 | |
| Jun 10, 2010 at 15:01 | answer | added | supercooldave | timeline score: 18 | |
| Jan 18, 2010 at 23:31 | comment | added | Adam | Also, frankly, I think CS students would be far better off if we dragged them through a semester of set theory first. It would make a whole lot of other stuff easier; we could talk about "recursive sets of natural numbers" instead of decidable problems. But I don't think you'll be able to get enough category theory into an undergrad's head (even a math undergrad) in time to generate significant returns on the investment in terms of understanding PL. | |
| Jan 18, 2010 at 23:28 | comment | added | Adam | Topoi are sort of on a different "branch" than programming languages. Their least common ancestor would probably be Lawvere's Hyperdoctrines or just Cartesian Closed Categories. Not to discourage you from learning about topoi (they're fascinating!), but they don't play a big role in programming languages. | |
| Dec 11, 2009 at 20:08 | answer | added | Craig Overend | timeline score: 6 | |
| Nov 17, 2009 at 21:44 | answer | added | marc | timeline score: 10 | |
| Nov 5, 2009 at 18:22 | vote | accept | Michael Hoffman | ||
| Nov 5, 2009 at 17:14 | answer | added | Dan Piponi | timeline score: 92 | |
| Nov 5, 2009 at 16:55 | answer | added | Apollo | timeline score: 10 | |
| Nov 5, 2009 at 15:38 | answer | added | Reid Barton | timeline score: 20 | |
| Nov 5, 2009 at 13:04 | comment | added | Michael Hoffman | This is very similar to another question about category theory and programming languages, but I changed it to reflect wanting to know some precise connections, rather than merely where to look. | |
| Nov 5, 2009 at 10:09 | answer | added | Thomas Riepe | timeline score: 12 | |
| Nov 5, 2009 at 9:38 | history | asked | Michael Hoffman | CC BY-SA 2.5 |