我正在通过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