File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Appears in Collections:
Conference Paper: Quantified class constraints
Title | Quantified class constraints |
---|---|
Authors | |
Issue Date | 2017 |
Publisher | Association for Computing Machinery (ACM). |
Citation | Proceedings of the 10th ACM SIGPLAN International Conference on Haskell (Haskell 2017), Oxford, UK, 7-8 September 2017, p. 148-161 How to Cite? |
Abstract | Quantified class constraints have been proposed many years ago to raise the expressive power of type classes from Horn clauses to the universal fragment of Hereditiary Harrop logic. Yet, while it has been much asked for over the years, the feature was never implemented or studied in depth. Instead, several workarounds have been proposed, all of which are ultimately stopgap measures.
This paper revisits the idea of quantified class constraints and elaborates it into a practical language design. We show the merit of quantified class constraints in terms of more expressive modeling and in terms of terminating type class resolution. In addition, we provide a declarative specification of the type system as well as a type inference algorithm that elaborates into System F. Moreover, we discuss termination conditions of our system and also provide a prototype implementation. |
Description | Part of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017) |
Persistent Identifier | http://hdl.handle.net/10722/301305 |
ISBN |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bottu, GJ | - |
dc.contributor.author | Karachalias, G | - |
dc.contributor.author | Schrijvers, T | - |
dc.contributor.author | Dos Santos Oliveira, BC | - |
dc.contributor.author | Wadler, P | - |
dc.date.accessioned | 2021-07-27T08:09:09Z | - |
dc.date.available | 2021-07-27T08:09:09Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | Proceedings of the 10th ACM SIGPLAN International Conference on Haskell (Haskell 2017), Oxford, UK, 7-8 September 2017, p. 148-161 | - |
dc.identifier.isbn | 9781450351829 | - |
dc.identifier.uri | http://hdl.handle.net/10722/301305 | - |
dc.description | Part of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017) | - |
dc.description.abstract | Quantified class constraints have been proposed many years ago to raise the expressive power of type classes from Horn clauses to the universal fragment of Hereditiary Harrop logic. Yet, while it has been much asked for over the years, the feature was never implemented or studied in depth. Instead, several workarounds have been proposed, all of which are ultimately stopgap measures. This paper revisits the idea of quantified class constraints and elaborates it into a practical language design. We show the merit of quantified class constraints in terms of more expressive modeling and in terms of terminating type class resolution. In addition, we provide a declarative specification of the type system as well as a type inference algorithm that elaborates into System F. Moreover, we discuss termination conditions of our system and also provide a prototype implementation. | - |
dc.language | eng | - |
dc.publisher | Association for Computing Machinery (ACM). | - |
dc.relation.ispartof | Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell | - |
dc.title | Quantified class constraints | - |
dc.type | Conference_Paper | - |
dc.identifier.email | Dos Santos Oliveira, BC: bruno@cs.hku.hk | - |
dc.identifier.authority | Dos Santos Oliveira, BC=rp01786 | - |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.doi | 10.1145/3122955.3122967 | - |
dc.identifier.hkuros | 323718 | - |
dc.identifier.spage | 148 | - |
dc.identifier.epage | 161 | - |
dc.publisher.place | New York, NY | - |