問題タブ [context-bound]

Scala 2.8 の新機能の 1 つにコンテキスト境界があります。コンテキスト バウンドとは何ですか? また、どこで役立ちますか?

もちろん、最初に検索しました（たとえばこれを見つけました）が、本当に明確で詳細な情報を見つけることができませんでした。

scala-arm プロジェクトでは、次のようなコードが表示されます。

誰かが [A : Resource : Manifest] の意味を説明できますか?

注：私は自分で答えるためにこの質問を提起していますが、他の答えも歓迎します。

次の簡単な方法を考えてみましょう。

次のようにバインドされたコンテキストを使用してこれを書き直すことができます

しかし、メソッドNumeric[T]を呼び出すことができるように、タイプのインスタンスを取得するにはどうすればよいですか？plus

より高いkinded-typesでコンテキスト境界構文ショートカットを使用することは可能ですか？

Scala マスターへの最近のコミットの 1 つは、コンテキスト/ビューの境界を暗黙のパラメーターと組み合わせることに対する制限を取り除きます。これはボイラープレートの量を減らす大きな改善ですが、以前にその制限を設けた理由は何だったのでしょうか?また、現在どのような結果が予想されるでしょうか?

ContextBoundObject から継承されたクラスのインスタンスから作成された {System.Runtime.Remoting.Proxies.__TransparentProxy} 型のランタイム オブジェクトがあります。このクラスは、他のオブジェクトに対してイベントを発生させます。このプロキシ オブジェクトを元のオブジェクトに変換する必要があります。すべてのオブジェクトは、単一システムのデフォルトの AppDomain にあります。

それらを元のオブジェクトに変換する方法は? 同じメモリで実行している場合にプロキシが作成される理由

これはここでの最初の質問なので、十分な詳細を提供していただければ幸いです。ご不明な点がございましたらお気軽にお問い合わせください。

次の点を考慮してください。

このコードは、Option でラップされた BSON の断片を別の Option[T] に変換します。リストでも同じことができると思いましたが、以下はコンパイルされません。

一般的なメカニズムには次のコードを使用しています。

コンパイラ エラー: could not find implicit value for parameter reader: project.marshalling.bson.BsonReader[T,com.mongodb.casbah.Imports.DBObject] cur.map(_.fromBson[T]).toList

型を提供するために fromBson が呼び出される前に、コンパイラが T を評価しようとしているように見えるので、これは奇妙に思えます。オプションリーダーにはそのような苦情はないように見えるので、これは特に奇妙に思えます。私は最近 Scala で本格的にコードを書き始めたばかりなので、ここで何かが欠けていると確信しています。

さらに情報が必要な場合はお知らせください。お役に立てれば幸いです。

一番、

ダーク

上記のように、マニフェストは任意の型に対して暗黙的に存在するようです。

コンテキストがバインドされているため、これは、暗黙的なマニフェストがないタイプがいくつかあることを意味します-それらは何ですか?

たとえば、ブール論理の定義域を表現しようとしていると仮定します（今のところ削減は無視します）。したがって、ストアにはBools、Ands、Ors、Notsなどのインスタンスがあります。ただし、これらのことを具体的に表現する一方で、多くの場合、気になるのは、何かができるということだけです。ブール値、または2つのブール値の組み合わせとして表示されます（これはここではまったく意味がありませんが、より大きな例は、色が付いている可能性のあるすべてのものを要求する可能性のある、ある種の異種データストアです）。複数の潜在的な階層があるため、サブクラス化は実際にはそれをカットしません。明示的な変換を避けたいので、型クラスが進むべき道のようです。だから私はこのようなものを持っています：

Thingただし、繰り返しを避けるために、任意のサブクラスがを満たすことを指定したいと思いますThing#Class。したがって、これに対する私の試みは次のとおりでした。

しかし、私がそうするなら

証拠はありませんがSubclassIsClass[BoolLike, Bool]、適切な代理人に電話してもらうことができます。これは暗黙的に推測可能である必要がありますか？

コンテキスト バウンドで、より高い種類の型の型コンストラクター パラメーターにアクセスすることは可能ですか? 高次の型を取り、コンストラクターパラメーターのインスタンスを返すメソッドを持つ特性を定義しようとしています。

これは、コンテキスト境界に 2 つの型パラメーターを含めることができないというコンパイラ エラーで失敗しますが、型コンストラクター パラメーターにアクセスする別の方法が見つかりませんか?