Article View: comp.lang.functional
Article #1218Re: The non-freeness of OCAML (Was: Re: Comparison of various functional languages?)
From: mottl
Date: Thu, 29 Apr 1999 00:00
Date: Thu, 29 Apr 1999 00:00
41 lines
3077 bytes
3077 bytes
In comp.lang.functional Steven G. Johnson <stevenj@alum.mit.edu> wrote:
> So why not use the GPL, like gcc uses? (I assume by "commercial" you mean
> "proprietary." Non-proprietary commercial use, similar to what Cygnus
> does with gcc, would benefit you because you would get to see and use any
> enhancements they make.)
Three points should be noted on this:
Cygnus produces a compiler for a main stream language. It's not a
problem for them if the competition makes use of e.g. new optimization
algorithms - simply because the competition cannot be cheaper than
Cygnus already is...
If a firm wanted to improve Ocaml (or help improving it), there
wouldn't be any problem for INRIA. But Ocaml is not main stream -
if competitors from this (= the main stream) side made direct use of
their algorithms (by copying the code), INRIA could get problems -
you shouldn't forget that it is a research institution that has to
report about the usefulness of their developments. If their intention
is to provide an alternative product (not just a substitute), they
are probably well-advised not to indirectly support the competition
(competition = producers of main stream products).
In the main stream market money is made with development environments,
books, consulting, etc... The competition would have a strong interest
in getting a better compiler if this could help them sell more of
the rest (Cygnus also has to earn money...). So GPL will definitely
not distract them from grabbing INRIA's code (to INRIA's possible
disadvantage).
Best regards,
Markus Mottl
> PS. I am a happy user of OCaml (see http://theory.lcs.mit.edu/~fftw). Thanks!
PS. That's fine!
By the way - I have just taken a look at "genfft": really nice! I like
the application of monads in your simplification algorithms...
--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
Technical Details
Message-ID:
<7g8b14$paf@cantine.wu-wien.ac.at>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailReferences:
<87aew9agkw.fsf@padova.cnet.com> <7f5l3o$r6r@cantine.wu-wien.ac.at> <87btgpldhv.fsf_-_@ugh.jyu.fi.invalid> <7f6sqi$bjq@cantine.wu-wien.ac.at> <87k8vcn7ga.fsf@ugh.jyu.fi.invalid> <7f8bot$18j@cantine.wu-wien.ac.at> <7ffcc0$mc7$1@mulga.cs.mu.OZ.AU> <7fgg6c$3it@cantine.wu-wien.ac.at> <7fjn60$bjj$1@izvestia.its.unimelb.edu.au> <7fq548$2uk@cantine.wu-wien.ac.at> <3725D699.332FC3A5@doc.ic.ac.uk> <7g6ksf$bn@cantine.wu-wien.ac.at> <stevenj-2804991403010001@wetelectron.mit.edu>Show Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 107f24,8f092766f1b7cf8b
X-Google-Attributes: gid107f24,public
X-Google-Thread: 1025b4,653c2e4cab54a9ac
X-Google-Attributes: gid1025b4,public
From: mottl@miss.wu-wien.ac.at
Subject: Re: The non-freeness of OCAML (Was: Re: Comparison of various functional languages?)
Date: 1999/04/29
Message-ID: <7g8b14$paf@cantine.wu-wien.ac.at>
X-Deja-AN: 472102756
References: <87aew9agkw.fsf@padova.cnet.com> <7f5l3o$r6r@cantine.wu-wien.ac.at> <87btgpldhv.fsf_-_@ugh.jyu.fi.invalid> <7f6sqi$bjq@cantine.wu-wien.ac.at> <87k8vcn7ga.fsf@ugh.jyu.fi.invalid> <7f8bot$18j@cantine.wu-wien.ac.at> <7ffcc0$mc7$1@mulga.cs.mu.OZ.AU> <7fgg6c$3it@cantine.wu-wien.ac.at> <7fjn60$bjj$1@izvestia.its.unimelb.edu.au> <7fq548$2uk@cantine.wu-wien.ac.at> <3725D699.332FC3A5@doc.ic.ac.uk> <7g6ksf$bn@cantine.wu-wien.ac.at> <stevenj-2804991403010001@wetelectron.mit.edu>
Organization: University of Economics and Business Administration, Vienna, Austria
User-Agent: tin/pre-1.4-981225 ("Volcane") (UNIX) (OSF1/V4.0 (alpha))
Newsgroups: comp.lang.functional,gnu.misc.discuss