A Summary of Lucid for Programmers (1981 version)∗
نویسندگان
چکیده
This paper presents the programming language Lucid, both its syntax and semantics, and discusses some possible ways of thinking about the operational behavior of Lucid programs. (The actual operational behavior is really completely different, but we find that having some sort of operational ideas is often very useful when designing Lucid programs.) This paper does not consider the manipulation (transformation) rules, or the inference rules, that are an integral part of Lucid and which allow reasoning about programs. It is concerned mainly with Lucid as a programming language. The commonplace expressions of arithmetic and algebra have a certain simplicity that most communications to computers look. P. J. Landin, 1966.
منابع مشابه
Lucid dreaming verified by volitional communication during REM sleep.
SUMMARY The occurrence of lucid dreaming (dreaming while being conscious that one is dreaming) has been verified for 5 selected subjects who signaled that they knew they were dreaming while continuing to dream during unequivocal REM sleep. The signals consisted of particular dream actions having observable concomitants and were performed in accordance with pre-sleep agreement. The ability of pr...
متن کاملMonads and Intensionality∗
Monads are a concept of category theory which can be used to structure functional programs or even define nonstandard interpretations of the λ-calculus. These nonstandard functional languages share many of Lucid’s unusual features, such as the distinction between synchronic and general functions. In fact Lucid is exactly one of these languages, determined by a simple stream monad. We therefore ...
متن کاملMultidimensional infinite data in the language Lucid
Although the language Lucid was not originally intended to support computing with infinite data structures, the notion of (infinite) sequence quickly came to the fore, together with a demanddriven computation model in which demands are propagated for the values of particular values at particular index points. This naturally generalized to sequences of multiple dimensions so that a programmer co...
متن کاملViscid, a vi-like screen editor written in Lucid∗
In this paper we describe a full screen editor program written entirely in Lucid, a functional dataflow language. Our goal was to verify that pure nonprocedural languages can be used to program ‘realistic’ applications, including ones involving interactive I/O. The editor (which we call viscid) is similar to the vi editor of Berkeley UNIX(TM). Viscid is much simpler than vi but does handle basi...
متن کاملBeverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice Programmers
We report here on the goals and status of an intelligent tutoring system being developed for novice Pascal programmers. We also describe our approach to program understanding, bug finding, and the inference of misconceptions. Examples of the system's capabilities are given.
متن کامل