3 ms·
This two-part keynote might give you a good flavour: * https://www.youtube.com/watch?v=4WMfKhKKVN4 https://www.youtube.com/watch?v=4WMfKhKKVN4 * https://www.y
by endgame 2y ago
This two-part keynote might give you a good flavour:
* https://www.youtube.com/watch?v=4WMfKhKKVN4 https://www.youtube.com/watch?v=4WMfKhKKVN4
* https://www.youtube.com/watch?v=zooYfk5-yPY https://www.youtube.com/watch?v=zooYfk5-yPY
If you can stand up a Cartesian-closed category, it is a model of a lambda calculus. So you can make a compiler plugin that takes lambda terms (a large subset of Haskell) and compiles it into all sorts of exotic settings (dataflow diagrams, derivatives of the function, ...)
KittyHawk used it to compile Haskell to C in https://github.com/sellout/compiling-anything-to-categories https://github.com/sellout/compiling-anything-to-categories and someone talks about their work here: https://www.youtube.com/watch?v=VUBj8NW7uMA https://www.youtube.com/watch?v=VUBj8NW7uMA