訳語対照表

A

abstract syntax

抽象構文

ancestor class

親クラス

annotation

アノテーション、注釈

anonymous

無名

B

binary method

バイナリメソッド

boolean

真偽値

C

compilation unit

翻訳単位

component

(構成)要素

concrete syntax

具象構文

concrete type

具象型

constraint

制約

constructor

構成子(バリアントの-)、構築子(オブジェクトの-)

contravariant

反変

covariant

共変

D

destructure

分解

directive

指示子

F

float

浮動小数点数

functor

ファンクタ

I

immediate object

直接生成されたオブジェクト

immutable

変更不能

initializer

初期化子

invariant

不変

M

A matches B

A が B にマッチする

match A against B

A を B にマッチさせる

mutable

変更可能

O

option

省略可能

P

parent class

親クラス

parsing

構文解析

polymorphic

多相(的)

R

refine(ment)

(型の)詳細化。 incremental refinment = 段階的詳細化

S

signature

シグネチャ

structure

ストラクチャ

subclass

子クラス

subtype

部分型

super type

上位型

T

tuple

タプル

type component

型要素

type equation

型等式

type expression

型式

type representation

型表現

U

unify

単一化する

V

variance

変位

variant

バリアント

virtual method

抽象メソッド

virtual class

抽象クラス