コンテンツにスキップ
メインメニュー
メインメニュー
サイドバーに移動
非表示
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
練習用ページ
アップロード (ウィキメディア・コモンズ)
ヘルプ
ヘルプ
井戸端
お知らせ
バグの報告
寄付
ウィキペディアに関するお問い合わせ
検索
検索
表示
アカウント作成
ログイン
個人用ツール
アカウント作成
ログイン
ログアウトした編集者のページ
もっと詳しく
投稿記録
トーク
Template
:
型システム
7の言語版
العربية
English
فارسی
മലയാളം
Русский
Svenska
中文
リンクを編集
テンプレート
ノート
日本語
閲覧
ソースを編集
履歴表示
ツール
ツール
サイドバーに移動
非表示
操作
閲覧
ソースを編集
履歴表示
全般
リンク元
関連ページの更新状況
ファイルをアップロード
特別ページ
この版への固定リンク
ページ情報
短縮URLを取得する
QRコードをダウンロード
ウィキデータ項目
印刷/書き出し
PDF形式で書き出す
印刷用バージョン
他のプロジェクト
表示
サイドバーに移動
非表示
型システム
主要カテゴリ
静的型付け
vs
動的型付け
強い
vs
弱い
明示的
vs
型推論
名前的
vs
構造的
ダックタイピング
マイナーカテゴリ
部分型
再帰型
部分構造型
依存型
漸進的型付け
フロータイピング
潜在的型付け
型理論のコンセプト
直積型
-
直和型
交差型
-
共用型
単一型
-
選択型
帰納型
-
精製型
トップ型
-
ボトム型
函数型
-
商型
全称型
-
存在型
一意型
-
線形型
カテゴリ
:
型システム
隠しカテゴリ:
変換する必要があるスタイルを使用しているサイドバー