🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.functional
Article #1218

Re: The non-freeness of OCAML (Was: Re: Comparison of various functional languages?)

#1218
From: mottl
Date: Thu, 29 Apr 1999 00:00
41 lines
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-mail
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>

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