Complete monitors for gradual types
Complete monitors for gradual types
复制标题
渐变类型的完整监听器
DOI：
10.1145/3360548
复制
发表时间：
2019
影响因子：
--
通讯作者：
Dimoulas, Christos
中科院分区：
文献类型：
--
作者：
Greenman, Ben;Felleisen, Matthias;Dimoulas, Christos
在渐进打字的背景下，类型健全性保证了打字代码的安全。当无类型代码无法遵守类型时，运行时检查会发现差异。对于非类型化代码，类型健全性没有任何承诺；它不能保护非类型化代码免受类型规范中的错误和无根据的指责。为了解决这种不对称性，本文将合约世界的全面监控改为逐步类型化。完整的监控增强了简单的可靠性，以保证捕获错误类型规范的问题。此外，满足完整监控的语义可以轻松查明类型规范和值之间的冲突。对于无法完全监控的渐进式打字系统，技术框架提供了评估责任质量的真相来源。
In the context of gradual typing, type soundness guarantees the safety of typed code. When untyped code fails to respect types, a runtime check finds the discrepancy. As for untyped code, type soundness makes no promises; it does not protect untyped code from mistakes in type specifications and unwarranted blame.To address the asymmetry, this paper adapts complete monitoring from the contract world to gradual typing. Complete monitoring strengthens plain soundness into a guarantee that catches problems with faulty type specifications. Furthermore, a semantics that satisfies complete monitoring can easily pinpoint the conflict between a type specification and a value. For gradual typing systems that fail complete monitoring, the technical framework provides a source-of-truth to assess the quality of blame.
登录
查看更多内容
分隔连续的渐进式键入
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
Yusuke Miyazaki;Taro Sekiyama;Atsushi Igarashi
通讯作者：
Atsushi Igarashi
TypeScript 的具体类型
影响因子：
--
作者：
G. Richards;Francesco Zappa Nardelli;J. Vitek
通讯作者：
J. Vitek
鞭子：现代服务业的高阶合同
影响因子：
--
作者：
Lucas Waye;Stephen Chong;Christos Dimoulas
通讯作者：
Christos Dimoulas
通过授权合约进行可扩展的访问控制
DOI：
10.1145/2983990.2984021
发表时间：
2016
期刊：
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
影响因子：
--
作者：
Scott Moore;Christos Dimoulas;R. Findler;M. Flatt;Stephen Chong
通讯作者：
Stephen Chong
Batcher 的奇偶合并网络揭晓
影响因子：
1.1
作者：
R. Hinze;Clare Martin
通讯作者：
Clare Martin