Some Practical Aspects of Dependent Datatypes
The mechanism for declaring datatypes to model data structures in functional programming languages such as Standard ML and Haskell can offer both convenience in programming and clarity in code. With the introduction of dependent datatypes in DML, the programmer can model data structures more accurat...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.1667 http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.127.1667 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.127.1667 2023-05-15T16:01:45+02:00 Some Practical Aspects of Dependent Datatypes Hongwei Xi The Pennsylvania State University CiteSeerX Archives application/postscript http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.1667 http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.1667 http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps text ftciteseerx 2016-01-07T14:21:16Z The mechanism for declaring datatypes to model data structures in functional programming languages such as Standard ML and Haskell can offer both convenience in programming and clarity in code. With the introduction of dependent datatypes in DML, the programmer can model data structures more accurately, capturing more program invariants. In this paper, we study some practical aspects of dependent datatypes that affect both type-checking and compiling pattern matching as well as datatype representation. The results, which have already been tested, demonstrate that dependent datatype can not only offer various programming benefits but also lead to performance gains, yielding a concrete case where safer programs run faster. Text DML Unknown Haskell ENVELOPE(-64.279,-64.279,-66.749,-66.749) |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
The mechanism for declaring datatypes to model data structures in functional programming languages such as Standard ML and Haskell can offer both convenience in programming and clarity in code. With the introduction of dependent datatypes in DML, the programmer can model data structures more accurately, capturing more program invariants. In this paper, we study some practical aspects of dependent datatypes that affect both type-checking and compiling pattern matching as well as datatype representation. The results, which have already been tested, demonstrate that dependent datatype can not only offer various programming benefits but also lead to performance gains, yielding a concrete case where safer programs run faster. |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Hongwei Xi |
spellingShingle |
Hongwei Xi Some Practical Aspects of Dependent Datatypes |
author_facet |
Hongwei Xi |
author_sort |
Hongwei Xi |
title |
Some Practical Aspects of Dependent Datatypes |
title_short |
Some Practical Aspects of Dependent Datatypes |
title_full |
Some Practical Aspects of Dependent Datatypes |
title_fullStr |
Some Practical Aspects of Dependent Datatypes |
title_full_unstemmed |
Some Practical Aspects of Dependent Datatypes |
title_sort |
some practical aspects of dependent datatypes |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.1667 http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps |
long_lat |
ENVELOPE(-64.279,-64.279,-66.749,-66.749) |
geographic |
Haskell |
geographic_facet |
Haskell |
genre |
DML |
genre_facet |
DML |
op_source |
http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.1667 http://www.cs.bu.edu/~hwxi/academic/papers/PADD.ps |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766397488528359424 |