Hah, unison is the perfect example of hitting all those points that I touched on that I want (declarative, interactive, extensibiltiy, etc). However, widespread adoption for a language that started as a research language has only happen once, Python. But hopefully, the expectations that I want in mainstream languages will be met before I retire in 20 years 
3 Likes