There's a port of ATS programming language for the ESP8266. There's some slides on it here: http://www.slideshare.net/master_q/safer-iot-using-functional-langu

There's a port of ATS programming language for the ESP8266. There's some slides on it here: http://www.slideshare.net/master_q/safer-iot-using-functional-language http://www.slideshare.net/master_q/safer-iot-using-functiona... ATS is a functional programming language that does not use a garbage collector and uses dependent and linear types to do safe system programming. It provides a similar level of safety to Rust with the ability to drop down to C: http://www.ats-lang.org/ http://www.ats-lang.org/