This two-part keynote might give you a good flavour:

* https://www.youtube.com/watch?v=4WMfKhKKVN4

* 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 and someone talks about their work here: https://www.youtube.com/watch?v=VUBj8NW7uMA