3 ms·
Forth doesn't seem to do much to stop you from making mistakes, unless Bitcoin has added extra stuff. I don't use or study anything crypto related, so I'm ju
by eternityforest 3y ago
Forth doesn't seem to do much to stop you from making mistakes,
unless Bitcoin has added extra stuff.
I don't use or study anything crypto related, so I'm just guessing, but wouldn't something like Prolog work for describing contracts?
- rebolek 3y agoThings that make sense and crypto are two set for which there's very small intersection.
- adastra22 3y agoYes, I’ve long advocated for a high level smart contracting language that would be similar to prolog in structure and semantics. It would compile down to a state machine, and then the state machine would be interpreted as a series of outputs (nodes on the state machine graph) and spending transactions (edges). The actual spend condition language would be lower level, however, and Forth-like languages are a good fit for this part of the stack.