Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly
复制标题
通过懒惰和浅薄来寻求稳定：懒惰和浅薄的实例化是用户友好的
DOI：
10.1145/3471874.3472985
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Eisenberg, Richard A.
中科院分区：
文献类型：
--
作者：
Bottu, Gert-Jan;Eisenberg, Richard A.
设计一个语言特性通常需要在几个类似的表达可能性之间进行选择。鉴于用户研究通常是不切实际的，我们建议使用稳定性作为一种方式，使这样的决定。稳定性是衡量程序的意义是否会在代码中看似无害的小变化下发生变化的一种度量（例如，直接出于需要确定GHC/Haskell中的特性的动机，我们应用这种稳定性的概念来分析多态类型实例化的四种方法，得出的结论是最稳定的方法是懒惰（仅在绝对必要时实例化多型）和浅（仅实例化顶级类型变量，而不是显式参数之后出现的变量）。
Designing a language feature often requires a choice between several, similarly expressive possibilities. Given that user studies are generally impractical, we propose using stability as a way of making such decisions. Stability is a measure of whether the meaning of a program alters under small, seemingly innocuous changes in the code (e.g., inlining).Directly motivated by a need to pin down a feature in GHC/Haskell, we apply this notion of stability to analyse four approaches to the instantiation of polymorphic types, concluding that the most stable approach is lazy (instantiate a polytype only when absolutely necessary) and shallow (instantiate only top-level type variables, not variables that appear after explicit arguments).
登录
查看更多内容
对类型的反思
影响因子：
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.3242753
发表时间：
2018
期刊：
Haskell Symposium
影响因子：
--
作者：
Eisenberg, Richard A.;Breitner, Joachim;Peyton Jones, Simon
通讯作者：
Peyton Jones, Simon
受保护的命令式多态性
DOI：
10.1145/3192366.3192389
发表时间：
2018
期刊：
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
A. Serrano;Jurriaan Hage;Dimitrios Vytiniotis;S. P. Jones
通讯作者：
S. P. Jones
DOI：
10.1145/1708016.1708023
发表时间：
2010
期刊：
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Dimitrios Vytiniotis;S. Jones;Tom Schrijvers
通讯作者：
Tom Schrijvers