This sounds like an argument for a custom DSL designed for the purpose of expressing constraints and for querying statiatical data. Perhaps there are cases whe

This sounds like an argument for a custom DSL designed for the purpose of expressing constraints and for querying statiatical data. Perhaps there are cases where DSL is the right answer. Not sure if this is one though. I see some parallels to the arguments around using a ML derived language instead of adding types to python3 and giving it 90% of the capabilities. There are other factors like: open vs closed development model, number of implementations (Wolfram language has exactly 1?) etc. From my perspective, the problem to solve is that the python ecosystem isn't even trying. Would love to see stats about the adoption of the match statement introduced 3 yrs ago.