ocaml

Since 2019-09, DaiLambda has worked on a small secret project called SCaml, a compiler for smart contracts for Tezos blockchain. Now reaching its pre-release status, we have revealed its existence in Tezos Smart Contracts: Programming Languages and Formal Verification on 2019-11-22. SCaml is a statically typed purely functional programming language. It is a strict subset of OCaml, which is wildly used in computer science and finance including Tezos protocol implementation. It compiles a subset of OCaml to Michelson, stack based VM language for Tezos smart contracts. [続きを読む]

ML(言語)勉強会、ML Day#2 に参加し、”ML for Money Language” という話をしてきました。

ML は今流行りの Machine Learning ではなく、関数型プログラミング言語の Meta Language と言われる一派を指します。この ML は堅牢なシステムを記述することができ、また、形式検証のための基礎言語として長年の歴史があることから、高い安全性が求められる暗号通貨の世界でも取り上げられることが多くなりました。ML が使えると暗号通貨業界でも活躍できますよ、という話です。

[続きを読む]