I've built my own small embeddable functional language with structural record unions and effect types. By focusing on making the language tiny I have been able to embed it in arduino, web and server projects. The aim is to eventually use it for every side project I make. https://petersaxton.uk/log/