A Foreign Language Interface from ML to Shell

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish
Pages (from-to)239-256
Number of pages18
JournalNew Generation Computing
Volume34
Issue number3
DOIs
Publication statusPublished - 2016 Aug 1

Keywords

  • Interoperability
  • ML
  • Shell Script

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'A Foreign Language Interface from ML to Shell'. Together they form a unique fingerprint.

Cite this