aptos-core/aptos-move/move-examples/move-tutorial at main · aptos-labs/aptos-core

Aptos Move チュートリアルへようこそ！これは、特定のネットワークに依存しない、オリジナルのMove言語とツールのチュートリアルで、Aptosツールを使用するように適応されています。ここでは、Moveをコンパイル、テスト、検証するためのMove言語とツールの基本的な使い方を学びます。 このチュートリアルでは、既存のAptos Moveフレームワークの使用方法や、Aptosネットワーク上でコードを実行する方法は教えません。それらの手順については、Aptos開発者ドキュメントを参照してください。 全部で9つのステップがあります：

• Step 0: Preparation
• Step 1: Writing my first Move module
• Step 2: Adding unit tests to my first Move module
• Step 3: Designing my basic_coin module
• Step 4: Implementing my basic_coin module
• Step 5: Adding and using unit tests with the basic_coin module
• Step 6: Making my basic_coin module generic
• Step 7: Use the Move prover
• Step 8: Writing formal specifications for the basic_coin module

各ステップは、対応するstep_xディレクトリ内で自己完結するように設計されています。例えば、ステップ1～4の内容をスキップしたい場合は、ステップ5の前に書いたコードは全てstep_5ディレクトリにあるので、ステップ5に進んでも構いません。いくつかのステップの最後には、より高度なトピックに関する追加資料も含まれています。

それでは始めましょう！

Step 0: Preparation

Step 1: Writing my first Move module

Step 2: Adding unit tests to my first Move module

Step 3: Designing my basic_coin module

Step 4: Implementing my basic_coin module