[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Rather, DSSLs increase modularity, productivity

> > 3)  Please read through Graydon Hoare's "One-Day-Compilers" 
> talk 
> (http://www.venge.net/graydon/talks/mkc/html/mgp00001.html) 
> on implementing program generating programs in OCaml.  
> (Subtitle:  "How I learned to stop worrying and love static 
> metaprogramming."
> Interesting.  Thanks.
> Perhaps it's useful to make a distinction between source-level compile
> time metaprogramming and run time metaprogramming.  Source-level
> metaprogramming as found in languages like ML is pretty useful and
> enables a lot of the things that are done in dynamic languages.  

Probably.  I think I was able to work around your argument (as Michael
has already pointed out to me) by conflating the two types of dynamicism.
I must admit that when I think "dynamic", ML is not the first thing that
jumps to mind.

Still, lots of people far cleverer than I seem to be making good use of
the functionality that is present in today's statically typed systems.

One possible exception to the broad brush used to paint static type
systems might be Clean's notion of Dynamics, which were
recently added to the language, but have yet to be understood by