aiscript icon indicating copy to clipboard operation
aiscript copied to clipboard

用語: プリミティブプロパティの名称がこれで良いのか考える

Open marihachi opened this issue 2 years ago • 20 comments

marihachi avatar Nov 18 '23 10:11 marihachi

どうじゃろ

marihachi avatar Nov 18 '23 10:11 marihachi

リテラルは一般的にnull12'hoge'のような"記法"(またはその記法で記したもの)のことを指すので、 リテラルで表記されたものでなくても(例えばMath:PI.to_str()など)使えるプリミティブプロパティ(仮)に対して"リテラルプロパティ"は不適当な名称な気がします

FineArchs avatar Nov 18 '23 10:11 FineArchs

ただ、"プリミティブプロパティ"の方にも「一般的に配列はプリミティブ型ではない」という問題があります

FineArchs avatar Nov 18 '23 10:11 FineArchs

一般的かどうかは重要ではない気がします。 他の言語とAiScriptで必ずしも用語の定義やその適用範囲が同じである必要はないと思うので

marihachi avatar Nov 18 '23 11:11 marihachi

とりあえずプリミティブが何を指している用語なのか定義したほうが良さそうですね..

marihachi avatar Nov 18 '23 11:11 marihachi

逆にプリミティブでないものってなんでしょうか?

marihachi avatar Nov 18 '23 11:11 marihachi

とりあえずプリミティブが何を指している用語なのか定義したほうが良さそうですね..

現状の使われ方を見ると第一級オブジェクトと盛大に被っている感じがあります

FineArchs avatar Nov 18 '23 11:11 FineArchs

逆にプリミティブでないものってなんでしょうか?

今は存在していませんが、any型やユニオン型とか…?

FineArchs avatar Nov 18 '23 11:11 FineArchs

そもそもプリミティブなのは型なのか値なのか

FineArchs avatar Nov 18 '23 11:11 FineArchs

型ごとに定義されているという特徴から、いっそ「型プロパティ」に改名するのはどうでしょう?

FineArchs avatar Nov 18 '23 11:11 FineArchs

型といっても物理的なデータ型ともう少し抽象的な型(例えばユニオン型のようにどちらかの型に当てはまる値を持っている可能性を表しているような)があると思っています

marihachi avatar Nov 18 '23 11:11 marihachi

その辺ちょっと別の概念のような気がしてちょっと前から違和感がありますね..

marihachi avatar Nov 18 '23 11:11 marihachi

組み込みプロパティ?

salano-ym avatar Nov 18 '23 11:11 salano-ym

現時点で、AiScriptにおける型ってなんでしょうか

marihachi avatar Nov 18 '23 11:11 marihachi

組み込みプロパティ?

良いかも

marihachi avatar Nov 18 '23 11:11 marihachi

第一級オブジェクトやプリミティブって読んでるものは単に値としても良さそうな気がします

marihachi avatar Nov 18 '23 11:11 marihachi

組み込みプロパティ?

転じて物理的な型を「組み込み型」と呼ぶことができそうですね

FineArchs avatar Nov 18 '23 11:11 FineArchs

インタプリタのレベルでどちらも同じようにValueオブジェクトに入るので、他の言語のようにオブジェクトとプリミティブ型のように区別することもないでしょうし

marihachi avatar Nov 18 '23 11:11 marihachi

とりあえずそのようにドキュメントを書き換えてみます

FineArchs avatar Nov 18 '23 11:11 FineArchs

変数名やファイル名も書き換える場合、一応ホスト向けの破壊的変更になりますが(ほとんどのケースで影響がないとはいえ)nextの方にしたほうがいいですかね?

FineArchs avatar Nov 18 '23 12:11 FineArchs