型レベル 値レベルについて
Q&A
Closed
型レベル、値レベルとはどういう意味ですか？
またそれらの違いが分かるようなコードの例などがあれば教えてください。
0
1Answer
「TypeScript で型レベルプログラミングする」というような使い方の型レベルのことでしょうか。でしたら、「型システムの高度な機能を使いこなしてプログラミングする」とか「型システムだけで何かの機能を実現する」程度の意味です。実例は以下の記事を参照してください。
あるいは、コードレビューで「この関数の引数の制約は型レベルでは表現しきれないのでアサーションを書いてください」というような言い方をすることがあります。この型レベルは特に意味はなく、単に型のことです。
どちらにしても型レベルに対する値レベルという言い方は普通しないと思います。
0Like
Comments
@riccky
Questioner
ご回答ありがとうございます。
認識の通りの型レベルです。参考書に書いてあったのですがおそらく単に型だけのことをいっているようです。
調べてもあまり出てこないようなので忘れようと思います。