While it would be nice to imagine something like this catching on, somehow I suspect that any language whose reference manual gives a specification of semantics using sequent calculus before discussing the standard libraries is unlikely to gain much use.
Fast, expressive, flexible, with static analysis that can prevent entire classes of common bugs? That sounds great! Oh wait, no, it uses words that sound like math, obviously that makes it unsuitable for the real world. Sigh.
Fast, expressive, flexible, with static analysis that can prevent entire classes of common bugs? That sounds great! Oh wait, no, it uses words that sound like math, obviously that makes it unsuitable for the real world. Sigh.