Scala Type ClassesScala 타입 클래스

// 1. 트레이트로 타입 클래스 정의
trait Show[A] {
  def show(a: A): String
}

// 2. 인스턴스 구현
object Show {
  implicit val intShow: Show[Int] = a => s"Int($a)"
  implicit val stringShow: Show[String] = a => s"'$a'"

  // 리스트용 파생 인스턴스
  implicit def listShow[A](implicit ev: Show[A]): Show[List[A]] =
    xs => xs.map(ev.show).mkString("[", ", ", "]")
}

// 3. 사용 (타입 클래스 문법 설탕)
def printAll[A](items: List[A])(implicit s: Show[A]): Unit =
  items.foreach(x => println(s.show(x)))

printAll(List(1, 2, 3))    // Int(1), Int(2), Int(3)

trait Eq[A]:
  def eql(a: A, b: A): Boolean

given Eq[Int] with
  def eql(a: Int, b: Int): Boolean = a == b

given [A: Eq]: Eq[List[A]] with
  def eql(xs: List[A], ys: List[A]): Boolean =
    xs.length == ys.length && xs.zip(ys).forall(summon[Eq[A]].eql)

def assertEqual[A: Eq](a: A, b: A): Unit =
  if summon[Eq[A]].eql(a, b) then println("같음") else println("다름")

trait Functor[F[_]]:
  def map[A, B](fa: F[A])(f: A => B): F[B]

given Functor[List] with
  def map[A, B](fa: List[A])(f: A => B): List[B] = fa.map(f)

given Functor[Option] with
  def map[A, B](fa: Option[A])(f: A => B): Option[B] = fa.map(f)