問題タブ [heterogeneous-array]
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 - Haskell における存在型のコンパイルの問題
私は単純な型クラスを書きましたShape
:
また、具象型もあり、Circle
この型クラスを次のようにインスタンス化します。Rect
Triangle
Circle
具体的な型のインスタンスRect
を含む異種リストを操作するために、異種コレクションに関する haskell wiki チュートリアルTriangle
に従い、次のような存在データ型を実装しました。ShapeType
型クラスをShapeType
インスタンス化します。Shape
これで、次のようなコードでこれを使用できます。
残念ながら、これは行を省略した場合にのみコンパイルされます
move (x,y) (MkShape s) = move (x,y) s
そうしないと、次のコンパイル エラーが発生します。
s
委任呼び出しで使用するためのパターン マッチングによる"抽出" は、他の 3 つのケースでは正常に機能するため、これは私には意味がありません。
ここで何がうまくいかないのですか?
アップデート
この簡単な修正により、コードは期待どおりに機能するようになりました。
c++ - C++ でのカスタム異種コンテナーからの印刷
C++ でのカスタム異種コンテナーの構築に関するブログを読んでいます。ブログでは、著者は訪問者パターンを使用して、コンテナの各要素をタイプ順に並べて出力しました。挿入された順序で要素を印刷できるように、ビジターを作成することは可能でしょうか?