하스켈의 스칼라 입력 도구를 어떻게 에뮬레이트 할 수 있습니까?

Question

typeclass (아마도 특성)와 같은 것을 정의한 다음 나중에 원래 형식 정의를 수정하지 않고 특정 형식에 대한 해당 형식 라이브러리의 인스턴스를 정의 할 수 있습니까?

예를 들어, class User extends Printable 말을하지 않고, 어떻게 든 클래스 정의에서 별도로 User 클래스 Printable를 만들 수 다음 코드

class User { 
} 

trait Printable { 
    def print(): String 
} 

을 가지고?

Answer 1

예를 들어 정의하려는 typeclass에 대한 특성을 생성합니다.

object Instances { 
    implicit val UserPrintable = new Printable[User] { 
     def print(u: User) = u.name 
    } 
} 

인스턴스에 대한 암시 적 매개 변수를 추가 할 수 있습니다 typeclass 필요한 모든 기능에 :

def writePrintable[T](p: T)(implicit pclass: Printable[T]) { 
    println(pclass.print(p)) 
} 

trait Printable[T] { 
    def print(p: T): String 
} 

는 당신은 당신이 원하는 유형이 특성의 암시 적 인스턴스를 정의 할 수 있습니다

그러면 인스턴스 구현을 가져 와서 writePrintable으로 전화 할 수 있습니다.

import Instances._ 
writePrintable(new User("user name"))