How to accurately measure the effort required to reduce a λ-term?

Question

Blockchains such as Ethereum use a stack-register based language on their smart-contract processing virtual machines. That model is very convenient because it provides a simple mechanism to measure the amount of work required to run programs: just fix a cost for each primitive operation and sum.

Suppose that, instead of virtual machines, a blockchain featuring smart-contracts used a functional programming language such as Haskell's core. Is there any simple, accurate way to measure the amount of work required to execute a functional program - keeping in mind that nodes are able to use any evaluation strategy, so such measurement must be universal.


Show source
| haskell   | functional-programming   | blockchain   | ethereum   | smartcontracts   2017-01-06 13:01 0 Answers

Answers ( 0 )

◀ Go back