On Jun 18, 2004, at 11:59 AM, skaller wrote:

> Ocaml not only has 'DSL' characteristics, it is easily
> the best DSL around for a wide range of tasks:
> more precisely, Ocaml is such a good DSL it doesn't
> need any built-in DSLs, it uses a DSL generator instead.

What I think of as DSL characteristics are language features targeted 
at specific tasks which aren't generally useful outside that area, yet 
are integrated in the language (e.g. file and text processing in Perl).

> Of course I'm mainly talking about camlp4, but one
> cannot leave out its strong ability to create
> parsers and interpreters and translators by other
> means as another DSL integration technique.

I was ignoring camlp4...and while OCaml is well-suited for creating 
parsers, interpreters and translators, can you think of any specific 
non-general language feature (apart from camlp4) facilitating this?  I 
think things like variant types and pattern matching are extremely 
general language features.

Of course it's difficult to define what a "general" language feature 
is, but I'm curious as to what OCaml features someone might consider 
domain-specific.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners