Obsidian seems like Solidity married with FSMs. IMO using an FP language with a strong strict type system based on algebraic data types, pattern matching and e

Obsidian seems like Solidity married with FSMs. IMO using an FP language with a strong strict type system based on algebraic data types, pattern matching and exhaustive checking would be a better approach.