Compiling to Categories
Tim Daly <[email protected]> Tue, 11 Jun 2019 09:33:54 -0400
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=JzXJZo--Oj6cL6hU=D1moOEdfNda5YfjpprU5LGH-ZcA@mail.gmail.com> |
Well, THIS is interesting. By compiling programs to categories it is possible to do things like computing program derivatives. Watch the video. http://media.podcasts.ox.ac.uk/comlab/comsci/2017-09-04-ICFP2017/2017-09-04-ICFP2017-day2-pm-08.mp4 and the website: http://conal.net/papers/compiling-to-categories/ This introduces an interesting wrinkle in computer algebra. Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer