型

let age: i32 = 20;

let age: i32 = 20;
let name = "Alice"; // 型推論で String と判定される

型注釈は省略でき、コンパイラソースコードを解析し、実行可能な形式（機械語や中間表現）に変換するプログラム。静的型付け言語では、実行前にコンパイラが型の不整合などをチェックする役割も担う。が文脈から型を推論する。Generics や trait と組み合わせた表現力の高い型システムを持つ。

let age : Int = 20

let age : Int = 20
let name = "Alice" // 型推論で String

fn greet(name : String) -> String {
  "Hello, " + name
}

Rust/OCamlに近い構文を持つ、WebAssemblyをファーストクラスのターゲットとする新しい言語。型推論・代数的データ型複数の型を組み合わせて新しい型を作る手法。「AまたはB」のように取りうる形が閉じた集合になっているものをSum Type（直和型）と呼び、Rustの`enum`やHaskellの`data`が代表例。各variant（構成要素）が異なるフィールドを持てる点で、単純な整数の列挙とは異なる。・パターンマッチを備えつつ、コンパイル速度とバイナリサイズの小ささを重視して設計されている。

let age: Int = 20

let age: Int = 20
let name = "Alice" // 型推論で String
var nickname: String? = nil // Optional型でNullを表現

型推論が強力で型注釈を省略できる場面が多い。Kotlinと同様、Optional型によってNullの有無を型で表現する。

val age: Int = 20

val age: Int = 20
val name = "Alice" // 型推論で String
var nickname: String? = null // Nullを許容する型は明示的に分ける

型推論が強力で、型注釈を省略した書き方が主流。`String`と`String?`のようにNull許容/非許容を型システムで区別するのが特徴。

int age = 20;

int age = 20;
String name = "Alice";

ローカル変数の型推論（`var`）はJava 10以降で使えるが、基本的には型を明示して書くスタイル。

val age: Int = 20

val age: Int = 20
val name = "Alice" // 型推論で String

age match {
  case a if a >= 20 => println("adult")
  case _            => println("minor")
}

`val`（不変）/`var`（可変）で束縛の可変性をキーワードで区別する。case classとパターンマッチにより代数的データ型複数の型を組み合わせて新しい型を作る手法。「AまたはB」のように取りうる形が閉じた集合になっているものをSum Type（直和型）と呼び、Rustの`enum`やHaskellの`data`が代表例。各variant（構成要素）が異なるフィールドを持てる点で、単純な整数の列挙とは異なる。に近い表現ができ、JVM上で実務的なFPスタイルを実現している。

int age = 20;

int age = 20;
var name = "Alice"; // var による型推論

`var`によるローカル変数の型推論が使えるが、型を明示するスタイルも広く使われる。Nullable参照型（`string?`）でNull許容を型として区別できる。

int age = 20;

int age = 20;
auto name = std::string("Alice"); // auto による型推論

`auto`によるローカル変数の型推論はC++11以降で使えるが、関数シグネチャなどでは型を明示するのが伝統的なスタイル。テンプレートによる静的なジェネリックプログラミングも特徴。

int age = 20;

int age = 20;
char *name = "Alice"; // 型推論はなく、必ず明示する

型推論の構文が伝統的になく、変数は常に型を明示して宣言する。C23でようやく`auto`による限定的な型推論が追加されたが、対応は発展途上で、実務上はRustやGoよりずっと遅れて型推論を手に入れた言語という位置づけになる。ポインタ・配列・関数ポインタが絡む宣言は複雑になりやすく、後発言語が宣言構文自体を見直す動機の一つになった。

var age int = 20

var age int = 20
name := "Alice" // := による型推論

`:=` を使った短い変数宣言では型推論が効く一方、関数シグネチャなどでは型を明示するのが基本。

const age: i32 = 20;

const age: i32 = 20;
const name = "Alice"; // 型推論で *const [5:0]u8 と判定される

fn Box(comptime T: type) type {
    return struct { value: T };
}

`const`/`var`宣言では型注釈を省略でき、コンパイラソースコードを解析し、実行可能な形式（機械語や中間表現）に変換するプログラム。静的型付け言語では、実行前にコンパイラが型の不整合などをチェックする役割も担う。が初期化式から型を推論する。他言語と異なるのは型（`type`）自体が値として扱われ、`comptime T: type`のように関数引数として渡せる点で、GenericsはRustのような専用構文ではなく、この`comptime`パラメータを使ったコンパイル時のダックタイピングオブジェクトの型そのものではなく、そのオブジェクトが実際に持つメソッドやプロパティ（振る舞い）で扱いを決める考え方。「アヒルのように鳴き、アヒルのように歩くならアヒルとみなす」という比喩に由来し、動的型付け言語でよく採用される。として実現される。

let age : int = 20

let age : int = 20
let name = "Alice" (* 型注釈がなくても型推論で string と判定される *)

Hindley-Milner系の型推論を実用言語として広めた源流で、型注釈はほとんどの場面で省略できる。バリアント型（代数的データ型複数の型を組み合わせて新しい型を作る手法。「AまたはB」のように取りうる形が閉じた集合になっているものをSum Type（直和型）と呼び、Rustの`enum`やHaskellの`data`が代表例。各variant（構成要素）が異なるフィールドを持てる点で、単純な整数の列挙とは異なる。）とパターンマッチが標準機能として組み込まれており、`option`型でNullの有無を型として表現する。RustやMoonBitの型システム・構文設計にも影響を与えている。

let age : int = 20

let age : int = 20
let name = "Alice" // 型注釈がなくても型推論で string と判定される

OCamlと同系統のHindley-Milner型推論を持ち、型注釈はほとんどの場面で省略できる。判別共用体取りうる形が閉じた集合になっている型を、caseごとに異なるデータ（payload）を持たせて表現する仕組み。代数的データ型（ADT）のSum Typeに相当し、F#やOCaml（variant type）で使われる呼び方。パターンマッチと組み合わせて使うことで、全caseの網羅をコンパイラに検証させられる。（Discriminated Union）とパターンマッチが標準機能として組み込まれており、`Option<T>`でNullの有無を型として表現する。.NET上で動くため、C#など他の.NET言語ともシームレスに相互運用できる。

age :: Int
age = 20

age :: Int
age = 20

name = "Alice" -- 型注釈がなくても型推論で String と判定される

Hindley-Milner系の強力な型推論を持ち、型注釈はほとんどの場面で省略できる。代数的データ型複数の型を組み合わせて新しい型を作る手法。「AまたはB」のように取りうる形が閉じた集合になっているものをSum Type（直和型）と呼び、Rustの`enum`やHaskellの`data`が代表例。各variant（構成要素）が異なるフィールドを持てる点で、単純な整数の列挙とは異なる。（ADTAlgebraic Data Type（代数的データ型）の略。複数の型を組み合わせて新しい型を作る手法で、「AまたはB」のように取りうる形が閉じた集合になっているものをSum Type（直和型）と呼ぶ。Rustの`enum`やHaskellの`data`が代表例で、各variant（構成要素）が異なるフィールドを持てる点で、単純な整数の列挙とは異なる。）とパターンマッチが標準機能として組み込まれており、`Maybe`型でNullの有無を型として表現する。

Age = 20.

Age = 20,
%% Age = "Alice". %% 既に束縛済みの変数への再代入はマッチエラー

case Age of
    N when is_integer(N) -> N + 10;
    _ -> error
end.

変数は一度束縛すると同じ値にしか再束縛できず、別の値を代入しようとすると`badmatch`エラーになる（Elixirの再束縛とは異なる）。型注釈の構文はなく、型の検査は実行時のパターンマッチとガード節（`is_integer`など）で行う。オプションのtypespec（`-spec`）をDialyzerという静的解析ツールで検査できるが、コンパイラソースコードを解析し、実行可能な形式（機械語や中間表現）に変換するプログラム。静的型付け言語では、実行前にコンパイラが型の不整合などをチェックする役割も担う。自体は検査しない動的型付け言語。

age = 20

age = 20
age = "Alice" # 再代入ではなく新しい束縛（変数自体はイミュータブル）

case age do
  age when is_integer(age) -> age + 10
  _ -> :error
end

`=`は代入ではなくパターンマッチによる束縛で、値そのものはイミュータブル。型注釈はオプションのtypespec（`@spec`）で後付けでき、Dialyzerという静的解析ツールで検査できるが、実行時の型検査自体は動的型付け。

let age: number = 20;

let age: number = 20;
age = "Alice"; // コンパイルエラー

型検査はコンパイル時のみで、JavaScriptとして実行される段階では型情報は消える。「静的に検査すること」と「実行時にも型情報を持つこと」が別問題であることを示す例。

let age = 20;

let age = 20;
age = "Alice"; // 再代入で型が変わる
age + 10; // 暗黙の型変換で意図しない挙動になりうる

TypeScriptの土台となる言語で、型注釈の構文がない。暗黙の型変換によって、意図しない挙動が実行時に初めて表面化することがある。

$age = 20;

$age = 20;
$age = "Alice"; // 再代入で型が変わる
function setAge(int $age): void {} // 引数・戻り値には型宣言を書ける

変数自体に型注釈を書く構文はないが、関数の引数・戻り値・プロパティには型宣言をつけられる。`declare(strict_types=1)`を宣言すると、型不一致時の暗黙変換をやめて厳格に検査できる。

age = 20

age = 20
age = "Alice"  # 再代入で型が変わる
age + 10       # 実行して初めて TypeError になる

変数に型注釈を書く構文はなく、「そのメソッドが呼べるかどうか」で型を扱うダックタイピングオブジェクトの型そのものではなく、そのオブジェクトが実際に持つメソッドやプロパティ（振る舞い）で扱いを決める考え方。「アヒルのように鳴き、アヒルのように歩くならアヒルとみなす」という比喩に由来し、動的型付け言語でよく採用される。が基本。RBSやSorbetのような外部ツールで型を後付けすることもできるが、言語コア自体には型注釈がない。

age = 20

age = 20
age = "Alice"  # 再代入で型が変わる
age + 10       # 実行して初めて TypeError になる

変数自体には型がなく、値の側に型が紐づく。型の不整合は、その値を実際に使った時点で初めて顕在化する。