I think we might see rising popularity of languages that give you more tools to make illegal state unrepresentable. While it is great that there is so much pyth

I think we might see rising popularity of languages that give you more tools to make illegal state unrepresentable. While it is great that there is so much python/js code that a LLM knows to avoid wide stretches of wrong terrain, but who cares if you can just use a language that makes that impossible in the first place. Maybe something like https://flix.dev/ https://flix.dev/ with many analyzers.