我想理解逻辑编程语言（在我的情况下为Prolog）和Haskell的类型系统之间的关系。 我知道都使用统一和变数取决于关系找到的值（或类型，在Haskell的类型系统）。作为更好地理解它们之间的相似点和差异的练习，我尝试在Haskell的类型级别上重写一些简单的序言程序，但是我在某些部分遇到了问题。 首先，我改写了这个简单的Prolog程序： 为： class Numeral a where
如果要使用GHC的lexically scoped type variables，则还必须使用explicit universal quantification。也就是说，你必须forall声明添加到你的函数的类型签名： {-# LANGUAGE ExplicitForAll, ScopedTypeVariables #-}
f :: forall a . [a] -> [a] -- The
我有下面的类层次结构： trait Entity {
type E <: Entity
type S <: Something[E]
def in: S
}
trait Something[E <: Entity] {
def doSomething {
// something
}
}
class A extends Ent
为了好玩，我试图在Java中实现一个通用的Pair类。我无法用equals： public class Pair<A, B>
{
public final A _1;
public final B _2;
// ... unnecessary details left out ...
public boolean equals(Pair<A, B> t