[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:
http://haskell.org/frob/
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:
http://www.haskell.org/fran/fran.html
[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
http://www.cse.ogi.edu/PacSoft/projects/Hawk/
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:
