https://www.unison-lang.org/blog/reducing-churn/ Heavily aligned with the spirit of "spec-ulation" but with stronger support at the level of the language and tooling.