暗黙の型変換の説明を修正する

[mizdra]

現状wasmの仕様にu32が存在すると記載しているが, 実際にはプリミティブ型は i32 i64 f32 f64 の4つしか無い. これはwasmではプリミティブ型で符号を区別せず, オペレータ側で符号を区別するというwasmの思想に由来する. オペレータの定義に u32 が利用されていたため, プリミティブ型にもu32が存在するとすっかり勘違いしていた…

The types 𝗂𝟥𝟤 and 𝗂𝟨𝟦 classify 32 and 64 bit integers, respectively. Integers are not inherently signed or unsigned, their interpretation is determined by individual operations.

https://webassembly.github.io/spec/core/syntax/types.html#value-types

以下の内容を含むよう文章を変更したい.

• wasmは i32 i64 f32 f64 の4つのプリミティブ型のみを持つこと
  • https://webassembly.github.io/spec/core/syntax/types.html#value-types
• wasmからjsに値を渡した時に, どのように値が変換されるか
  • https://webassembly.github.io/spec/js-api/index.html#tojsvalue
• wasmからjsに i64 を渡すと, アサーションエラーが発生すること
  • https://webassembly.github.io/spec/js-api/index.html#tojsvalue
• rustのu32, i8, i128型など, wasmに対応する型が無いものは別の型に変更される
  • https://github.com/rust-lang-nursery/rust-wasm/issues/29#issuecomment-372188047

[mizdra]

Rustのプリミティブ型一覧は以下のページから確認できる.

• Primitive Types - std - Rust