Release of SCaml 1.0 Pyramid

Happy new year! We have just done our first release of SCaml, version 1.0 “Pyramid”. SCaml is yet another OCaml compiler to Michelson VM used for Tezos blockchain. SCaml’s primary goal is to build a fully working high-level programming language for smart contracts with the least efforts. For this purpose we have decided to make it over an existing language and chose OCaml as the base. We avoided adding any extra language feature. [続きを読む]

SCaml: It's not a scam.

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(言語)勉強会、ML Day#2 に参加し、”ML for Money Language” という話をしてきました。

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