Quote from: Slava79 on April 02, 2018, 07:29:25 AM

Quote from: BruceBanner1 on April 02, 2018, 07:13:45 AM

As nowadays every other company building their system with Blockchain or Ethereum technology, can we consider, the blockchain is future of coding language ? Considering the biggest benefit of decentralization network and all others pros of it.

Not sure regarding the implications of blockchain on coding languages, but I think smart contracts are really the niche where statically typed pure functional languages could shine. I'm talking about the languages mainly from ML family: Haskell, OCaml, F#, Elm, PureScript.

Just imagine, your smart contract can be treated just as a pure function which takes some input and gives some output, no side effects, no typos, etc. Imho, this is the direction where languages smart contracts should lead to.

And pure functions can help to prove the correctness of program.
There are some projects that utilize the power of functional languages in order to make smart contracts provable.
They are mostly in early stage of development.

Simplicity from itstream https://blockstream.com/simplicity.pdf
Cardano project Plutus language https://cardanodocs.com/technical/plutus/introduction/
Tezos Liquidity http://www.liquidity-lang.org/

yg10

Posts

Merits