implicits

1熱

1答えて

この質問は深いタイプのレベルプログラミングであり、私の失敗は知識の不足によるものであることは知っています。私は少なくともこれをコンパイルする方法を知りたいです。私はtuple2がコンテキスト内でHigher-Kinded型になることを理解するためにコンパイラが必要です。 trait Extract[T[_],A]{ def extract(t: T[A]): A } object

15熱

3答えて

タイプラムダを正しく定義するには？

簡単な最小限の例を作成する目的で、ラムダの例として=:=を使用しました。 =:=タイプは2つの引数を取るので、タイプレベルで1つカレーしたいと思います。私はナイーブな実装type Curry[G] = {type l[L] = L =:= G}を取ることが、実用的には、それはエラーが発生し使用しています。 type X = Int type Y = Int type CurryInt[T]

2熱

2答えて

2つのscalaの型がないHList型を暗黙的に等価性のためにテストする

2つのHList異種レコードが「同等」であるかどうかをテストすることに興味があります。つまり、同じキー/値のペアを持ちますが、必ずしも同じ順序である必要はありません。下のコード部分でEquivHListsが行うことを行う定義済みの型述語はありますか？ // shapeless heterogeneous records with "equivalent" types. // these shou

0熱

1答えて

条件付きでスカラにimplicitsを生成する

私は連鎖した暗黙関数のシステムに取り組んでいます。これは以下の簡単な例に似ています。テストc1.payload == c2.payloadは、 "タイプスペース"にないテストを表しています。私はwitnessEvidenceの定義のためにマクロに入ることを期待していましたが、Scalaは明示的に任意の型の暗黙的な引数を持つマクロ定義を許可していません（WeakTypeTag値のみ！）ので、これをど

1熱

1答えて

どこでもspark implicitsをインポートするための回避策

私はSpark 2.0を初めて使用し、コードベースでデータセットを使用しています。私はちょっと気付いて、import spark.implicits._私たちのコードのどこにでも必要です。例えば：私はマップを行うすべての関数で暗黙にインポートせずに ds.map(e => "SomeString") を行うことができるようにするクリーンな方法があります場合、私はお聞きしたかった何 File A

3熱

1答えて

Scalaのtypeclassパターンの暗黙の定義の実行時コスト

thisの記事で、implicitsを使用してScalaで型式をシミュレートする方法について説明しています。私が間違っていない場合、再帰的インスタンス宣言の型クラスメソッド（Printer a => Printer (Option a)）が使用されるたびに、新しいインスタンスが実行時に構築されます。ここにコードがあり、printが使用されるたびに、新しいPrinterインスタンスが実行時に作成さ

1熱

1答えて

Scala：暗黙の解決、あいまいさ、逆転

私は、継承された暗黙の低い優先順位のために、私が思うには曖昧なimplicitsを持つ次のScalaを持っています。しかしそれはしません - ambiguous implicit values - エラーで失敗します。優先順位がここではうまくいかない理由を誰かに説明することはできますか？ trait Printer[-T] { def prettify(instance:T): Stri

0熱

2答えて

純粋なタイプのパラメータとメンバーとの混合タイプのパラメータ

タイトルを持つYouTube動画を視聴した後、Scala Type Members vs Type Parameters。私は以下を書いた。純粋型パラメータバージョンは細かい trait Joiner[Elem,R] { def join(xs: Seq[Elem]): R } object Program { def doJoin[T,R] (xs: T *)

0熱

1答えて

-Ywarn-unusedを使用する場合、Scalaでの解析からタイプ証拠パラメータを除外します。

などの型エビデンスパラメータを含むプログラムをコンパイルすると、-Ywarn-unusedがコンパイラに渡されたときに警告が発生することがあります。特に、ファクトムタイプを使用してエンコードされた制約を検証するためにタイプ証拠パラメータが使用される場合、この警告が発生する可能性があります。ここでは、ファイルのコンパイル例として、： https://github.com/hseeberger/de

0熱

1答えて

暗黙のインスタンスをクラス名で取得する

私がしようとしているのは、クラス名から暗黙のインスタンスを取得することです。実行時に作成されたクラスタイプに対して、暗黙のインスタンスを取得できないという主な問題点があります。私が持っているもの： trait Base case class A() extends Base case class B() extends Base trait Worker[T <: Base] {