L. Cardelli. Two-dimensional syntax for functional languages. Technical Report CSR-115-82, Department of Computer Science, University of Edinburgh, 1982.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....One approach to combine the graphical components in a visual language is to de ne a graphical syntax. B. Backlund et al. [3] describe several visual language oriented design environments and conclude that the meta techniques can be extended to languages having a graphical syntax. Luca Cardelli [12] discussed ideas of programming with boxes and other graphical data structures which are t for functional languages. In the paper, a graphical syntax for a small functional language was described. These ideas may be the basis for a programming system using a structure editor to manipulate ....

....of type systems in visual languages. 3.3.2 Discussion In principle, a visual programming system may be syntax directed, where construct connection is only allowed if syntax correctness is preserved. This approach is taken in Cardelli s seminal proposal for visual functional programming[12]. However, syntax directed programming imposes an un natural discipline on programmers. It is more common either to allow free interconnection, through what is essentially ad hoc polymorphism with Lang Type safety Type Visual Representation Fabrik not not visible before wiring two object ....

L. Cardelli. Two-dimensional syntax for functional languages. Technical Report CSR-115-82, Department of Computer Science, University of Edinburgh, 1982.

....become actual graphical objects. These notations generally make textual names explicitly visible; the more general idea of view binding is that, although graphical objects are visible to the user, the names bound with those objects are internal (and irrelevant to the end user) Cardelli [3] notes that a twodimensional notation becomes particularly interesting when applied to two dimensional data whilst itself being expressible in that data type: he shows that Knuth s operations on boxes [11] can be expressed in his notation. 4. ADVANTAGES OF VIEW BINDING 4.1. Advantages for the ....

L. CARDELLI (1983), "Two Dimensional Syntax For Functional Languages," in Integrated Interactive Computing Systems, edited by P. DEGANO & E. SANDEWALL, North-Holland, pp139--151.

....boxand arrow diagrams; Kelly [78] illustrates networks of streams and processes written using an annotated pure functional language; Waugh et al. [152] illustrate the effect of program transformation on parallelism. There have also been proposals for formal visual functional languages. Cardelli [31] proposed a visual functional language in which function application is denoted by juxtaposition of a function name with its arguments; bracketing is denoted by containing boxes; pattern matching can select one of several expressions; bindings are denoted by placing a left pointing arrow between a ....

....a completed Visual Haskell function, the system traverses the graph, generating (linear) Haskell code on the way there is never any need to parse a two dimensional picture. Cardelli made much the same observation, although his system translated abstract syntax trees into visual representations [31]. Despite the fact that Visual Haskell does not include all of Haskell, Dawson s system was able to generate executable Haskell functions. The type declaration for each function was inserted textually into a form associated with the function; other information in the form included the numbers of ....

Luca Cardelli. Two-dimensional syntax for functional languages. In Proc. Integrated Interactive Computing Systems, pages 107--119, 1983.

....box and arrow diagrams; Kelly [78] illustrates networks of streams and processes written using an annotated pure functional language; Waugh et al. [152] illustrate the effect of program transformation on parallelism. There have also been proposals for formal visual functional languages. Cardelli [31] proposed a visual functional language in which function application is denoted by juxtaposition of a function name with its arguments; bracketing is denoted by containing boxes; pattern matching can select one of several expressions; bindings are denoted by placing a CHAPTER 4. VISUAL HASKELL 90 ....

....a completed Visual Haskell function, the system traverses the graph, generating (linear) Haskell code on the way there is never any need to parse a two dimensional picture. Cardelli made much the same observation, although his system translated abstract syntax trees into visual representations [31]. Despite the fact that Visual Haskell does not include all of Haskell, Dawson s system was able to generate executable Haskell functions. The type declaration for each function was inserted textually into a form associated with the function; other information in the form included the numbers of ....

Luca Cardelli. Two-dimensional syntax for functional languages. In Proc. Integrated Interactive Computing Systems, pages 107--119, 1983.

....In the early 1980 s, bit mapped displays and pointing devices such as mice were first integrated into personal computers; today, they are standard equipment of base level systems. Parallel to this development of hardware technology, a multitude of visual programming languages have been devised ([10, 19, 25, 77] being some of the earlier ones) Although they have not left a mark on general purpose programming, they have carved a niche in specialized application domains, such as providing simple programming interfaces to end users of scientific visualization systems ( examples are Iris Explorer [76] AVS ....

Luca Cardelli. Two-Dimensional Syntax for Functional Languages. In Integrated Interactive Computing Systems, pages 139 -- 151, North-Holland Publishing Company, 1983.

....or interconnecting these representations in two dimensions. In principle, a visual programming system may be syntax directed, where construct connection is only allowed if syntax correctness is preserved. This approach is taken in Cardelli s seminal proposal for visual functional programming[Car82]. However, syntax directed programming imposes an un natural discipline on programmers. It is more common either to allow free interconnection, through what is essentially ad hoc polymorphism with en masse consistency checks on a final program, or to use a type system to dynamically constrain ....

L. Cardelli. Two-dimensional syntax for functional languages. Technical Report CSR-115-82, Department of Computer Science, University of Edinburgh, May, 1982. 3 We have ignored the closeness of mapping and consistency criteria here as they relate to a language rather than an environment. A visualisation of polymorphic typechecking 14

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC