Over the years it has existed, people have occasionally asked about using the purescript-native (a.k.a. pure11) backend to write (on-device) Arduino software. Well, I finally tried it out and got a basic example working. The biggest obstacle was a lack of an official implementation of the C++ standard library / STL for Arduino/AVR, but some options do exist. I have posted the example and some rough notes on the purescript-native wiki.