Prototyping language extention
Hi, All! As part of my research I'm going to create prototype system implementing some extentions concerning at most module system to the language and to toy with it a little. So I wonder what is the best way to do that? Should I cope with compiler sources, or write an interpeter from scratch, or maybe something else? Any thoughts or pointers would be apprciated. -- Best regards, Dmitry Malenko. +----------------------------------------------------+ Registered Linux user #258004 ALT Linux Team http://www.altlinux.ru +----------------------------------------------------+ Staff meeting in the conference room in %d minutes.
Dmitry Malenko wrote (on 09-02-03 21:57 +0200):
As part of my research I'm going to create prototype system implementing some extentions concerning at most module system to the language and to toy with it a little. So I wonder what is the best way to do that?
Should I cope with compiler sources, or write an interpeter from scratch, or maybe something else?
See: Iavor S. Diatchki, Mark P. Jones and Thomas Hallgren. A formal specification of the Haskell 98 Module System. PLI Haskell Workshop, 2002. http://www.cse.unsw.edu.au/~chak/hw2002/ This describes an executable specification (in Haskell) which complements the specification of the typing system described in "Typing Haskell in Haskell". It's perfect for prototyping and tinkering with the module system. Regards, -- Frank
participants (2)
-
Dmitry Malenko -
Frank Atanassow