The Roc programming language looks really interesting. It is a new functional programming language (early development) which makes the concept of “platforms” and “applications” a first class citizen of the language. Here are some links to learn more:
- bare-bone web site: https://www.roc-lang.org/
- most recent talk which gives a good overview: Roc Lang
- talk that addresses the three aspects (security, memory management, editing): The Edges of Cutting-Edge Languages — Richard Feldman - YouTube
Particularly interesting is that they want to ship the language with a projectional editor, as demoed in the last talk I linked at around minute 30.
Maybe interesting for you @meinte.boersma @jos.warmer @angelo since we discussed projectional editing in the past.