How to Evaluate Blame for Gradual Types

被引：5

作者：

Lazarek, Lukas ^{[1
]}

Greenman, Ben ^{[1
]}

Felleisen, Matthias ^{[1
]}

Dimoulas, Christos ^{[1
]}

机构：

[1] Northwestern Univ, PLT, Evanston, IL 60208 USA

来源：

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | 2021年 / 5卷

关键词：

gradual typing; blame;

D O I：

10.1145/3473573

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Programming language theoreticians develop blame assignment systems and prove blame theorems for gradually typed programming languages. Practical implementations of gradual typing almost completely ignore the idea of blame assignment. This contrast raises the question whether blame provides any value to the working programmer and poses the challenge of how to evaluate the effectiveness of blame assignment strategies. This paper contributes (1) the first evaluation method for blame assignment strategies and (2) the results from applying it to three different semantics for gradual typing. These results cast doubt on the theoretical effectiveness of blame in gradual typing. In most scenarios, strategies with imprecise blame assignment are as helpful to a rationally acting programmer as strategies with provably correct blame.

引用

页数：29

共 32 条

[21] How the diesel engine became a "dirty" actant: Compression ignitions and actor networks of blame
Gross, Matthias
Sonnberger, Marco
ENERGY RESEARCH & SOCIAL SCIENCE, 2020, 61
[22] Dialogic analysis of government social media communication: How commanding and thanking elicit blame
Page, Ruth
Hansson, Sten
DISCOURSE CONTEXT & MEDIA, 2024, 57
[23] Punishment and blame: How core beliefs affect support for the use of force in a nuclear crisis
Koch, Lisa Langdon
CONFLICT MANAGEMENT AND PEACE SCIENCE, 2024, 41 (06) : 649 - 669
[24] HOW MUCH SHOULD THE PEOPLE KNOW? IMPLICATIONS OF METHODOLOGICAL CHOICES IN THE STUDY OF INTENTIONALITY AND BLAME ASCRIPTIONS
Botero, Maria
Buccafurni-Huber, Diana
Desforges, Donna
APPLIED PSYCHOLOGY IN CRIMINAL JUSTICE, 2016, 12 (02): : 101 - 113
[25] How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python']Python
Xu, Wenjie
Chen, Lin
Su, Chenghao
Guo, Yimeng
Li, Yanhui
Zhou, Yuming
Xu, Baowen
2023 IEEE/ACM 31ST INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, ICPC, 2023, : 242 - 253
[26] Pierre!Bourdieu and transformative agency:: a study of how patients in Benin negotiate blame and accountability in the context of severe obstetric events
Behague, Dominique P.
Kanhonou, Lydie G.
Filippi, Veronique
Legonou, Solange
Ronsmans, Carine
SOCIOLOGY OF HEALTH & ILLNESS, 2008, 30 (04) : 489 - 510
[27] How Do Elected Officials Evaluate Performance? Goal Preferences, Governance Preferences, and the Process of Goal Reprioritization
Christensen, Julian
Dahlmann, Casper Mondrup
Mathiasen, Asbjorn Hovgaard
Moynihan, Donald P.
Petersen, Niels Bjorn Grund
JOURNAL OF PUBLIC ADMINISTRATION RESEARCH AND THEORY, 2018, 28 (02) : 197 - 211
[28] How much blame does he truly deserve? Historicist narratives engender uncertainty about blameworthiness, facilitating motivated cognition in moral judgment
Gill, Michael J.
Ungson, Nick D.
JOURNAL OF EXPERIMENTAL SOCIAL PSYCHOLOGY, 2018, 77 : 11 - 23
[29] Blame others but hurt yourself: blaming or sympathetic attitudes toward victims of COVID-19 and how it alters one's health status
Lou, Yu
Wang, Tianhong
Li, Haihong
Hu, Tian-Yi
Xie, Xiaofei
PSYCHOLOGY & HEALTH, 2024, 39 (13) : 1877 - 1898
[30] Two types of economic voting: How economic conditions jointly affect vote choice and turnout
Weschle, Simon
ELECTORAL STUDIES, 2014, 34 : 39 - 53

← 1 2 3 4 →