E Meijer and K Claessen. The design and implementation of Mondrian. In J Launchbury, editor, Haskell workshop, Amsterdam, 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Machine code where already developed, but none (as far as we could investigate) implements a G Machine with a simple interface that could be used to implement any lazy functional language. For example [11] implements a Haskell compiler to Java byte code based on the v,g Machine and Meijer [8], in his work with the functional scripting language Mondrian, implements a compiler to Java using a class to specify each supercombinator de nition, but uses a di erent evaluation method. Finally, we should mention the important work on implementing Microsoft s COM components in Haskell [7] 10] ....

MEIJER, E.; CLAESSEN, K. \The Design and Implementation of Mondrian". In Proc. Haskell Workshop, 1997.

....plans to use Henk as an intermediate language [10] We will investigate how to construct a mapping from Generic Haskell programs to Henk programs, and whether or not Henk should be extended for this purpose. 3 Another proposed application of Henk is the internet scripting language Mondrian [3]. Mondrian is a Haskell dialect that aims to generalise some of Haskell s complex constructs, and add a few simple ones. A main feature of Mondrian is that is has a full functional language on the level of types. This makes Henk an excellent candidate for its intermediate language. Again a mapping ....

Erik Meijer and Koen Claessen, The Design and Implementation of Mondrian, in Proceedings of the Haskell Workshop, 1997

....is, however, hindered by Haskell s lack of scoped type variables. Recall that type signatures are mandatory for generic de nitions. The lack of explicit scopes makes it impossible to distinguish between monomorphic and polymorphic uses of type variables. A suitable extension is described in [17]. 2.6 Values indexed by rst order type constructors Functions may not only be indexed by types of kind but also by type constructors of rst order kind. The archetypical example for such a function is size(t) t a Int, which counts the number of values of type a in a given structure of ....

Erik Meijer and Koen Claessen. The design and implementation of Mondrian. In Proceedings of the Haskell Workshop, 1997.

....mix x expressions in this context [Wed98] using Asf Sdf, but serious holes still remain [Wed98, x5.10] User de ned precedence rules have yet to be included [CoF98, xC.3] Mondrian. Rumour has it that Mondrian has dist x operators; this is not mentioned in the published paper on Mondrian [MC97] and Meijer didn t get back to me in time ] Others. Hope [BMS80] was an early language to incorporate dist x syntax (according to [PJ86] Missura [Mis97] describes general mathematical notation as higher order mix x syntax, and deals with resolving parsing ambiguities by typechecking. The ....

Erik Meijer and Koen Claessen. The design and implementation of Mondrian. In Proceedings of the Haskell Workshop, Amsterdam, The Netherlands, June 6, 1997, 1997.

.... forms of object orientation There are several of these extensions, for instance the class mechanism in Haskell [HHJW96] which also allows some form of overloading , the combination of this class mechanism with existential types [Lau96] and the experimental Haskell dialect called Mondrian [MC97]. The notion of co inheritance for inductive types introduced here provides a different perspective on inheritance as we know it from object oriented languages. This may help to get a better understanding of it. For example, for inductive types it is easier to see that subtyping and coinheritance ....

Erik Meijer and Koen Claessen. The design and implementation of Mondrian. In Haskell Workshop. ACM, June 1997.

....target the CLR. We describe Mondrian by highlighting the di#erences between it and a traditional functional language. 2. 1 History and context We started to explore the possibility of a pure functional scripting language for glueing together software components [5] in the original Mondrian paper [13]. Along the way however, we had to encountered several other interesting research problems such as foreign function interfaces [12, 10, 14, 4, 3, 8] and type system issues [18, 11] that needed to be solved before we could continue the actual implementation on Mondrian. In the mean time, Microsoft ....

Erik Meijer and Koen Claessen. The Design and Implementation of Mondrian. In Haskell Workshop, 1997. XV

....and Haskell style overloading coexist happily. This is witnessed by our implementation of implicit parameters within Hugs. The work presented here is the rst half of a larger research programme to de construct the complex type class system of Haskell into simpler, orthogonal language features [11]. This paper elevates the dictionary translation into a selfcontained language feature, rather than just a semantics for type classes left under the hood. Can we replace Haskell type classes with just implicit parameters alone Almost Following the original proposal for type classes [16] we ....

Meijer, E., and Claessen, K. The design and implementation of Mondrian. In Proceedings of the Haskell Workshop (1997).

No context found.

E Meijer and K Claessen. The design and implementation of Mondrian. In J Launchbury, editor, Haskell workshop, Amsterdam, 1997.

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