Sciweavers

Share
ML
2007
ACM

Status report: hot pickles, and how to serve them

9 years 3 months ago
Status report: hot pickles, and how to serve them
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, including variants of ML, thus offer pickling as a system service, but usually in a both unsafe and inexpressive manner, so that its use is discouraged. In contrast, safe generic pickling plays a central role in the design and implementation of Alice ML: components are defined as pickles, and modules can be exchanged between processes using pickling. For that purpose, pickling has to be higher-order and typed (HOT), i.e. embrace code mobility and involve runtime type checks for safety. We show how HOT pickling can be realised with a modular ture consisting of multiple abstraction layers for separating concerns, and how both language and implementation benefit from a design consistently based on pickling. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features; E.2 [Da...
Andreas Rossberg, Guido Tack, Leif Kornstaedt
Added 27 Dec 2010
Updated 27 Dec 2010
Type Journal
Year 2007
Where ML
Authors Andreas Rossberg, Guido Tack, Leif Kornstaedt
Comments (0)
books