我正在通過drmacvier博客瞭解Scala中的存在類型。閱讀完後，我正在試驗類型，我正在按照以下方式檢查類型的相等性，如rnduja博客中所述。 def implicitly[A](implicit a: A) = a
// To check equality of two types
class =:=[A, B]
implicit def equalTypeInstance[A]
只有多態函數才能應用於存在類型的值。這些屬性可以用表達式的相應量詞來表示，並以自然變換爲特徵。 同樣，當我們定義了一個類型構造 data List a = Nil | Cons a (List a)
這種類型的構造適用於所有a，而式家庭允許具有非均勻類型構造 type family TRes i o
type instance TRes Bool = String
type instanc
數據Foo a的定義如下： data Foo a where
Foo :: (Typeable a, Show a) => a -> Foo a
-- perhaps more constructors
instance Show a => Show (Foo a) where
show (Foo a) = show a
一些實例： fiveFoo :: Fo
我有一些選項，當它們不是我想要的時候不想運行我的變換函數。 當前處理選項的方法是這樣的： def writeOptionalXml[T](content: Option[T], mapFn: T => Xml): Xml =
content match {
case Some(c) => mapFn(c)
case None => NodeSeq.Empty
}
爲什麼下面的代碼不能編譯？ trait B[T <: B[T]]
case class A[T <: B[T]](t: T)
class C() extends B[C]
val c: C = new C()
val r2: A[_] = A(c) //compiles
val r3: A[_] = A(c) //compiles