implicits

    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がコンパイラに渡されたときに警告が発生することがあります。特に、ファクトムタイプを使用してエンコードされた制約を検証するためにタイプ証拠パラメータが使用される場合、この警告が発生する可能性があります。ここでは、ファイルのコンパイル例として 、: https://github.com/hseeberger/de

    0

    1答えて

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

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

    0

    1答えて

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

    1

    1答えて

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

    3

    1答えて

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

    1

    1答えて

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