path-dependent-type

4열

1답변

스칼라에서 여러 매개 변수가 같은 유형의 유형이어야하는 것을 어떻게 제한 할 수 있습니까?

제네릭에서 경로 종속 유형을 사용하려고합니다. 두 클래스가 있고 클래스 C2는 C1에 중첩되어 있습니다. case class C1(v1: Int) { case class C2(v2: Int) } 그리고 여기 클래스 C1의 두 가지 목적이 있습니다 object O1 extends C1(1) object O2 extends C1(2) 내가

11열

1답변

scala 경로 종속 형식 및 형식 수준 교정

현재 클럭 처리 된 데이터 흐름 언어의 모델을 scala로 정의하려고합니다. 흐름은 가상적으로 어떤 시계 C (흐름이 실제로 사용할 수있는 순간을 나타내는 시계)로 조정 된 일부 유형 T 값의 무한 시퀀스를 나타냅니다. 샘플 된 흐름 SF는 다른 (부울) 흐름 F '에서 파생 된 시계 C 자체에 따라 샘플링하여 흐름 F에서 파생 될 수 있습니다. SF는 부

0열

1답변

경로 종속 형식 예제가 작동하지 않습니다.

여기에 스칼라 n00b가 있습니다. 확실히 나는 PDT를 이해하지만 확실하게하고 문제를 쳤다. 여기에 내가 여기에 재현 할 수 있습니다 샘플 코드와 이전 문제는 Scala types: Class A is not equal to the T where T is: type T = A입니다 : 1: class Food 2: class Fish extends Fo

1열

2답변

스칼라의 추상 형식으로 얽히게되는 것을 피하는 가장 좋은 방법은 무엇입니까?

필자는 추상 유형 주제에 대해 스칼라 프로그래밍 (Martin Odersky, Lex Spoon 및 Bill Venners)의 20.7 장에있는 기본 예제를 가지고 있습니다. 제가 위에서 언급 한 바와 같이 class Food abstract class Animal { type SuitableFood <: Food def eat(food

4열

1답변

타입 멤버가있는 객체 : 스칼라의 객체 대 모듈 시스템은 무엇입니까? (경로 종속 유형에 대한 2014 년 Odersky 논문을 이해하려고 시도 함)

나는 Foundations of path dependent types을 읽습니다. 첫 번째 페이지에서 오른쪽 열에에이 기록됩니다 Our motivation is twofold. First, we believe objects with type members are not fully understood. It is not clear what causes the

1열

2답변

런타임에 경로 종속 유형과 해당 부모 간의 링크를 다시 설정 하시겠습니까?

나는 경로 의존형을 실험하고있다. 내 간단한 예제에서는 Money 개체를 사용하여 동일한 통화의 Money에서만 Money 계산을 수행 할 수 있습니다. // Simple currency class case class Currency(code: String, name: String, symbol: String) { // Money amounts

6열

2답변

경로 종속 유형 mixin에서 값에 액세스

내부 특성 mixin에서 외부 특성의 값에 액세스 할 수 있습니까? 예 : trait Outer { val foo trait Inner } trait InnerMixin { this: Outer#Inner => def bar { // how can I access 'foo' here? smth like Outer.t

4열

1답변

Map을 TreeMap으로 심도 변환

임의의 중첩 된 Map을 TreeMap으로 변환해야합니다. 예 : Map[Int, String] -> TreeMap[Int, String] Map[Int, Map[Int, String]] -> TreeMap[Int, TreeMap[Int, String]] ... etc 내가 그러나 내가 유형 trait ToTreeMap[M[_, _], K, V] {

1열

1답변

참조 백 (Scala)이있는 종속 형식

스칼라에서 (path-) 종속 형식으로 놀고있어 다음과 같은 시나리오에서 우연히 발견되어 좋은 해결책을 찾을 수 없습니다. 종속 유형의 계층 구조를 갖고 싶다고 가정하고 각각이 "owner"객체에 대한 참조를 갖기를 원합니다. 이 "back-reference"가 올바른 "owner"객체에 대한 몇 가지 메소드를 호출 할 수 있기를 바랍니다. 올바른 방법은

12열

1답변

종속 방법의 유형 충돌이

스칼라의 의존 방법 유형과 재생, 나는 기본 메서드 매개 변수와 충돌 발생 메서드 정의 및 구현의 기본값을 사용하면 예제가 성공적으로 컴파일됩니다. 내가 도대체 뭘 잘못하고있는 겁니까? 그게 버그 야? P. 스칼라 2.11.4를 사용하고 있습니다.