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.