文章基本信息

标题：A Complement to Blame
本地全文：下载
作者：Philip Wadler
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：32
页码：309-320
DOI：10.4230/LIPIcs.SNAPL.2015.309
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Contracts, gradual typing, and hybrid typing all permit less-precisely typed and more-precisely typed code to interact. Blame calculus encompasses these, and guarantees blame safety: blame for type errors always lays with less-precisely typed code. This paper serves as a complement to the literature on blame calculus: it elaborates on motivation, comments on the reception of the work, critiques some work for not properly attending to blame, and looks forward to applications. No knowledge of contracts, gradual typing, hybrid typing, or blame calculus is assumed.
关键词：contracts; gradual typing; hybrid typing; blame calculus