いう名前は、型の利用者から完全に隠した型の値の表現方法に由来します。このような情報の隠蔽は、抽象の実装に対する変更が抽象型を使っている型安全なコードで型エラーを引き起こさないよう保証する努力です。抽象型はモジュールプログラミングをサポートする重要な役割をはたします。抽象型の実際的で典型的な使用の例を次に示します。整数の有限集合に対する様々な機能を提供するパッケージを実装しているとしましょう。ボックス化されていることを指示します。サイズはポインタのサイズと同じです。アンボックス化された抽象型の開始で、別の章で説明します。名前のつけられたファイルに格納されているものとしましょう。説明のために、ここでは整数の順序付きリストを使って表現される整数の有限集合を実装します。キーワードを使いました。同一に扱うように指示します。この結び付きは、それが導入されたスコープの終了まで有効です。等価だという前提はファイル末尾まで有効です。宣言によって具体化することができないという、グローバルな制限があります。具体化されていたら、これらの2つのファイルを一緒にして1つの実行ファイルで使うことはできません。残りの実装は全て一般的なものです。パッケージで宣言されている様々な関数と値のインターフェイスの直後でコンストラクトすることがあります。欠陥をすぐに発見することができます。