Welcome to Move, a next generation language for secure, sandboxed, and formally verified programming. It has been used as the smart contract language for several blockchains including Aptos. Move allows developers to write programs that flexibly manage and transfer assets, while providing the security and protections against attacks on those assets. However, Move has been developed with use cases in mind outside a blockchain context as well.
Move takes its cue from Rust by using resource types with move (hence the name) semantics as an explicit representation of digital assets, such as currency.
Move was designed and created as a secure, verified, yet flexible programming language. The first use of Move is for the implementation of the Diem blockchain, and it is currently being used on Aptos.
This book is suitable for developers who are with some programming experience and who want to begin understanding the core programming language and see examples of its usage.
Begin with understanding modules and scripts and then work through the Move Tutorial.
Moveへようこそ。これは、セキュアで、サンドボックス化され、手続きを踏んで検証されたプログラミングのための、次世代の言語です。Aptosを含む複数のブロックチェーンでスマートコントラクト言語として使用されています。Moveは、資産の柔軟な管理と転送をプログラムで書くことを開発者に可能にしながら、それらの資産に対する攻撃からのセキュリティと保護を提供します。また、Moveはブロックチェーンのコンテキスト外のユースケースも念頭に置いて開発されています。
Move言語は、デジタル資産（例えば通貨）を明示的に扱うために、「リソースタイプ」という概念と「moveセマンティクス」を用いています。これは、Rustというプログラミング言語からの影響を受けたものです。ここで言う「リソースタイプ」とは、デジタル世界における価値のあるもの（通貨やトークンなど）を、コード上で特別な種類のデータとして扱うことを意味します。そして、「move」という言葉は、これらのリソースがプログラムの一部から別の部分へと「移動」する際の挙動を定義します。
この「moveセマンティクス」のおかげで、Move言語を使うことにより、デジタル資産が誤って二重に使われる（二重支出）ことや、不正にコピーされることが防がれます。つまり、あるユーザーから別のユーザーへ通貨を送る時、その通貨は元の場所から新しい場所へ安全に「移動」します。このプロセスは、実世界で現金を人から人へ手渡す行為に似ています。
Moveは、安全で検証可能、かつ柔軟なプログラミング言語として設計・開発されました。Moveの最初の使用例はDiemブロックチェーンの実装であり、現在はAptos上で使用されています。
Aptos Move Bookは、ある程度のプログラミング経験を持ち、Move言語を理解し、その使用例を見たいと思っている開発者に適しています。
モジュールとスクリプトの理解から始め、次にMoveチュートリアルを進めていきます。