問題タブ [overlapping-instances]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
haskell - 機能の依存関係と重複するインスタンス
私はファンデップを持つ型クラスを持っています:
特定のインスタンスを提供したい:
一般的なデフォルトのインスタンスと同様に:
このコードを記述どおりに実装すると、コンパイルされません。
型ファミリへの切り替えは役に立ちません:
理想的には、GHC に OverlappingInstances の「最も具体的な」ルールを使用してこれを解決してもらいたいと考えています。
これはしばらく前から知られている問題であり、さまざまなハッキーな解決策が提案されていることを理解しています。
- [Haskell-cafe] 関数の依存関係を持つインスタンスの重複 (2005 年 7 月[!])
- https://homepages.cwi.nl/~ralf/HList/
- 関数の依存関係に対する健全で決定可能な型推論
- 重複するインスタンス + 機能依存関係が不健全ですか?
- Haskellは重複するインスタンスをどのように解決しますか?
現在のGHC Haskellで最も推奨されるソリューションは何ですか?
multiple-instances - detectron2 を使用したインスタンス セグメンテーションのために、オブジェクトが重なっているイメージにラベルを付ける
同じクラスのオブジェクトが重なっている画像に注釈を付ける方法を知っている人はいますか? 重複する状況で上記のオブジェクトのみを検出したいだけです。参考までに、画像を添付しました。画像でわかるように、最初の黒いパイプで検出したい