Staged sums of products
Staged sums of products
复制标题
阶段性乘积总和
DOI：
10.1145/3406088.3409021
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Pickering M
中科院分区：
文献类型：
--
作者：
Pickering M
泛型编程库历来以效率换取便利，泛型-sop库也不例外。它为所有数据类型提供了一种简单、统一的表示形式，精确地表示为乘积的和，这使得编写泛型函数变得很容易。我们展示了如何通过使用带有类型化模板Haskell的Stage来最终实现泛型-sop。
Generic programming libraries have historically traded efficiency in return for convenience, and the generics-sop library is no exception. It offers a simple, uniform, representation of all datatypes precisely as a sum of products, making it easy to write generic functions. We show how to finally make generics-sop fast through the use of staging with Typed Template Haskell.
登录
查看更多内容
对类型的反思
影响因子：
1.1
作者：
S. Jones;Stephanie Weirich;R. Eisenberg;Dimitrios Vytiniotis
通讯作者：
Dimitrios Vytiniotis
可见型应用
DOI：
10.1007/978-3-662-49498-1_10
发表时间：
2016
期刊：
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
R. Eisenberg;Stephanie Weirich;Hamidhasan G. Ahmed
通讯作者：
Hamidhasan G. Ahmed
兑现承诺就是兑现承诺：检验测试
DOI：
10.1145/3242744.3242748
发表时间：
2018
期刊：
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
影响因子：
--
作者：
Joachim Breitner
通讯作者：
Joachim Breitner
泛型遍历的泛型派生
影响因子：
--
作者：
Csongor Kiss;Matthew Pickering;Nicolas Wu
通讯作者：
Nicolas Wu
Glasgow Haskell 编译器内联器的秘密
影响因子：
1.1
作者：
S. Jones;S. Marlow
通讯作者：
S. Marlow