索引

この索引にないAPIについてはこちらを参照してください。

用語の意味についてはこちらを参照。

記号

• ! → side effect
  • !-type → mutable type
• ? → error handling
• # → コメント
• $ → shared
• %
• &
  • &&
• ′ (single quote)
• " (double quote)
• () → Tuple
• *
  • * → *-less multiplication
• + (前置) → operator
  • +_ → + (前置)
• + (中置) → operator
• + (中置) → Trait
• ,
• − (前置)
  • −_ → − (前置)
• − (中置) → operator
• − (中置) → Trait
  • −> → anonymous function
• . → Visibility
  • ... assignment
  • ... Extract assignment
  • ... function
• /
• :
  • : → Colon application style
  • : → Declaration
  • : → Keyword Arguments
  • :: → visibility
  • := → default parameters
• ;
• <
  • <: → Subtype specification
  • <<
  • <=
• = → Variable
  • ==
  • => → procedure
• >
  • >>
  • >=
• @ → decorator
• [] → Array
• \ → Indention
• \ → Str
• ^
  • ^^
• _ → Type erasure
  • _+_ → + (infix)
  • _-_ → − (infix)
• `` (back quote)
• {}
  • {} type
• {:}
• {=} → Type System
  • {=} type
• |
  • || → Type variable list
• ~

アルファベット

A

• [Add]
• alias
• Aliasing
• algebraic type
• [And]
• [and]
• anonymous function
• Anonymous polycorrelation coefficient
• anonymous type → Type System
• Array
• [assert]
• Attach
• attribute
• Attribute definitions
• Attribute Type

B

• Bool, Boolean
• Boolean Object
• borrow

C

• Cast
• Comments
• Complex Object
• Compile-time functions
• circular references
• Class
• Class Relationship
• Class upcasting
• Colon application style
• Closure
• Compound Literals
• Complement
• Comprehension
• constant
• Constants
• Context

D

• Data type
• Declaration
• decorator
• Default parameters
• Del
• Dependent Type
• Deconstructing a record
• Deprecated
• Dict
• Diff
• Difference from Data Class
• Difference from structural types
• distinct
• Downcasting

E

• Empty Record
• Enum Class
• Enum type
• Enumerated, Interval and Refinement Types
• error handling
• Existential type
• Exponential Literal
• Extract assignment

F

• False → Boolean Object
• Float&sbsp;Object
• for
• For-All Patch
• For all types
• freeze
• Function
• Function definition with multiple patterns

G

• GADTs(Generalized Algebraic Data Types)
• Generator
• Glue Patch

H

• High-order function

I

• id
• if
• import
• impl
• [in]
• Indention
• Instant Block
• Instance and class attributes
• Implementing and resolving duplicate traits in the API
• inheritable
• inheritance
• Inheritance of Enumerated Classes
• Int
• Integration with Python
• Interval Type
• Intersection
• Iterator

J

K

• Keyword arguments
• Kind

L

• lambda → anonymous function
• let-polymorphism → [rank 1 polymorphism]
• Literal Identifiers
• log → side effect

M

• [match]
• Marker Trait
• Method
• Modifier → decorator
• module
• Multiple Inheritance
• Multi-layer (multi-level) Inheritance
• Mutable Type
• Mutable Structure Type
• Mutability

N

• Nat
• [Never]
• New type
• Heterogeneous Dict
• None → [None Object]
• [None Object]
• Nominal Subtyping → Class
• [Not]
• [not]

O

• Object
• [Option]
• [Or]
• [or]
• [Ord]
• ownership system
• Overloading
• Overriding
• Override in Trait

P

• Panic
• Patch
• Pattern match
• Phantom class
• pipeline operator
• Predicate
• [print!]
• Procedures
• Projection Type
• Python → Integration with Python

Q

• Quantified Type
• Quantified Dependent Type
• Quantified Types and Dependent Types

R

• Range Object
• [ref]
• [ref!]
• Record
  • Record type composite
• Recursive functions
• Refinement pattern
• Refinement Type
• replication
• Replacing Traits
• Result → error handling
• Rewriting Inherited Attributes
• rootobj

S

• Script
• Selecting Patches
• self
• Self
• Shared Reference
• side-effect
• Smart Cast
• Spread assignment
• special type variables
• Stack trace
• Structure type
• Structural Patch
• Structural Trait
• Structural Subtyping
• Structural types and class type relationships
• Str
• Subtyping
• Subtyping of subroutines
• Subtype specification
• Subtyping of Polymorphic Function Types
• Subroutine Signatures

T

• Test
• Traits
• Trait inclusion
• True → Boolean Object
• True Algebraic type
• [Type]
• type
• Type arguments in method definitions
• Type Bound
• Type Definitions
• Type erasure
• Type Inference System
• Type specification
• Type System
• Type Widening
• Tuple

U

• union
• Unit
• Upcasting
• Usage of Inheritance

V

• Value Type
• Variable
• variable-length arguments

W

• [while]

X

Y

Z

あ行

• [アサーション]
• 値オブジェクト
• アタッチメントパッチ
• アドホック多相 → オーバーロードの禁止
• アトリビュート → [属性]
• アリティ
• 依存型
• イミュータブル → [不変]
• 引数(いんすう) → [引数(ひきすう)]
• インスタンス
• インスタントブロック
• インデックス
• インデント
• エイリアス
• エラー
  • [エラーハンドリング]
• 演算子
  • [演算子の結合強度]
• オーバーライド
• オーバーロードの禁止
• オフサイドルール → インデント
• [オブジェクト]
  • オブジェクト指向
• オペランド → 被演算子
• オペレーター → 演算子

か行

• カインド
• [可視性]
• [型]
  • [型指定]
  • 型消去
  • [型推論]
  • 型注釈・型指定
  • 型表示
  • [型引数]
  • 型付加
  • 型変数
  • [型制約]
• [ガード]
• カプセル化
• [可変]
  • [可変オブジェクト]
  • [可変型]
  • [可変参照]
  • [可変配列]
  • [可変長引数]
• 関数
  • 関数型プログラミング
• 基底型
• 記名
  • [記名型] → クラス
  • [記名化]
  • 記名的部分型
• キャプチャ → [クロージャ]
• [共変]
• [キーワード引数]
• 空集合 → [{}]
• 区間
  • 区間型
  • 区間演算子
• 組み込み
  • [組み込み型]
  • 組み込み関数
  • 組み込みプロシージャ
• クラス
• [クロージャ]
• [グローバル変数]
• [クローン]
• 継承
• 高階
  • 高階カインド
  • 高階型
  • 高階関数
• [公開変数]
• [構造的部分型]
• 後方参照 → [前方参照]
• [コピー]
• コメント
• コレクション
• コロン → [:]
• コンストラクタ
• コンテナ
• コンパイラ
• コンパイル時計算
• コンマ → [,]

さ行

• 再帰
  • 再帰型
  • 再帰関数
• サブスクリプト → [インデックス]
• サブタイピング多相
• サブルーチン
• 参照
  • 参照オブジェクト
  • 参照カウント(RC)
  • 参照等価性 → 副作用
• 識別子
• シグネチャ
  • 型シグネチャ
• 辞書
• [自然数] → [Nat]
• ジェネリクス → [全称型]
• ジェネレータ
• [射影型]
• 借用 → 参照
• シャドーイング
• 種 → カインド
• [集合] → [セット]
• 述語
  • [述語関数]
• 条件分岐
• [所有権]
• 真偽型 → [Bool]
• シングルトン
• [シンボル] → 識別子
  • [シンボル化]
• スクリプト
• スコープ
• スプレッド演算子 → [展開代入]
• スライス
• 制御文字
• [整数] → [Int]
• セット
• セミコロン → [;]
• 宣言
• 全称
  • 全称型 → 多相型
    • 閉じた全称型
    • 開いた全称型
  • 全称関数 → 多相関数
  • 全称量化
• 前置演算子
• 相互再帰
• 添字 → [インデックス]
• [属性]
  • [属性的部分型]

た行

• 代数
  • 代数演算型
  • 代数的データ型
• 代入
• 多重
  • 多重継承
  • 多重代入
  • 多重定義 → [オーバーロードの禁止]
• 多相
  • 多相型
  • 多相関数
• 多態 → [ポリモーフィズム]
• ダックタイピング
• タプル
• 単相
  • 単相化
  • 単相型
  • 単相関数
• [遅延初期化]
• 抽出代入
• 抽象構文木 → [AST]
• 中置演算子
• 定数
  • 定数型
  • 定数式
• [定義]
• 提供属性
• [適用]
• デコレータ
• デストラクタ
• 手続き → プロシージャ
• デフォルト引数
• 展開
  • [展開演算子]
  • [展開代入]
• 特殊形式
• 匿名関数 → 無名関数
• ドット演算子(.) → [属性参照]
• トップ
  • トップ型 → [Structural Object]
  • トップクラス → [Object]
• トレイト

な行

• 内包表記
• 中置(なかおき)演算子 → [中置(ちゅうち)演算子]
• [名前空間]

は行

• 配列
• 派生型
• パターン(マッチ)
• パッケージ
• ハッシュマップ → 辞書
• パッチ
• パブリック変数 → 公開変数
• パラメーター → 引数
• パラメトリック多相
• 反変
• 比較
  • [比較演算子]
  • [比較可能型]
• 非公開変数
• 標準
  • 標準出力
  • 標準入力
  • 標準ライブラリ
• 副作用
• 複素数 → [Complex]
• [浮動小数点数] → [Float]
• プライベート変数 → [非公開変数]
• ブール代数 → [Bool]
• プロシージャ
• 引数
• 部分型付け → [サブタイピング]
• [不変]
  • [不変オブジェクト]
  • [不変型]
  • [不変参照]
• 篩型
• [ブロック]
• 分解代入
• 変数
• ボトム
  • ボトム型 → [{}]
  • ボトムクラス → [Never]
• [ポリモーフィズム]

ま行

• 前置(まえおき)演算子 → 前置(ぜんち)演算子
• マーカー型
• 無名関数
• ミュータブル → [可変性]
• ムーブ
• メソッド
• メタキャラクタ
• モジュール
• 文字列 → Str
  • 文字列補間
• 戻り値

や行

• 幽霊型
• 要求属性
• [要素]
• [呼び出し]

ら行

• [ライブラリ]
• ラムダ式 → 無名関数
• ランク
  • ランク2多相
• リテラル
  • リテラル識別子
• 量化
• レイアウト
• 列挙型
• レコード
  • レコード型
  • レコード多相 → [列多相]
• [列多相]
• ローカル変数

わ行

• ワイルドカード