Tag: typesvariables

什么是skolems？

Eeek！ GHCi在我的代码中find了Skolems！ … Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type signature for groupBy :: Ord b => (a -> b) -> Set a -> Set (b, [a]) The following variables have types that mention k0 … 他们是什么？ 他们想要什么与我的程序？ […]