Arantium Maestum

プログラミング、囲碁、読書の話題

2022-11-08から1日間の記事一覧

Hindley Milner型推論に機能を追加していく6 Variant型の追加(前編)

バリアント型を追加していく。前回のレコード(あるいは前々回のタプル)と合わせて、代数的データ型の直積、直和が表現できるようになる。 コードはここ。 少し長くなったので今回は型としてバリアントを追加する話のみ。バリアント型の式を言語に追加して…