Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.06747 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909248411140096 |
|---|---|
| author | Marques, Rodrigo Florido, Mário Vasconcelos, Pedro |
| author_facet | Marques, Rodrigo Florido, Mário Vasconcelos, Pedro |
| contents | MLsub is a minimal language with a type system combining subtyping and parametric polymorphism and a type inference algorithm which infers compact principal types. Simple-sub is an alternative inference algorithm which can be implemented efficiently and is easier to understand. MLsub supports explicitly typed records which are not extensible. Here we extend Simple-sub with extensible records, meaning that we can add new fields to a previously defined record. For this we add row variables to our type language and extend the type constraint solving method of our type inference algorithm accordingly, keeping the decidability of type inference. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_06747 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Towards Algebraic Subtyping for Extensible Records Marques, Rodrigo Florido, Mário Vasconcelos, Pedro Programming Languages MLsub is a minimal language with a type system combining subtyping and parametric polymorphism and a type inference algorithm which infers compact principal types. Simple-sub is an alternative inference algorithm which can be implemented efficiently and is easier to understand. MLsub supports explicitly typed records which are not extensible. Here we extend Simple-sub with extensible records, meaning that we can add new fields to a previously defined record. For this we add row variables to our type language and extend the type constraint solving method of our type inference algorithm accordingly, keeping the decidability of type inference. |
| title | Towards Algebraic Subtyping for Extensible Records |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2407.06747 |