Abstract: "In place of the common separation of functional I/O into continuation and stream based schemes, an alternative division between Data Driven and Strictness Driven mechanisms for I/O is proposed. The data driven mechanism determines I/O actions by the Weak Head Normal Forms of programs...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Gordon, Andrew 1952- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge 1989
Schriftenreihe:	Computer Laboratory <Cambridge>: Technical report 160
Schlagworte:	Computer software Information theory Kernel functions
Zusammenfassung:	Abstract: "In place of the common separation of functional I/O into continuation and stream based schemes, an alternative division between Data Driven and Strictness Driven mechanisms for I/O is proposed. The data driven mechanism determines I/O actions by the Weak Head Normal Forms of programs, while strictness driven I/O is based on suspensions--I/O actions are triggered when demand arises for the value of a suspension during normal order reduction. The data driven and strictness driven I/O mechanisms are exemplified by the output list and input list, respectively, in Landin's stream based I/O schemes PFL+ is a functional I/O scheme, able to express arbitrary I/O actions and both data driven and strictness driven constructs in terms of a small kernel of primitives. PFL+ could be added to any functional language. It is based on Holmstrom's PFL [5], a parallel functional language with embedded communication and concurrency operators from CCS. PFL+ adds non-strict communication, behaviors with results, and primitives to make suspensions. Examples are given of how PFL+ can derive from these primitives both stream based I/O and the representation of the file system as a function.
Beschreibung:	26 S.