問題タブ [deriving]

私はこのようないくつかのタイプを持っていました:

typeOfそして、私はこの関数でそれらを使用したかった:

findRateの型aにインスタンスがなかったため、これは機能しませんでしたTypeable。だから私はこれを行うことでそれを修正しました：

ただし、通貨の数が増えると、それは多くのボイラープレートになります。すべての種類の種類がインスタンスCurrencyを派生させるように指定する方法はありますか?Typeable

編集:また、それを推論させる方法がいいので、どこにでも追加する必要はありませMoney aん。それはマイナーですが。aTypeable(Typeable a) =>

このコード (プレイ中も)

で失敗しBadます

しかし、それは問題ありませんGood。

• これはなぜかと、
• 回避策はありますか？私は、12 の独立したフィールドを扱うことにまったく熱心ではありません。

この列挙型があるとしましょう：

ReadとShowのインスタンスを次の動作で定義したいと思います。

これらの定義には多くの繰り返しがあるため、各型コンストラクターを文字列に関連付けてから、それらの関連付けから自動的に生成Showしたいと考えています。Readそのようなことは可能ですか？

数値のように動作するカスタム型を作成する最も簡単な方法は?

プログラムで異なるユニットが混在するのを防ぐ型チェックが必要ですが、キャストを行ったり来たりせずに型の計算を簡単に実行できるようにしたいと考えています (カスタムCentimetersとInches型の場合と同様)。

私が作成した場合：

Add次に、 、Mul、Ordおよび他の多くの特性を手動で実装する必要があります。これは多くの定型文であり、このコードをコピーして貼り付けると、プログラムの基本的な算術演算が壊れるリスクが生じます:)

残念ながら#[derive(Add, Sub, …)]対応していないようです。同様の効果を達成できる別の標準的な特性/タイプ/クレートはありますか?