(computing theory) A parameterized type that does not depend on all of its type parameters.
phantom type
ファントム型を用いて、そのライブラリは実行時の表現に影響を与えずに単位を型レベルでエンコードします。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★