暗黙のエビデンスオブジェクトなしで直接Scala型のメガネを使用する

Question

暗黙のエビデンスオブジェクトを参照しなくても、型クラスの関数を直接使用したいと考えています。

今、私は型クラスに推奨される方法（少なくとも私はそう思う）に実装している：私が書きたいのですが

def addTwice[A](x: A, y: A)(implicit ev: Monoid[A]): A = { 
     ev.append(ev.append(x,y), y) 
} 

：

object Main { 
    import Implicits._ 
    import Implicits.monoidInt._ 

    def main(args: Array[String]): Unit = { 
     println(addTwice(1,2)) 
    } 
} 

object Implicits { 
    implicit object monoidInt extends Monoid[Int] { 
     def zero: Int = 0 
     def append(x: Int, y: Int): Int = x + y 
    } 
} 

trait Monoid[A] { 
    def zero: A 
    def append(x: A, y: A): A 
} 

代わりのようaddTwiceを書くことを

def addTwice[A: Monoid[A]](x: A, y: A): A = x.append(y).append(y) 

これは可能ですか？

Answer 1

はい可能です。いわゆるOpsが必要です。定義された型クラスのインスタンスを持つクラスのオブジェクトにメソッドを追加することができます。

typeclassの値とインスタンスを持つ特性のMonoidOpsを定義し、そのメソッドでその特性を使用するので、基本的にはその変数evの使用をカプセル化します。

AからMonoidOps[A]への変換を定義します。暗黙的なパラメータを使用してオブジェクトとインスタンスを設定します。

trait Monoid[A] { 
    def zero: A 
    def append(x: A, y: A): A 
} 

object Implicits { 
    implicit object monoidInt extends Monoid[Int] { 
     def zero: Int = 0 
     def append(x: Int, y: Int): Int = x + y 
    } 

    trait MonoidOps[A] { 
     def instance: Monoid[A] 
     def self: A 
     def |+|(y: A): A = instance.append(self, y) 
    } 

    implicit def toMonoidOps[A](target: A)(implicit M: Monoid[A]) = new MonoidOps[A] { 
     val instance = M 
     val self = target 
    } 
} 

import Implicits._ 

def addTwice[A: Monoid](x: A, y: A): A = x |+| y |+| y 

scala> println(addTwice(1,2)) 
5 

MonoidOpsとtoMonoidOpsは次のように暗黙のクラスに置き換えることができます：

implicit class MonoidOps[A](val self: A)(implicit M: Monoid[A]) { 
    def |+|(y: A): A = M.append(self, y) 
} 

はあなたのための定型文を生成することができsimulacrumプロジェクトを見てみましょう。