I’m not holistically recommending the currencies they were designed alongside, but I fully believe that there is a right way to build smart contract languages,

I’m not holistically recommending the currencies they were designed alongside, but I fully believe that there is a right way to build smart contract languages, and that they look a lot more like Pact or Plutus than an EVM compilable dialect. Both are functional, which means easier to read, and Pact is non-Turing complete and strictly typed, making it even easier, so much so that formal verification tools can assess what a contract is capable of automatically - a much smaller search space than EVM bytecode. When code is not permanent and backing millions of dollars or more of value, the trade offs may favor more powerful or flexible languages, but the ability to read and understand code and what it can do it so wildly important for smart contracts that I don’t see a world where Pact isn’t moving the right direction contrary to the EVM.