#typeclass

TypeClass Metaprogramming是一种强大的技术，可用于Haskell程序员，以自动生成静态类型信息的术语级代码。它已被习惯于几个流行的Haskell库（例如仆人生态系统）的巨大效果，并且它是用于通过GHC泛型实现通用编程的核心机制。尽管如此，存在很少的物质，阐述了这种技术，降级它仅仅为高级Hask......