From: skaller <skaller@users.sourceforge.net>
To: "chris.danx" <chris.danx@ntlworld.com>
Cc: "Brandon J. Van Every" <vanevery@indiegamedesign.com>,
caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] build tools with critical mass?
Date: 06 Sep 2004 19:21:05 +1000 [thread overview]
Message-ID: <1094462464.3352.1043.camel@pelican.wigram> (raw)
In-Reply-To: <413BC51A.1030009@ntlworld.com>
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
fundamentals.
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, mailto:skaller@users.sf.net
voice: 061-2-9660-0850,
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net
-------------------
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
next prev parent reply other threads:[~2004-09-06 9:21 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-05 20:28 Brandon J. Van Every
2004-09-06 2:02 ` chris.danx
2004-09-06 4:56 ` Brian Hurt
2004-09-06 9:21 ` skaller [this message]
2004-09-06 15:01 ` chris.danx
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1094462464.3352.1043.camel@pelican.wigram \
--to=skaller@users.sourceforge.net \
--cc=caml-list@inria.fr \
--cc=chris.danx@ntlworld.com \
--cc=vanevery@indiegamedesign.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).