Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
نویسندگان
چکیده
منابع مشابه
Dynamic Witnesses for Static Type Errors
Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample witness inputs that illustrate how an ill-typed program goes wrong. First, given an ill-typed function, we symbolically execute the body to synthesize witness values that make the program go wrong. We prove that our pro...
متن کاملDependently typed array programs don't go wrong
The array programming paradigm adopts multidimensional arrays as the fundamental data structures of computation. Array operations process entire arrays instead of just single elements. This makes array programs highly expressive and introduces data parallelism in a natural way. Array programming imposes non-trivial structural constraints on ranks, shapes, and element values of arrays. A promine...
متن کاملDiagnosis of Ill-typed Programs
A framework, based on syntactic and type constraints, is provided for de ning program slices that contribute to a given type error or similar syntactic property. We specify soundness, minimality and completeness criterion for these slices and outline an algorithm for their lazy generation.
متن کاملWell-Typed Logic Programs Are not Wrong
We consider prescriptive type systems for logic programs (as in Gödel or Mercury). In such systems, the typing is static, but it guarantees an operational property: if a program is well-typed , then all derivations starting in a well-typed query are again well-typed . This property has been called subject reduction. We show that this property can also be phrased as a property of the proof-theor...
متن کاملWhat Can Go Wrong with Statistics: Typical Errors
The poster will summarize and illustrate the most typical errors that appear in the presentations of newcomers, but also in the newspapers and even in the research papers where the statistical results are discussed. Although every classification is inevitably a simplification of the real situation I have divided typical errors into six big groups for the sake of clarity: unsuitable method for a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3022670.2951915