Playing around with (Smart) Contracts: a functional language, declarative decision procedures, contracts as state machines, in-memory transactions. Cool stuff :-) #blockchains
2
8
Any links?
1
Not yet. My own playground with MPS/KernelF.
1
Replying to @markusvoelter @mtiller
Great use case for a high-level language with support for appropriate formal methods for verification

Nov 15, 2017 · 9:17 PM UTC

1
Replying to @stilkov @mtiller
Definitely. We’ll be doing some work in this direction.