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] build tools with critical mass?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-09-06 (09:21)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] build tools with critical mass?
On Mon, 2004-09-06 at 12:02, chris.danx wrote:
> Brandon J. Van Every wrote:
>  Ocaml is my 
> choice for graphics because of it provides good performance and doesn't 
> pigeon hole the problem to an "imperative", "object orientated" or 
> "functional" solution.

Yes but if you look at the reason you can do this, you'll
find answers like 'sound type system', and then you can
start to use that as a way to judge the capabilities of
other languages.

in that case 'it meets my needs' isn't so much of an argument,
since the *real* requirement isn't that it meets you needs,
but that it meets you needs *and will continue to do so 
in the face of change*.

In other words to predict the true productivity benefits
of a language you really do need to examine the mathematical

I don't have confidence in Ocaml *just* because it has
been able to do what I wanted, and still does,
but *also* because I trust the developers to extend it
in ways which mathematics predicts are sound and useful.

I have much sympathy for 'it works in practice, but
does it work in theory?' because in my exprience,
the pragmatic reality is that if it doesn't work
in theory -- you're just deluding yourself that
it actually does work in practice :)

John Skaller,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language

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