A Foreign Language Interface from ML to Shell.
Saved in:
| Title: | A Foreign Language Interface from ML to Shell. |
|---|---|
| Authors: | Ueno, Katsuhiro1 katsu@riec.tohoku.ac.jp, Ohori, Atsushi1 ohori@riec.tohoku.ac.jp |
| Source: | New Generation Computing. Aug2016, Vol. 34 Issue 3, p239-256. 18p. |
| Subjects: | ML (Computer program language), Metalanguage, Computer programming, Compilers (Computer programs), Programming language semantics |
| Abstract: | This paper proposes a new approach to embedding shell scripts in an ML-style typed functional language. Instead of representing each construct in the shell script language as a typed component, the proposed approach treats an untyped shell script program as a typed function. The programmer writes a shell script and specifies its type according to the intention of his/her script. The ML compiler automatically generates glue codes that serialize and de-serialize input and output data. With this embedding mechanism, an ML programmer can enjoy the full benefits of shell programming directly within an ML program. The proposed approach has been implemented in our SML# compiler. [ABSTRACT FROM AUTHOR] |
| Copyright of New Generation Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
