Is Spec in This Space Trying to Conquer These Challenges?

Speculative programming allows you to talk about either function signatures or data structures using one of two logics. One is set logic around maps and map keys, the other would be regular expressions for things that are sequential like function argument lists. Those ideas I talked about before about requiring less or providing more both apply.