Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search

[REBOL] Re: A prototype typechecker

From: jan:skibinski:sympatico:ca at: 8-Nov-2002 21:18

Hi Brett, Firstly, about the online references you cited: 1-st does does not work 2-nd (Hudak's paper) seems to me quite obsolete, from 1996. Paul Hudak wrote a newer paper which expands on the one you cite by adding better introduction where clear distinction is made between DSL and DSEL and by adding some new good examples from FRAN (Functional Reactive Animation). See Hudak's paper in postscript on the FROB site (Functional Robotics) - Haskell for Vision and Robotics: Frob itself is a prime example of DSEL. The best description of DSEL used to be on Galois Connections web site. But they redesign their site every three months or so and I cannot found the references to DSELs anymore. But they do DSELs while building cryptographic software for NSA. A Haskell shop. You can find a short tutorial on FRAN here: [Pointers to Fran at Microsoft Research do not work any more. I do not know why.] Another prime example of DSEL in Haskell is Hawk, a library for: Specifying, Verifying, and Simulating Microprocessors There are few good presentations and tutorial there. I once prepared my own live tutorial on Hawk (to execute simulated circuits as you read) and if you really, really want to see it just ask - I can dig out the copy from the Wayback Machine. In essence: DSEL uses facilities (language features and tools) of a host language, such as Haskell, to design a DSL such as Frob. That's why I asked whether DSEL = dialect. I guess it is true but I still know too little about Rebol's dialects to be sure of that. Jan Brett Handley wrote: