Compiling Anything to Categories (bobkonf2022)

Conal Elliott’s Compiling to Categories sparked interest in novel interpretations of Haskell programs that are accessible to a casual user of the language. Conal also created some proofs of concept with very compelling examples. However, many potential users were stymied by some limitation or other in the PoCs. At Kittyhawk, we were also attracted to the approach. Thankfully, we had the resources to commit to it, which allowed us to extend the PoC and even the original paper to make it work for us. And now, hopefully, it can work for you as well. This talk will introduce the approach, our use of it as a code generator for the flight control system of our electric aircraft, the limitations we ran into, and our solutions to them. about this event: https://bobkonf.de/2022/pfeil.html