[图书][B] Top quality type error messages
BJ Heeren - 2005 - Citeseer
Overview. This chapter provides a gentle introduction to type systems, functional languages,
and type error messages. We give examples of reported type error messages to illustrate the …
and type error messages. We give examples of reported type error messages to illustrate the …
Heuristics for type error discovery and recovery
Type error messages that are reported for incorrect functional programs can be difficult to
understand. The reason for this is that most type inference algorithms proceed in a …
understand. The reason for this is that most type inference algorithms proceed in a …
Type error diagnosis for embedded DSLs by two-stage specialized type rules
In the functional programming world, it is common to embed a domain specific language
(DSL) in a general purpose language. Unfortunately, the extra abstraction layer provided by …
(DSL) in a general purpose language. Unfortunately, the extra abstraction layer provided by …
Instance chains: type class programming without overlapping instances
Type classes have found a wide variety of uses in Haskell programs, from simple
overloading of operators (such as equality or ordering) to complex invariants used to …
overloading of operators (such as equality or ordering) to complex invariants used to …
Combinators for impure yet hygienic code generation
Y Kameyama, O Kiselyov, C Shan - Proceedings of the ACM SIGPLAN …, 2014 - dl.acm.org
Code generation is the leading approach to making high-performance software reusable.
Effects are indispensable in code generators, whether to report failures or to insert let …
Effects are indispensable in code generators, whether to report failures or to insert let …
[图书][B] Type inference and type error diagnosis for Hindley/Milner with extensions
JR Wazny - 2006 - Citeseer
Abstract Types and formal type systems have proven invaluable in the design and use of
modern declarative languages. The Hindley/Milner type system forms the basis of many type …
modern declarative languages. The Hindley/Milner type system forms the basis of many type …
[图书][B] Stepping through Haskell
A Dijkstra - 2005 - Citeseer
1. Introduction complexity and simplicity by describing features individually, as separate
aspects of a more complex whole. In the following section we first give an overview of our …
aspects of a more complex whole. In the following section we first give an overview of our …
Ruler: Programming type rules
A Dijkstra, SD Swierstra - International Symposium on Functional and …, 2006 - Springer
Some type systems are first described formally, to be sometimes followed by an
implementation. Other type systems are first implemented as language extensions, to be …
implementation. Other type systems are first implemented as language extensions, to be …
Type processing by constraint reasoning
PJ Stuckey, M Sulzmann, J Wazny - Asian Symposium on Programming …, 2006 - Springer
Herbrand constraint solving or unification has long been understood as an efficient
mechanism for type checking and inference for programs using Hindley/Milner types. If we …
mechanism for type checking and inference for programs using Hindley/Milner types. If we …
[PDF][PDF] Making implicit parameters explicit
A Dijkstra, SD Swierstra - 2005 - webdoc.sub.gwdg.de
In almost all languages all arguments to functions are to be given explicitly. The Haskell
class system however is an exception: functions can have class predicates as part of their …
class system however is an exception: functions can have class predicates as part of their …