Maybe flexible context-aware mixing of the type systems (including an absence of the one) is the answer? They said in Shen it's possible at least - https://twi

Maybe flexible context-aware mixing of the type systems (including an absence of the one) is the answer? They said in Shen it's possible at least - https://twitter.com/deech/status/594874467412680705 https://twitter.com/deech/status/594874467412680705