Mik*_*cki 6 haskell types terminology definition
给定一个功能
f :: Vector a => a -> b
我们会调用a一个类型(或类型变量)和Vector一个约束.但是我们称之为满足所有类型的集合Vector a => a呢？我一直在非正式地称它为"矢量空间集",我将任何成员类型称为"向量空间".我应该使用更准确的类型理论名称吗？特别是,"set"和"space"这两个词是否正确使用？