On: Root – Programmable bank account for software deve...

[pc86]

Come now, just write it in Rust and bugs are a physical impossibility.

[tragomaskhalos → pc86]

Or, use Haskell and have the type system protect your precious moolah :)

[drusepth → tragomaskhalos]

Or use something like Ruby/Javascript and cast your balances to strings whenever you can and hope for the best when it comes to addition. :)

[gergoerdi → tragomaskhalos]

The real version of this is https://publications.lib.chalmers.se/records/fulltext/234939...: Ethereum contracts written in an Idris-embedded DSL.

[purpleidea → pc86]

You misunderstand what Rust does.

[seeekr → purpleidea]

I think he implied a "/s" there. ;)