Type variables in patterns
Type variables in patterns
复制标题
在模式中键入变量
DOI：
10.1145/3242744.3242753
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Peyton Jones, Simon
中科院分区：
文献类型：
--
作者：
Eisenberg, Richard A.;Breitner, Joachim;Peyton Jones, Simon
多年来，GHC实现了对Haskell的扩展，允许类型变量绑定在类型签名和模式中，并在术语上起作用。从未正确指定此扩展名。我们在这里纠正这个疏忽。有了正式的规范，在模式中绑定类型变量的设计之路就变得非常清晰了。因此，我们扩展了ScopedTypeVariables来显式地绑定类型变量，避免了将Proxy解决方案放入历史的垃圾箱。
For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms. This extension was never properly specified. We rectify that oversight here. With the formal specification in hand, the otherwise-labyrinthine path toward a design for binding type variables in patterns becomes blindingly clear. We thus extend ScopedTypeVariables to bind type variables explicitly, obviating the Proxy workaround to the dustbin of history.
登录
查看更多内容
对类型的反思
影响因子：
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/2976002.2976013
发表时间：
2016
期刊：
Proceedings of the 9th International Symposium on Haskell
影响因子：
--
作者：
Matthew Pickering;Gergo Érdi;S. Jones;R. Eisenberg
通讯作者：
R. Eisenberg
影响因子：
1.1
作者：
Jones, Simon Peyton;Vytiniotis, Dimitrios;Shields, Mark
通讯作者：
Shields, Mark
DOI：
10.1145/2535838.2535856
发表时间：
2014
期刊：
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
R. Eisenberg;Dimitrios Vytiniotis;Simon Peyton Jones;Stephanie Weirich
通讯作者：
Stephanie Weirich