----- Forwarded message from oliver -----

Date: Thu, 13 Mar 2003 01:29:47 +0100
To: Michael Schuerig <schuerig@acm.org>
Subject: Re: [Caml-list] OCaml popularity
Message-ID: <20030313002947.GB1197@first.in-berlin.de>
References: <Pine.GSO.4.44.0303121258020.5464-100000@gradient.cis.upenn.edu> <200303122334.34982.schuerig@acm.org> <20030312231352.GC372@phaeton.entropie.net> <200303130035.39823.schuerig@acm.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
In-Reply-To: <200303130035.39823.schuerig@acm.org>
User-Agent: Mutt/1.3.28i
Status: RO
Content-Length: 2978
Lines: 88

On Thu, Mar 13, 2003 at 12:35:39AM +0100, Michael Schuerig wrote:
> On Thursday 13 March 2003 00:13, Martin Weber wrote:
> > I don't know what usually classifies as 'enterprise application' but
> > I think what I'm doing is one - application(s) written solely for the
> > use within the producing corner - no end user will ever see it
> 
> In my experience, the term "enterprise application" is not used 
> generically for all custom or behind-the-scenes application used in an 
> enterprise. Rather, it's used more specifically for applications that 
> handle large amounts of data managed in databases; stuffing data into 
> and getting it out of a DB and accomodating business processes while 
> doing so.

Well, when reasoning about data-structures, OCaml could provide
much here.
But IMHO, this area is absolutely a high-performance field.

And when you retrieve a lot of data, then every little
performance lack (which is not worth talking about, the little
quantity of some thousands of datasets or so) will
cause long waiting times for the application and the user...

So, if in high-end-perormance OCaml will be fast enough
in "real-world applications", not only in selected
benchmarks, is not proven yet!

But nevetrheless: Programming is a kind of social
task, and the companies normally will not rely
on a small amaount of programmers, which can't be
substituted by other programmers!
There are to view OCaml-programmers for a decision
in Companies to use that language.

So you have to use C/C++ for the next decade there,
IMHO. (But I hope that there are some niches, where
OCaml could be used here too.)



> 
> I've been working on this kind of software for a couple of years and 
> can't say that I'm particularly attracted to it. To be sure, I 
> recognize that there are interesting aspects to it,

Well, there is a lot of trees, and sorting and such stuff
internally in the databases. If they (the databases) would
be more than a row-oriented SQL-engine, and able
to communicate directly to a datastructure in your
program, that would be nice. :)
A typesafe database. :)


Using the newly created toplevel with database.cma:

# let my_db = Database.create_database (type my_example_db = int * Mytype of int*string) 100000
val my_db : my_example_db = [...]


Wouldn't that be nice?


Maybe it's necessary not to *adapt* OCaml to a database,
but *implement* a database with OCaml!


BTW: using a type-declaration as a parameter for a function...
...that seems unusual to me, and not fitting OCaml-language.
Or could it be possible?

If this is bull...., please show me, how such a stuff like
above could look like, when using OCaml (or "enhanced-OCaml"...).

if this could not implemented directly in Ocaml, maybe
a camlp4-solution could help here?





> but it's not what I 
> myself find interesting. Also, as I said before, I don't see that OCaml 
> provides a decisive advantage for *this* kind of software.

Sould be, IMHO (see above).


Ciao,
   Oliver

----- End forwarded message -----

-------------------
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