Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Great Programming Language Shootout Revived
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-06-18 (09:57)
From: Ville-Pertti Keinonen <will@e...>
Subject: Re: [Caml-list] Great Programming Language Shootout Revived

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 

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: