From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA09888; Mon, 17 May 2004 19:27:15 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA09877 for ; Mon, 17 May 2004 19:27:14 +0200 (MET DST) Received: from us18.unix.fas.harvard.edu (us18.unix.fas.harvard.edu [140.247.35.198]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4HHRDSH003425 for ; Mon, 17 May 2004 19:27:13 +0200 Received: from [140.247.133.39] (roam133-39.student.harvard.edu [140.247.133.39]) by us18.unix.fas.harvard.edu (8.12.11/8.12.11) with ESMTP id i4HHR6Ai012478 for ; Mon, 17 May 2004 13:27:06 -0400 Mime-Version: 1.0 (Apple Message framework v613) In-Reply-To: <40A8A1F6.3090604@di.ubi.pt> References: <40A8A1F6.3090604@di.ubi.pt> Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: <69392398-A827-11D8-89DA-0003939A19AA@fas.harvard.edu> Content-Transfer-Encoding: quoted-printable From: Michael Hamburg Subject: Re: [Caml-list] Teaching OCaml Date: Mon, 17 May 2004 13:27:02 -0400 To: caml-list@inria.fr X-Mailer: Apple Mail (2.613) X-Miltered: at concorde with ID 40A8F5F1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 quicksort:01 haskell:01 conceptual:01 type-system:01 caml-list:01 haskell:01 slides:01 conceptual:01 digest:01 ubi:99 ubi:99 891:99 rua:99 marques:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi. A few thoughts on the subject. Iif you want practical features of OCaml, you could try the classic =20 "QuickSort in n lines" where n depends on how efficient you want to =20 make it, but you can still achieve O(n log n) in something like 4 =20 lines. It takes 10 or so to be efficient, compared to at least 50 in =20= C. Of course, Haskell has even nicer syntax for this, but it looks =20 good in O'Caml too. As for conceptual features, O'Caml is, as far as I know, the only =20 functional language with OO, even if it is somewhat limited OO (due to =20= type-system constraints). For industrial projects, this enables =20 programmers to work together more easily (or is intended to, anyway), =20= while writing much less code than for most imperative languages. For =20= academics, it has been said that programmers, especially =20 mathematicians, find functional programming very intuitive. Just some suggestions, Mike Hamburg On May 17, 2004, at 7:28 AM, Sim=E3o Melo de Sousa wrote: > > It looks like my previous post never reached the caml-list. > So, accept my apologies if you receive my post twice. > > ------ > > Hi! > > There is, in the Computer Science department of my university, a > interesting discussion about the programming languages that we should > teach. Because I defend that functional programming (Haskell, > etc... but Ocaml in particular) has to be teach among other > "classical" paradigms, I have to prepare a talk about the relevance of > the functional programming paradigm in general and OCaml in > particular. > > I know that this kind of topic have been already discussed and that > there is a lot of available "material". Nevertheless, I'm interested = in > any suggestions, links to papers, slides, sites... > > I'm particularly interested in two kind of informations: > > 1) material (list of facts, etc..) that describes the good features of = =20 > OCaml (in conceptual terms but also in pratical terms) from the point =20= > of view of both the Academy and the Industry. > 2) url of Caml based functional programming courses sites > > Thanks a lot! > Simao Melo de Sousa > ps: Use my email for answers, I will reply to the list with a digest =20= > of them. > > > -- =20 > = -----------------------------------------------------------------------=20= > - > Sim=E3o Melo de Sousa | Professor Auxiliar > * -> ., # -> @ =3D> email Sim=E3o -> desousa#di*ubi*pt > Departamento de Inform=E1tica | http://www.di.ubi.pt/~desousa > Universidade da Beira Interior | Tel: +351 275 319 891 > Rua Marqu=EAs d'=C1vila e Bolama | Fax: +351 275 319 732 > 6200-001 Covilh=E3, PORTUGAL. > = -----------------------------------------------------------------------=20= > - > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: =20 > http://caml.inria.fr > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: =20 > 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