上の例では、引数の型からトレイツ型を決めました。メソッドを有するか否か」で判定してもよいでしょう。これを用いて、例題のトレイツ関数は、以下のように書けます。メソッドを持つので、上の例と同様に動作します。(mix-in)に相当することを見抜いたでしょう。柔軟な型と多重ディスパッチを用いて、特別な構文を用いずに記述できます。静的トレイツ関数ならオーバーヘッドもありません。気軽に書いてみましょう。この記事を投稿したのは、12月22日の夜です。