Tezos
https://www.scamlang.dev/
https://www.dailambda.jp/blog/2020-02-01-scaml-jp-0/
OCaml実装のBlockchain