找到你要的答案

Why are type-safe relational operations so difficult?
为什么类型安全的关系操作如此困难?

haskell  types  relational-database  theory  hindley-milner