WebHome
-
UHC
-
EHC
-
Documentation
-
Features & Status
-
EH examples
-
Feedback
-
News
-
FAQ
Related
-
Ruler
-
Shuffle
-
uulib & uuagc
Old Stuff
-
Previous WebHome
-
AFP2004
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Exploiting Type Annotations
Ehc
---++ Exploiting Type Annotations * Atze Dijkstra, S. Doaitse Swierstra, 2007 * rejected by [[http://www.di.uminho.pt/etaps07/][ESOP 2007]] * _Abstract_: The Haskell type system has been designed in such a way that all allowed types can be inferred automatically; any explicit type specification only serves as a means of documentation and safeguarding. Consequently, a programmer is free to omit any type signature, and the program will still type check. The price to be paid for this convenience is limited expressiveness of the type system: even if a programmer is willing to explicitly provide higher-ranked types with polymorphic arguments, this is not allowed. In an effort to obtain the same expressiveness as System F, the use of universally quantified types on higher ranked positions in types in particular has received much attention in recent years. Because type inference for such types in general is not possible, much work has been done to investigate which limitations on higher ranked types still allow type inference. In this paper we explore an alternative, algorithmic, approach to this problem, which does not limit expressiveness: we propagate explicitly specified type information to all program locations where this information provides starting information for a standard Hindley-Milner type inference algorithm. -- Main.AtzeDijkstra - 21 Sep 2007
Topic attachments
I
Attachment
Action
Size
Date
Who
Comment
pdf
20061013-1745-esop07-impred-tr.pdf
manage
209.0 K
21 Sep 2007 - 09:37
AtzeDijkstra
extended version (technical report)
pdf
20061013-1745-esop07-impred.pdf
manage
134.6 K
21 Sep 2007 - 09:36
AtzeDijkstra