There&#x27;s a port of ATS programming language for the ESP8266. There&#x27;s some slides on it here:<p><a href="http:&#x2F;&#x2F;www.slideshare.net&#x2F;master_q&#x2F;safer-iot-using-functional-language" rel="nofollow">http:&#x2F;&#x2F;www.slideshare.net&#x2F;master_q&#x2F;safer-iot-using-functiona...</a><p>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: <a href="http:&#x2F;&#x2F;www.ats-lang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.ats-lang.org&#x2F;</a>