I have also built a functional language, Winter (https://github.com/glaretechnologies/winter https://github.com/glaretechnologies/winter) that is used in our me

I have also built a functional language, Winter (https://github.com/glaretechnologies/winter https://github.com/glaretechnologies/winter) that is used in our metaverse (https://substrata.info/ https://substrata.info/). A functional language has some advantages - because Winter programs can be bounded in space and time, we can efficiently execute untrusted scripts from users safely. The scope of Winter programs is reasonably narrow - mostly pretty simple scripts setting a transformation as a function of time. But for that it works well.