変数束縛は何らかの値を名前へと束縛するので、後でその値を使えます。束縛を導入するのに使われています。束縛しますが、このドキュメントでは逆になっています。Rustでは他の言語と違って1つの値に対して1つの名前が対応するのであえてこう書いてるのかもしれません。書くのは長ったらしいのでこれ以後は省略します。関数の中身を編集するようにしてください。しないとエラーになります。呼ばれるでしょうが、Rustの変数束縛は多少皮を被せてあります。文の左側は「パターン」であって、ただの変数名ではありません。これはこのようなことができるということです。パターンは本当に強力で、本書にはパターンのセクションもあります。今のところこの機能は必要ないので頭の片隅に留めておいてだけいてください。型アノテーションRustは静的な型付言語であり、前もって型を与えておいて、それがコンパイル時に検査されます。最初の例はコンパイルが通るのでしょう?ええと、Rustには「型推論」と呼ばれるものがあります。型推論が型が何であるか判断できるなら、型を書く必要はなくなります。書きたいなら型を書くこともできます。型はコロン(:)のあとに書きます。