Affiliation:
1. Université Paris-Sud, Orsay, France
2. CNRS, Département d'Informatique, Paris, France
Abstract
We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas.
.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference16 articles.
1. Dynamic typing in a statically typed language
2. Bell-labs. Galax. http://db.bell-labs.com/galax/.]] Bell-labs. Galax. http://db.bell-labs.com/galax/.]]
3. S. Boag D. Chamberlin M. Fernandez D. Florescu J. Robie J. Siméon and M. Stefanescu. XQuery 1.0: An XML Query Language. W3C Working Draft http://www.w3.org/TR/xquery/ 2003.]] S. Boag D. Chamberlin M. Fernandez D. Florescu J. Robie J. Siméon and M. Stefanescu. XQuery 1.0: An XML Query Language. W3C Working Draft http://www.w3.org/TR/xquery/ 2003.]]
4. Parasitic methods
5. Extending Java for high-level Web service construction
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Typing Records, Maps, and Structs;Proceedings of the ACM on Programming Languages;2023-08-30
2. Multi-model query languages: taming the variety of big data;Distributed and Parallel Databases;2023-05-31
3. String Test Data Generation for Java Programs;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
4. Set-theoretic Types for Erlang;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31
5. Revisiting occurrence typing;Science of Computer Programming;2022-05