Rustのsupertraitで束縛されたtraitパラメータ

Question

私はHaskellとRustの両方が新しく、HaskellコードをRustに翻訳して、一般性をサポートする機能を比較しようとしています。しかし、私は構文やRustの基本的な概念について助けが必要なようです。

私はHaskellでこのコードを持っている：

class HasEmpty a where 
    empty :: a 
    isEmpty :: a -> Bool 

class Hashable a where 
    hash :: a -> Int 

class (HasEmpty x, Hashable (Element x)) 
     => Hashset x where 
    type Element x 
    size :: x -> Int 

重要な部分は、我々は、単一のパラメータxとサブクラスHasEmptyを取る​​という名前の型クラスを定義一番下にあります。型クラスの本体は、関連する型を定義します。これは、Hashableである必要があり、関連するメソッドsizeです。

どうすればRustでも同じことができますか？ここで私はこれまでに書かれたものです：

trait HasEmpty { 
    fn empty(&self); 
    fn is_empty(&self) -> bool; 
} 

trait Hashable { 
    fn hash(&self) -> u32; 
} 

trait Hashset<E> 
    where E: Hashable 
{ 
    fn size(&self) -> i32; 
} 

これは、コンパイルおよび関連タイプEがハッシュ可能と言うことは、私を許可しますが、どのように私はそれを使用することによりHasEmptyの「形質メソッド」「を継承する」ことができますsupertrait？

しかし、関連するタイプを制約してスーパータートを使用することはできますか？おそらく私は間違った質問をしています。

Answer 1

関連するタイプを制約してスーパータートを使用することは可能ですか？

あなただけの2つの構文を組み合わせてなかった理由私はわからない、わから：

trait Hashset<E>: HasEmpty 
    where E: Hashable 
{ 
    fn size(&self) -> i32; 
} 

しかし、あなたはEがない関連するタイプであることを知っている必要があり、それだけで一般的なのですタイプ。詳細は、When is it appropriate to use an associated type versus a generic type?を参照してください。

関連するタイプは次のようになります。

trait Hashset: HasEmpty { 
    type E: Hashable; 
    fn size(&self) -> i32; 
}