Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第5回目です。
今回はついに SCaml でTezosのスマートコントラクトを書きます!
[続きを読む]Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第5回目です。
今回はついに SCaml でTezosのスマートコントラクトを書きます!
[続きを読む]Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第4回目です。
今回はTezosスマートコントラクトのプログラムを書くにあたって押さえておくべきデータ型についてです。いつになったら SCaml を書き始められるのか…
[続きを読む]Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第3回目です。
今回はTezosブロックチェーンにアクセスするコマンドラインウォレット tezos-client
の実習です。
Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第1回目です。(この内容は 2020-03-21 にやった SCaml ハンズオンの資料を手直ししたものです。)
今回は演習の準備です。
[続きを読む]Plebeia is a functional storage system using Merkle Patricia tree implemented purely in OCaml. It is meant to be used for Tezos blockchain.
Here are our updates since the last article:
The code of Plebeia is available in GitLab. Plebeia integrated Tezos node is also available.
[続きを読む]SCaml という Tezos ブロックチェーン のためのスマートコントラクト記述言語とコンパイラを作って元旦にリリースしました。
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. Primarily it was to reduce the development cost, however we soon found several benefits of keeping it a strict subset of OCaml. OCaml programmers can write smart contracts in SCaml immediately without lots of surprises. Tools around OCaml can be used for SCaml almost for free, and so on. For more details, please read our previous post “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.
[続きを読む]