关于一些名词翻译的确定

[infinte]

Haskell 一些名词和其他语言含义迥异，最近打算在暑假翻译和校对 LYAH，下面是一些个人想法。

Type Class 翻译作「类型类」感觉不是很好，我打算翻译成「类综」，和「类型」相对。（是从统计力学里「系综」想到的……）
Type 仍然作类型。
Functor 作「函子」
Applicative 比较难翻译，先保留
Monoid 作「幺半群」

各位提些意见？

[hyh1048576]

Functor 作「函子」
Monoid 作「幺半群」

不是早就定下来了的么。至少数学里是这样。

[infinte]

@hyh1048576 这几个都是老名字了

[levn]

意见就是术语用英文