抽象データ型言語

仕様の変更に弱い

言語例