Difference between revisions of "Lucid"
EndreyMark (talk | contribs) (Link to a dataflow programming paper based on the concept of comonads) |
EndreyMark (talk | contribs) m (typographic corrections) |
||
| Line 11: | Line 11: | ||
== Details == |
== Details == |
||
| − | The most detailed online material on the details of this language I could find: Raganswamy Jagannathan, Chris Dodd. [http://newton.cs.concordia.ca/%7egipsy/publications/jagannathan96gluguide.ps GLU programmer's guide] ( |
+ | The most detailed online material on the details of this language I could find: Raganswamy Jagannathan, Chris Dodd. [http://newton.cs.concordia.ca/%7egipsy/publications/jagannathan96gluguide.ps GLU programmer's guide] (downloadable as the 4th paper of [http://newton.cs.concordia.ca/%7egipsy/publications.html GIPSY Publications]). The first pages seem to discuss other problems, but it is worth of read further, because a detailed description of Lucid's syntax and semantics is hiding inside this paper (section 3.1.2 on pages 22--38). This paper is part of the [http://newton.cs.concordia.ca/%7egipsy/ Gipsy Project Home Page] (GIPSY: A General Intensional Programming System). |
== Implementation == |
== Implementation == |
||
| Line 25: | Line 25: | ||
A professional approach based on comonads: |
A professional approach based on comonads: |
||
see [http://www.cs.ioc.ee/~tarmo/papers/aplas05.pdf The Essence of Dataflow Programming] paper written by [http://www.cs.ioc.ee/~tarmo/ Tarmo Uustalu]. |
see [http://www.cs.ioc.ee/~tarmo/papers/aplas05.pdf The Essence of Dataflow Programming] paper written by [http://www.cs.ioc.ee/~tarmo/ Tarmo Uustalu]. |
||
| − | + | Comments on this paper can we read in [http://lambda-the-ultimate.org/node/988 Lambda the Ultimate] (but the link given there seems to be broken). |
|
Revision as of 14:53, 11 June 2006
Introduction
Weblogs Forum: Fluid Programming in Lucid -- good examples, and very good links.
Lucid page written by Bill Wadge, including an excerpt from Lucid Primer book.
Wikipedia article (yet a stub, but useful links).
Details
The most detailed online material on the details of this language I could find: Raganswamy Jagannathan, Chris Dodd. GLU programmer's guide (downloadable as the 4th paper of GIPSY Publications). The first pages seem to discuss other problems, but it is worth of read further, because a detailed description of Lucid's syntax and semantics is hiding inside this paper (section 3.1.2 on pages 22--38). This paper is part of the Gipsy Project Home Page (GIPSY: A General Intensional Programming System).
Implementation
A fast-food implementation:
A better implementation could be written using the arrow library available at the Downloads page of Arrows: A General Interface to Computation written by Antony Courtney, Henrik Nilsson and Ross Paterson.
A professional approach based on comonads: see The Essence of Dataflow Programming paper written by Tarmo Uustalu. Comments on this paper can we read in Lambda the Ultimate (but the link given there seems to be broken).