Joey Hess, "Programming Arduinos with Haskell and NASA's Copilot"

Joey Hess demonstrates how to use NASA's Copilot DSL in Haskell to write type-safe, resource-constrained Arduino firmware.

Haskell’s runtime is too weighty for small embedded devices like the Arduino. NASA to the rescue! Their Copilot project provides a domain specific language embedded in Haskell that targets resource constrained devices. The arduino-copilot project adapts Copilot to the Arduino, allowing Arduino firmwares of moderate complexity to be written in Haskell with ease and type safety, in a Functional Reactive Programming style. Joey Hess will demonstrate how to use arduino-copilot. Beyond the Arduino, over 350 different embedded boards are waiting in the wings, thanks to the Zephyr project, and Joey will discuss progress toward building a zephyr-copilot as well.