Abstract
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily available. In this paper, we explain the design and implementation of PADS/ML, a new language and system that facilitates the generation of data processing tools for ad hoc formats. The PADS/ML design includes features such as dependent, polymorphic and recursive datatypes, which allow programmers to describe the syntax and semantics of ad hoc data in a concise, easy-to-read notation. The PADS/ML implementation compiles these descriptions into ML structures and functors that include types for parsed data, functions for parsing and printing, and auxiliary support for user-specified, format-dependent and format-independent tool generation.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 77-83 |
| Number of pages | 7 |
| Journal | ACM SIGPLAN Notices |
| Volume | 42 |
| Issue number | 1 |
| State | Published - Jan 2007 |
All Science Journal Classification (ASJC) codes
- General Computer Science
Keywords
- Data description languages
- Dependent types
- Domain-specific languages
- Functional programming
- ML
- Modules
- Parsing
- Printing