caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: David Fox <david.fox@lindows.com>
To: Eric Stokes <eric.stokes@csun.edu>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] ocaml killer
Date: Tue, 27 Jan 2004 10:19:46 -0800	[thread overview]
Message-ID: <4016ABC2.6050306@lindows.com> (raw)
In-Reply-To: <FCA0A3B0-50E7-11D8-97B2-000A95A1E69A@csun.edu>

I would forward this post to some management folks around here if it 
didn't have the subject "ocaml killer"!  :-)

Eric Stokes wrote:

>     Despite a little FUD (and bad English :P) I think this thread has 
> a lot of good ideas in it. After reading it all it seems to me that 
> Ocaml is in a transition period, more and more production oriented 
> programmers are starting to pay serious attention to it. For my case, 
> my organization has decided to migrate to Ocaml as our primary general 
> purpose language. We have invested significant R&D into code written 
> in Ocaml, and have recently launched our first production service 
> written in it.
>     That said, the concerns about libraries, and about a CPAN like 
> repository are very good ones. There is a CPAN like repository for 
> Ocaml (there are several), and while they are in a somewhat embryonic 
> state, they are quite useable. The best example is the Ocaml link 
> database http://www.npc.de/ocaml/linkdb/ almost all Ocaml libraries 
> eventually get posted there. It is missing some features often 
> associated with CPAN, however the most important feature of such a 
> tool is that it serves as a directory of available libraries. The link 
> database accomplishes this quite well, and serves the community well. 
> GODI is looking to be a more complete CPAN clone for Ocaml, I have not 
> played with it extensively yet, so I can't say too much more. Note 
> also, that C and C++ have no central library repository, and yet they 
> remain the industry standard general purpose languages. On the library 
> side of things, there is a C interface, and a Perl interface, which 
> opens up quite a lot of libraries to use from Ocaml.     However, one 
> of the main benefits of Ocaml is type safety, and using foreign 
> language libraries throws away some of that type safety (the library 
> is free to have grievous errors in it). The primary reason that my 
> organization has switched to Ocaml is that we are under increasing 
> pressure to write highly reliable software. From our point of view all 
> of our libraries must eventually be rewritten in Ocaml, and the sooner 
> the better. I don't think that the pressure we feel is without 
> parallel elsewhere in the industry, so I think that Ocaml has quite a 
> bright future as a production quality general purpose language.
>
> On Jan 27, 2004, at 1:57 AM, Alexander Epifanov wrote:
>
>> On 12:41 Tue 27 Jan     , Alexander Danilov wrote:
>>
>>> Alexander Epifanov wrote:
>>>
>>>> Hello,
>>>>
>>>> I have read message about Skala language, and I think (it's only my 
>>>> IMHO),
>>>> that ocaml have no future without some features, like concurrent
>>>> programming
>>>> (CP) and chance to use libraries from the other languages.
>>>>
>>>> 1) Erlang uses build in CP, but Skala has a library for it, IMHO it 
>>>> would
>>>> be a
>>>> good way for ocaml feature. Thread module isn't enough for 
>>>> effective usage
>>>> of
>>>> CP.
>>>>
>>>>
>>>>
>>> CP is not the main feature. For example, Perl has no good and stable CP
>>> support, but it is very popular.
>>> There are no so many task, that need CP.
>>
>> Maybe. but Thread isn't the best solution.
>>
>>>
>>>> 2) No one would use ocaml without libraries, and it's so hard to 
>>>> rewrite
>>>> them
>>>> all in ocaml. external functions aren't enough to use libraries from
>>>> Languages
>>>> like java or c++.
>>>>
>>>> Are any plans about these two features exists ?
>>>>
>>>> Thanks.
>>>>
>>>>
>>>>
>>> http://wiki.tcl.tk/critcl - here is interesting idea how to make
>>> bindings wuickly. I think it can be implemented in Ocaml,
>>>
>>> The language will be preffered in many projects only when it have good
>>> repository of packages, policy of packaging libraries, modules, etc.,
>>> simple mechanism to install this packages over the net and so on. So I
>>> think that for more popularity Ocaml need for something like CPAN
>>> http://www.cpan.org/ . Thats why I don't use Tcl, Ruby, Ocaml in real
>>> applications. If Ocaml community create packaging policy and network
>>> archive, than number of Ocaml developers will increase much faster.
>>>
>> Yes, I can't use _only_ Ocaml for the projects.
>>
>>> Not CP, not multithreading can make programmer happy :), but CPAN can.
>>
>> nice phrase. I agree with you.
>>
>>>
>>> P.S.: I know, my English is terrible, I will try to make it better :)
>>
>> My English more terrible, I'm just learning it :)
>>
>> -- 
>> Gentoo Linux http://www.gentoo.org
>>
>> -------------------
>> 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
>>
>
> -------------------
> 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


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


  reply	other threads:[~2004-01-27 18:19 UTC|newest]

Thread overview: 64+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-01-27  6:32 Alexander Epifanov
2004-01-27  8:56 ` Alex Baretta
2004-01-27  9:43   ` Alexander Epifanov
2004-01-27 18:32     ` Shawn Wagner
2004-01-28  4:38       ` skaller
2004-01-28  5:30         ` james woodyatt
     [not found]   ` <40168498.6070708@tfb.com>
2004-01-27 19:10     ` Alex Baretta
2004-01-28 13:29       ` David Fox
2004-01-28 15:12         ` Eray Ozkural
2004-01-27  9:41 ` Alexander Danilov
2004-01-27  9:57   ` Alexander Epifanov
2004-01-27 16:43     ` Eric Stokes
2004-01-27 18:19       ` David Fox [this message]
2004-01-27 18:47       ` Richard Jones
2004-01-27 19:29         ` Eric Stokes
2004-01-28 13:30 ` Eray Ozkural
2004-01-28 23:26 ` Chet Murthy
2004-01-28 23:47   ` Martin Berger
2004-01-29  0:00     ` Chet Murthy
2004-01-29  0:04       ` Chet Murthy
2004-01-29  0:11       ` Martin Berger
2004-01-29  0:34         ` Chet Murthy
2004-01-29  0:47           ` [Caml-list] ocaml killer' Matt Gushee
2004-01-29  8:52           ` [Caml-list] ocaml killer Thomas Fischbacher
2004-01-29 16:20             ` fancy types (was Re: [Caml-list] ocaml killer) William Lovas
2004-01-29 17:13               ` james woodyatt
2004-01-29 17:26                 ` Benedikt Grundmann
2004-01-29 17:17               ` Thomas Fischbacher
2004-01-29 17:41                 ` Andreas Rossberg
2004-01-29 19:18                   ` William Lovas
2004-01-30 10:36                     ` Thomas Fischbacher
2004-01-31  3:39                       ` William Lovas
2004-02-01  2:11                         ` Vasile Rotaru
2004-02-02 11:08                           ` Florian Hars
2004-01-29 18:33                 ` Alex Baretta
2004-01-29 17:53         ` [Caml-list] ocaml killer skaller
2004-01-29  5:20     ` Brian Hurt
2004-01-29  6:36   ` Alexander Epifanov
2004-01-29  8:53   ` [Caml-list] ocaml and concurrency james woodyatt
2004-01-29  9:46     ` Vitaly Lugovsky
2004-01-29 10:37       ` Martin Berger
2004-01-29 11:51         ` Michael Hicks
2004-01-29 12:20         ` Alex Baretta
2004-01-29 12:43           ` Martin Berger
2004-01-29 15:42         ` Vitaly Lugovsky
2004-01-29 16:11           ` Martin Berger
2004-01-29 16:56             ` Andreas Rossberg
2004-01-29 17:19               ` james woodyatt
2004-01-29 17:43               ` Martin Berger
2004-01-29 17:54                 ` Andreas Rossberg
2004-01-29 18:08                   ` Martin Berger
2004-01-30  0:19                   ` Lauri Alanko
2004-01-29 19:37                 ` skaller
2004-01-30  0:05                   ` Martin Berger
2004-01-30  6:52                     ` Brian Hurt
2004-01-30  8:53                       ` Issac Trotts
2004-01-30 20:45                       ` skaller
2004-01-31  6:29                         ` Brian Hurt
2004-01-30 20:12                     ` skaller
2004-01-29 18:35         ` skaller
2004-01-29  9:56     ` Alex Baretta
2004-01-29 18:26     ` skaller
  -- strict thread matches above, loose matches on Subject: below --
2004-01-23 10:19 [Caml-list] ocaml killer Alexander Epifanov
2004-01-27  8:28 ` Richard Jones

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=4016ABC2.6050306@lindows.com \
    --to=david.fox@lindows.com \
    --cc=caml-list@inria.fr \
    --cc=eric.stokes@csun.edu \
    /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).