From: Keunwoo Lee (klee@cs.washington.edu)
Date: Wed Nov 27 2002 - 13:37:43 PST
On Mon, 25 Nov 2002, Andrei Alexandrescu wrote:
> For example:
>
> Matrix A, B, C, D;
> A = B + C + D;
>
> Here, B + C + D creates an object of type Plus<Matrix, Plus<Matrix,
> Matrix>>. So as you see, the AST is in the type. (The type generated by
> more complex expressions will be appropriatedly hairy.)
For good measure, here's Conal Elliott's Pan work, which does a similar
thing in the application-specific domain of functional images, except it's
type-safe because it uses Haskell overloading:
http://conal.net/Pan/default.htm
(Conal's formerly of MSR; he quit recently, as Craig, Todd, & I learned at
ICFP, hence the conal.net address.)
Which further reminds me of Hudak's work on modular DSLs in Haskell:
http://citeseer.nj.nec.com/hudak98modular.html
~k
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://mailman.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Wed Nov 27 2002 - 13:37:49 PST