問題タブ [reification]

私は Haskell に非常に慣れていないので、いくつかのモジュラスで Integral の任意のインスタンスを表す型を作成しようとしています。私はいくつかのサンプルコードをオンラインで見つけてそれを使って作業しているので、私の型定義は次のようになります:

ほとんどのことは思い通りに機能しています。表示、加算、減算などを行うことができます。

ただし、これらの型の算術演算の結果を表示することはできません。たとえば、GHCi では次のようになります。

この問題は、これらの数値を実装しようとした他の多くの方法で発生し、Data.Reflection パッケージがどのように機能するかを理解することで問題が発生することがわかりました。また、他の人にとってより自然に見える他の実装にも興味があります。私はもともと次のようなことをしようとしていました

と切り替えました。乾杯！

そのような準引用符のクラスコメントを挿入しようとしています

しかし、例外をスローしています

オントロジーのオブジェクト プロパティに属性を関連付ける方法は?

オブジェクトのプロパティをクラスとして定義できる方法に出会いました。しかし、このアプローチではルールの定義が難しくなります。他の方法はありますか？

Java 8 lambdas、Function.identity() または t->tで見つかった回答は、Function.identity()ほぼ常に と同等であることを暗示しているようですt -> t。ただし、以下に示すテストケースでは、を置き換えるとコンパイラ エラーが発生しますt -> t。Function.identity()何故ですか？

ケース 1 は正常にコンパイルされますが、ケース 2 は次のように失敗します。

私の環境は、Windows 10、64 ビット、Oracle JDK ビルド 1.8.0_92-b14 です。

更新: これが ecj の下でコンパイルされるのを見て、フォローアップの質問があります: これは のバグjavacですか? この事件についてJLSは何を言わなければなりませんか？

パニング( OWL 2 DL で導入された)により、クラスとオブジェクト・プロパティに同じ名前(IRI)を付けることができます(関連付けの例を参照)。

この方法のメタモデリングを使用して、リレーションに属性を追加できますか?

たとえば、リレーションはと をdrives結びます。が駆動される を指定したいのですが、このプロパティは に属します。パニングを使用すると、クラスと という名前のオブジェクト プロパティの両方を指定することで、関連付けクラスとしてモデル化できます。これにより、何らかの形でデータ プロパティが関連付けられたオブジェクト プロパティを使用できるようになると思います。PersonVehiclevelocityVehicledrivesdrivesdrives

これが正しい方法であるかどうかを知りたいです。何か不足していますか？