research-article

Blame for all

Authors:

Robert Bruce Findler,

Jacob Matthews,

Philip WadlerAuthors Info & Claims

STOP '09: Proceedings for the 1st workshop on Script to Program Evolution

Pages 1 - 13

https://doi.org/10.1145/1570506.1570507

Published: 06 July 2009 Publication History

Abstract

We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our system permits a dynamically typed value to be cast to a polymorphic type, with the type enforced by dynamic sealing along the lines proposed by Pierce and Sumii (2000), Matthews and Ahmed (2008), and Neis, Dreyer, and Rossberg (2009), in a way that ensures all terms satisfy relational parametricity. Our system includes a notion of blame, which allows us to show that when more-typed and less-typed portions of a program interact, that any type failures are due to the less-typed portion.

References

[1]

]]Robert Bruce Findler and Matthias Felleisen. Contracts for higher-order functions. In ACM International Conference on Functional Programming (ICFP), October 2002.

Digital Library

[2]

]]Cormac Flanagan. Hybrid type checking. In ACM Symposium on Principles of Programming Languages (POPL), January 2006.

Digital Library

[3]

]]Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Relationally-parametric polymorphic contracts. In Dynamic Languages Symposium (DLS), October 2007.

Digital Library

[4]

]]Fritz Henglein. Dynamic typing: Syntax and proof theory. Science of Computer Programming, 22(3):197--230, 1994.

Digital Library

[5]

]]Jacob Matthews and Amal Ahmed. Parametric polymorphism through run-time sealing. In European Symposium on Programming (ESOP), pages 16--31, 2008.

Digital Library

[6]

]]Jacob Matthews and Robert Bruce Findler. Operational semantics for multi-language programs. In ACM Symposium on Principles of Programming Languages (POPL), January 2007.

Digital Library

[7]

]]James H. Morris, Jr. Types are not sets. In ACM Symposium on Principles of Programming Languages (POPL), pages 120--124, 1973.

Digital Library

[8]

]]Georg Neis, Derek Dreyer, and Andreas Rossberg. Non-parametric parametricity. Manuscript submitted for publication, March 2009. URL http://www.mpi-sws.org/~dreyer/papers/npp/main.pdf.

[9]

]]Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. Dynamic typing with dependent types. In IFIP International Conference on Theoretical Computer Science, August 2004.

[10]

]]Benjamin Pierce and Eijiro Sumii. Relating cryptography and polymorphism. Manuscript, 2000. URL http://www.cis.upenn.edu/~bcpierce/papers/infohide.ps.

[11]

]]John Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing, pages 513--523. North-Holland, 1983.

[12]

]]Jeremy G. Siek and Walid Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop (Scheme), September 2006.

[13]

]]Sam Tobin-Hochstadt and Matthias Felleisen. Interlanguage migration: From scripts to programs. In Dynamic Languages Symposium (DLS), October 2006.

Digital Library

[14]

]]Philip Wadler. Theorems for free. In Conference on Functional Programming Languages and Computer Architecture (FPCA), September 1989.

Digital Library

[15]

]]Philip Wadler and Robert Bruce Findler. Well-typed programs can't be blamed. In European Symposium on Programming (ESOP), March 2009.

Digital Library

Cited By

Hoeflich JFindler RSerrano M(2022)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages10.1145/35633056:OOPSLA2(479-504)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563305
Kumar NKarusala NIsmail ATuli A(2020)Taking the Long, Holistic, and Intersectional View to Women’s WellbeingACM Transactions on Computer-Human Interaction10.1145/339715927:4(1-32)Online publication date: 20-Jul-2020
https://dl.acm.org/doi/10.1145/3397159
Lazarek LKing ASundar SFindler RDimoulas C(2019)Does blame shifting work?Proceedings of the ACM on Programming Languages10.1145/33711334:POPL(1-29)Online publication date: 20-Dec-2019
https://dl.acm.org/doi/10.1145/3371133
Show More Cited By

Index Terms

Blame for all
1. Applied computing
  1. Document management and text processing
    1. Document preparation
      1. Document scripting languages
2. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Software reverse engineering

Recommendations

Blame for all
POPL '11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl 6, and C# 4.0 and the research languages Sage (Gronski, Knowles, Tomb, Freund, and Flanagan, 2006) and Thorn (Wrigstad, ...
Blame for all
POPL '11

Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl 6, and C# 4.0 and the research languages Sage (Gronski, Knowles, Tomb, Freund, and Flanagan, 2006) and Thorn (Wrigstad, ...
Threesomes, with and without blame
POPL '10

How to integrate static and dynamic types? Recent work focuses on casts to mediate between the two. However, adding casts may degrade tail calls into a non-tail calls, increasing space consumption from constant to linear in the depth of calls.

We ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

STOP '09: Proceedings for the 1st workshop on Script to Program Evolution

July 2009

74 pages

ISBN:9781605585437

DOI:10.1145/1570506

Editors:
Tobias Wrigstad
Purdue University
,
Nate Nystrom
IBM T.J. Watson Research
,
Jan Vitek
Purdue University

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

ECOOP '09

ECOOP '09: European Conference on Object-Oriented Programming

July 6, 2009

Genova, Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
144
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hoeflich JFindler RSerrano M(2022)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages10.1145/35633056:OOPSLA2(479-504)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563305
Kumar NKarusala NIsmail ATuli A(2020)Taking the Long, Holistic, and Intersectional View to Women’s WellbeingACM Transactions on Computer-Human Interaction10.1145/339715927:4(1-32)Online publication date: 20-Jul-2020
https://dl.acm.org/doi/10.1145/3397159
Lazarek LKing ASundar SFindler RDimoulas C(2019)Does blame shifting work?Proceedings of the ACM on Programming Languages10.1145/33711334:POPL(1-29)Online publication date: 20-Dec-2019
https://dl.acm.org/doi/10.1145/3371133
Clochard MMarché CPaskevich A(2019)Deductive verification with ghost monitorsProceedings of the ACM on Programming Languages10.1145/33710704:POPL(1-26)Online publication date: 20-Dec-2019
https://dl.acm.org/doi/10.1145/3371070
Lim HCosley DFussell S(2019)How Emotional and Contextual Annotations Involve in Sensemaking Processes of Foreign Language Social Media PostsProceedings of the ACM on Human-Computer Interaction10.1145/33591713:CSCW(1-18)Online publication date: 7-Nov-2019
https://dl.acm.org/doi/10.1145/3359171
Pendse SNiederhoffer KSharma A(2019)Cross-Cultural Differences in the Use of Online Mental Health Support ForumsProceedings of the ACM on Human-Computer Interaction10.1145/33591693:CSCW(1-29)Online publication date: 7-Nov-2019
https://dl.acm.org/doi/10.1145/3359169
Champion KMcDonald NBankes SZhang JGreenstadt RForte AHill B(2019)A Forensic Qualitative Analysis of Contributions to Wikipedia from Anonymity Seeking UsersProceedings of the ACM on Human-Computer Interaction10.1145/33591553:CSCW(1-26)Online publication date: 7-Nov-2019
https://dl.acm.org/doi/10.1145/3359155
Toro MLabrada ETanter É(2019)Gradual parametricity, revisitedProceedings of the ACM on Programming Languages10.1145/32903303:POPL(1-30)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290330
Devriese DPatrignani MPiessens F(2017)Parametricity versus the universal typeProceedings of the ACM on Programming Languages10.1145/31581262:POPL(1-23)Online publication date: 27-Dec-2017
https://dl.acm.org/doi/10.1145/3158126
Igarashi YSekiyama TIgarashi A(2017)On polymorphic gradual typingProceedings of the ACM on Programming Languages10.1145/31102841:ICFP(1-29)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3110284
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents