Timeline for Programming Languages Based on Category Theory
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 2, 2019 at 17:04 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Mar 28, 2019 at 19:44 | comment | added | j.c. | Relevant: "Hask is not a category" by Andrej Bauer math.andrej.com/2016/08/06/hask-is-not-a-category | |
| Nov 2, 2009 at 2:07 | comment | added | Michael Hoffman | Haskell is a canonical example of a functional programming language, I have a reference to a "categorical programming language" below, Hagino. | |
| Nov 2, 2009 at 1:21 | vote | accept | Patrick Tam | ||
| Nov 2, 2009 at 1:21 | vote | accept | Patrick Tam | ||
| Nov 2, 2009 at 1:21 | |||||
| Nov 2, 2009 at 1:18 | history | answered | Kevin H. Lin | CC BY-SA 2.5 |