스칼라 : 형식 대신 값으로 매개 변수화 된 형식을 만드는 방법

Question

값으로 매개 변수화 된 형식을 스칼라에서 만들 수 있습니까? 부분 형식 List[A]을 정의하고 List[Int]으로 매개 변수화하는 대신 부분 형식 (의사 코드로) Element[Symbol]을 정의하고 Element['td]으로 매개 변수를 정의하고 싶습니다. 이 예에서이 유형은 XML 요소를 나타냅니다. Element['td]은 스칼라 유형 검사기에 <td> 요소가 있음을 알리고, <td> 요소를 특별히 기대하거나 반환하는 API가 있다고 상상할 수 있습니다.

(서브 클래스, 그 다음 다른 것으로 간주됩니다 코드의 두 조각, 어쩌면 <td>에 대한 선언 다른 서브 클래스에서, 독립 개발자에 의해 작성을 방지하지 않는 한, 매우 만족스러운 해결책은 아니다 class Td extends Element 같이 타입).

Answer 1

형식으로 값을 매개 변수화하려는 경우 Agda와 같은 종속 형식의 프로그래밍 언어가 필요합니다.

Answer 2

당신이 정말로 원하는 것은 (C++에서와 같이) 값으로 타입을 매개 변수화하는 것이 아니라 다양한 개발자가 공통 구현에 동의하도록하는 것입니다.

나는 언어가 당신을 위해 해결할 것이라고 생각하지 않습니다. <td> 유형을 사용하는 한 가지 방법 만 강요하더라도 정확히 <td> 유형에 어떤 재량이 아직없는 것입니까?

object TD { 
} 

즉 이제 Element[TD]을 쓸 수 있습니다, 그것은 실제로 유형이 될 수 있도록 당신이 정말로 값으로 유형을 매개 변수화 할 경우

, 당신은 아마 뭔가를해야 할 것이다. 그래도 다른 사람이 object TD { }을 다른 패키지에 쓸 수 있다는 문제가 있지만 그 중 두 개가있을 것입니다.)

당신이 시도하고 "TD는"

TyString[T,TyString[D,()]] 

로 표현 될 것이다 그러나 당신은 아마 거기에 가고 싶지 않아 그래서

object A { } 
object B { } 
object C { } 
... 

object TyString[Car,Cdr] { } 

같은 것을 사용하여 전체 의존 유형을 에뮬레이트 할 수

(나는 스칼라가 "싱글 톤 리터럴"이라고 불리는 것을 구현할 것이라고 들었다. 그러나 그런 일이 일어 났는가? "td".type을 쓸 수 있어야한다. 스칼라 2.9.1은 그 문법을 받아들이지 않는다).

Answer 3

그냥 놀아야 할 몇 가지 아이디어 ... 개체는 값이고 유형이 있습니다.

trait XmlElement 
object Td extends XmlElement 

그런 다음 매개 변수가있는 클래스를 사용하여 특정 유형에 사용할 수 있습니다.

class Element[T <: XmlElement] { ... } 
val elementOnTd = new Element[Td.type] 
// elementOnTd can only be used with Td. 

이 당신이 밀봉 특성을 만들 수 있습니다 당신은 다음 지원하려는 요소의 고정 된 숫자가 아니라 당신의 라이브러리는

sealed trait XmlElement 
object Td extends XmlElement 
object Tr extends XmlElement 
// can't have anything other than `Td` and `Tr` ! 

(즉 보이지만 꽤 제한) 이러한 개체와 함께 작동됩니다 당신이 할 수있는 또 다른 일은 객체의 내부 클래스가 같은 타입을 가지고 있지 않다는 것입니다. 따라서 라인 object Td { class Element { ... } } 및 Td.Element을 따라 수행 할 작업은 Tr.Element과 동일한 유형이 아닙니다.

Answer 4

싱글 타입은 당신이 이미 표현하는 유형 (밀봉) 가족을 만들어 있었다 수없는 아무것도 포기하지 않을거야,하지만 당신은 당신이 요구하고 원하는

scala> class Element[+T] 
defined class Element 

scala> val td = 'td 
td: Symbol = 'td 

scala> val p = 'p 
p: Symbol = 'p 

scala> def acceptAll[T](e : Element[T]) = e 
acceptAll: [T](e: Element[T])Element[T] 

scala> def acceptTd(e : Element[td.type]) = e 
acceptTd: (e: Element[td.type])Element[td.type] 

scala> acceptAll(new Element[p.type])  // OK 
res3: Element[Symbol] = Element@628b54f4 

scala> acceptAll(new Element[td.type])  // OK 
res4: Element[Symbol] = Element@6e7eee36 

scala> acceptTd(new Element[td.type])  // OK 
res2: Element[td.type] = Element@547fa706 

scala> acceptTd(new Element[p.type])  // Doesn't compile 
<console>:12: error: type mismatch; 
found : Element[p.type] 
required: Element[td.type] 
       acceptTd(new Element[p.type]) 
        ^

을 줄 것이다 요소 이름. 여기서 Scala Symbol을 사용하는 것에 특별한 것은 없음에 유의하십시오. 참조 유형의 안정적인 식별자는 동일한 방식으로 사용될 수있는 고유 한 싱글 톤 유형을 발생시킵니다.