existential-type

1열

1답변

스칼라 컴파일러가 형식 매개 변수의 수퍼 형식으로 와일드 카드 형식 선언을 금지하는 이유

종속 형식 _ >: a.type과 관련된 형식 별칭을 만들려고했습니다. 는 스칼라 컴파일러 내가 이해하지 못했다 오류보고 : scala> def foo[A](a: A) = { | type F = Function1[_ >: a.type, Unit] | } <console>:12: error: type mismatch; found : a.

1열

1답변

바 [T]에 Foo [T]의지도

할 수 있습니까? case class Foo[T](value: T) case class Bar[T](value: T) val map = mutable.Map.empty[Foo[_], Bar[_]] map(Foo(1)) = Bar(1) // correct map(Foo(1)) = Bar(1.1) // should cause a compiler er

4열

1답변

컴파일러가 V [+ _]에 대해 V [U] <: T => V (U <V <_ : U) => (_ <: V [_ <: U]

그래서 저는 약간 놀아 실재론과 분산에 대해 글을 쓰려고했습니다. 흥미로운 코드 조각을 보았습니다. final case class Box[+T](val value: T) { def >>=[U](f: T => Box[U]) = f(value) def flatMap[U](f: (_ >: T) => (_ <: Box[_ <: U])): Box[

1열

1답변

GADTs, 매개 변수화되지 않은 유형 및 인스턴스 이퀄라이저

컨테이너 유형이 X입니다. X 이상의 이기종 목록을 원하므로 해당 생성자는 일부 형식 변수 a에 존재하는 형식으로 존재합니다. 그러나이 클래스를 Eq 형식 클래스의 인스턴스로 사용하고 싶습니다. 해킹 된 솔루션은 다음과 같습니다. {-# LANGUAGE GADTs #-} data X where X :: (Eq a, Show a) => a -> X i

2열

1답변

Church encoded Free monad in F #

F #에서 무료 모나드의 교회 인코딩을 표현하려고합니다. Free은 특정 기능자인 Effect에 특화되어 있습니다. return_ : 'T -> Free<'T>과 bind: ('T -> Free<'U>) -> Free<'T> -> Free<'U>을 아무런 문제없이 쓸 수 있습니다. 내 구현 스케치는 아래와 같습니다. 이 인코딩을 위해 인터프리터를 작성하려고

1열

1답변

상한의 하위 클래스로 매개 변수화 된 invariant 제네릭 형식이 왜 적합하지 않습니까?

을 감안할 때 : class Invar[T] trait ExtendsAnyref extends AnyRef def f(a: Invar[ExtendsAnyref]) = {} 다음은 잘못된 것입니다 scala> val x: Function1[Invar[_ <: AnyRef], Unit] = f <console>:13: error: type mismat

3열

1답변

Existentials 대 스칼라의 공분산

아래 두 코드를 고려하십시오. 1) 2) 공분산을 existentials : 그러한 A[T] -s가 T들은 두 가지 다른 접근법을 사용하지만 C 이 목표를 달성하기 위해 확장 Container에 저장 될 수있다 : 그들은 같은 목적을 달성 A이 더 간단하기 때문에 나는 첫 번째 솔루션을 선호합니다. 내가 왜 두 번째 해법 (공분산)을 사용하고자하는 이유가

0열

1답변

T 유형의 일부 (유형 T)

Scala의 실존 유형에 대해 drmacvier 블로그에 있습니다. 그것을 읽은 후에 나는 유형을 실험하고 있었고 rnduja 블로그에 주어진대로 다음과 같은 방식으로 유형의 평등을 검사하고 있습니다. type_==[Any, T forSome{type T}] // true 제가 이해할 수 없었다하는 것은 T forSome{type T}는 모든 종류의 만

9열

2답변

싱글 톤 라이브러리를 실험 중이었고 이해할 수없는 경우를 발견했습니다. {-# LANGUAGE GADTs, StandaloneDeriving, RankNTypes, ScopedTypeVariables, FlexibleInstances, KindSignatures, DataKinds, StandaloneDeriving #-} import Data.Sin

2열

1답변

Pseudcript의 프롬프트 Monad

나는 Prompt의 정의를 통해 작업 중이며 Bind 인스턴스는 here으로 설명되어 있으며 Purescript에서 어떻게 보이는지 알아 내려고했습니다. 실존 유형에 Purescript.Exists을 사용하고 있습니다. 내 (고화질)은 다음과 같습니다 runExists 작업 할 때 나는 특히 Bind 인스턴스에서 Ask 케이스를 쓰기에 부착하고 data P