You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Faré (Apr 21 2020 at 09:19):What are uses of category theory for the systematic architecture of language implementation?
I've seen it used to eliminate variables by reducing polynomial expressions to points-free combinators; string diagrams can be used to describe the information flow between passes; type analysis can be seen in a categorical way; CAML was based on a "categorical abstract machine". What else?
Mike Stay (Apr 22 2020 at 21:22):http://www.cs.cornell.edu/~ross/publications/proofgen/
Bob Atkey (Apr 23 2020 at 10:40):Faré said:
What are uses of category theory for the systematic architecture of language implementation?
John Reynolds used functor categories to describe how to generate intermediate code from Idealised Algol code: https://dl.acm.org/doi/10.1145/199448.199452 (non paywalled during the pandemic)
Philip Zucker (Apr 23 2020 at 14:05):Fascinating thread. Keep 'em coming.
Philip Zucker (Apr 23 2020 at 14:07):A link to the categorical abstract machine paper https://core.ac.uk/download/pdf/82453178.pdf for those interested