rascal - どの Rascal エンティティを大文字にする必要がありますか?

Question

Rascal の命名規則は何ですか? 中間パスではなくモジュールは、変数名も大文字になる傾向があるようです。違いはありますか？規則とその背後にある理論的根拠は何ですか?

Answer 1

私たちは、次のような条約に向けて取り組んでいます。

• 関数の識別子、変数名、コンストラクター、タプルとコンストラクターのフィールド名は、小文字で始まりキャメルケースで続きます。
• エイリアス、データ、構文、語彙の非終端記号などのユーザー定義型は、大文字で始まり、キャメルケースで続きます。

その論理的根拠は、現在、Rascal の構文定義では、あいまいさを防ぐために型名とラベル名の構文上の違いが必要であり、一方を大文字、もう一方を小文字にすることを選択したためです。上記の規則は、一貫性を保つために言語の残りの部分で無駄に継続されますが、まだ形式化されていません。