Union and intersection types to support both dynamic and static typing

被引：15
|
作者：
Ortin, Francisco [1 ]
Garcia, Miguel [1 ]
机构：
[1] Dept Comp Sci, Oviedo 33007, Spain
来源：
INFORMATION PROCESSING LETTERS | 2011年 / 111卷 / 06期
关键词：
Programming languages; Program specification; Compilers; Formal languages; Type systems;
D O I：
10.1016/j.ipl.2010.12.006
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Although static typing provides undeniable benefits for the development of applications, dynamically typed languages have become increasingly popular for specific scenarios. Since each approach offers different benefits, the StaDyn programming language has been designed to support both dynamic and static typing. This paper describes the minimal core of the StaDyn programming language. Its type system performs type reconstruction over both dynamic and static implicitly typed references. A new interpretation of union and intersection types allows statically gathering the type information of dynamic references, which improves runtime performance and robustness. The evaluation of the generated code has shown how our approach offers an important runtime performance benefit. (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码：278 / 286
页数：9
相关论文
共 50 条
  • [41] Trajectory optimization in both static and dynamic environments
    Belkhous, S
    Azzouz, A
    Nerguizian, C
    Saad, M
    Nerguizian, V
    2004 IEEE International Conference on Industrial Technology (ICIT), Vols. 1- 3, 2004, : 1538 - 1540
  • [42] Profile-Guided Static Typing for Dynamic Scripting Languages
    Furr, Michael
    An, Jong-hoon
    Foster, Jeffrey S.
    ACM SIGPLAN NOTICES, 2009, 44 (10) : 283 - 299
  • [43] Design and implementation of an efficient hybrid dynamic and static typing language
    Garcia, Miguel
    Ortin, Francisco
    Quiroga, Jose
    SOFTWARE-PRACTICE & EXPERIENCE, 2016, 46 (02): : 199 - 226
  • [44] Profile-Guided Static Typing for Dynamic Scripting Languages
    Furr, Michael
    An, Jong-hoon
    Foster, Jeffrey S.
    OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 283 - 299
  • [45] Turning dynamic typing into static typing by program specialization in a compiler front-end for octave
    Olmos, K
    Visser, E
    THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 141 - 150
  • [46] Static and dynamic stiffness: One test, both results
    Rediers, B
    Yang, B
    Juneja, V
    IMAC - PROCEEDINGS OF THE 16TH INTERNATIONAL MODAL ANALYSIS CONFERENCE, VOLS 1 AND 2, 1998, 3243 : 30 - 35
  • [47] Static vs dynamic typing for access control in pi-calculus
    Bugliesi, Michele
    Macedonio, Damiano
    Rossi, Sabina
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 282 - 296
  • [48] Completeness and partial soundness results for intersection and union typing for (λ)over-barμ(μ)over-tilde
    van Bakel, Steffen
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (11) : 1400 - 1430
  • [49] Projective systems whose support is the union of two linear subspaces with nonempty intersection
    Cheon, E. J.
    Kim, S. J.
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2006, 17 (05) : 303 - 313
  • [50] Projective Systems Whose Support is the Union of Two Linear Subspaces with Nonempty Intersection
    E. J. Cheon
    S. J. Kim
    Applicable Algebra in Engineering, Communication and Computing, 2006, 17 : 303 - 313
12345