Today Algorand and Blockstack are announcing that they are collaborating on the Clarity smart contract language. Clarity is a decidable (i.e. non-Turing complete) language inspired by lisp. I am extremely excited about this development and have spent a few hours this week writing a smart contract in Clarity. I have long argued that Turing complete smart contract languages are problematic because the only way to really understand the system as a whole is to run it and see what happens. Still t...