私のコース「プログラミング言語」を読んでいるときにこの質問に出くわし、興味をそそられました。これについて他の人の意見が欲しい:
メモリ内のデータ型の特定の表現を指定する言語定義もあれば、それらの型のセマンティック動作のみを指定する言語定義もあります。
後者のクラスの言語では、特定の表現を保証する実装もあれば、異なる状況で異なる表現を選択する権利を留保する実装もあります。どちらのアプローチが優れていると思いますか? また、その理由は何ですか?
私の意見では、独自のカスタム データ型を定義し、さまざまな場所や状況でさまざまな方法で使用できるため、後者のアプローチの方が優れています。どう思いますか?