Nimに統一呼び出し構文というのがある。 http://nim-lang.org/docs/manual.html#procedures-method-call-syntax Eiffelでも、プロパティとメソッドをまとめてフィーチャと呼んでいて、プロパティと引数なしメソッドの区別はなかったと思う。

公理付きか公理なしか： 公理付きならセオリー、なしなら指標。 パラメータが1つか複数か： 単パラメータ型クラス（単一の型パラメータを持つ型クラス）と複パラメータ型クラス（複数の型パラメータを持つ型クラス） パラメータを使うかレコードフィールドを…