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 SAA30490; Sat, 24 Feb 2001 18:52:00 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA30322 for caml-list@pauillac.inria.fr; Sat, 24 Feb 2001 18:51:59 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA25007 for ; Sat, 24 Feb 2001 13:05:58 +0100 (MET) Received: from localhost.localdomain (ppp58.dyn146.pacific.net.au [210.23.146.58]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f1OC5sv18153; Sat, 24 Feb 2001 13:05:55 +0100 (MET) Received: from ozemail.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id XAA19823; Sat, 24 Feb 2001 23:02:26 +1100 Message-ID: <3A97A2D1.74BC93EB@ozemail.com.au> Date: Sat, 24 Feb 2001 23:02:25 +1100 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Chris Tilt CC: "'fabrice.le_fessant@inria.fr '" , "'caml-list@inria.fr '" Subject: Re: [Caml-list] RE: OCaml on CLR/JVM? References: <6B2758E78474D411958F00D0B78906006A689B@kenny.gaggle> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Chris Tilt wrote: > On the subject of who leads long term research (industry vs. > institutions), I am dissapointed with the lack of functional > programming exposure taught in undergraduate studies. It is > very difficult to find programmers who have any history at > all with this approach. I agree. I'm an example. > Until institutions give equal time to functional, industry > will be unaware of it. > The process of adopting long-term a functional approach is > going to be slow, but can be sped up if institutions produce > graduates who have higher expectations of productivity > through exposure to modern languages. I will help in any way > that I can as I feel much appreciation to this community > for our success, however it must start in education. Actually, I don't think it is 'functional' programming that is really so important as the _approach_ to programming, as exemplified by the Ocaml team. Programming involves 'compromises': Ocaml, for example, isn't a functional programming language: it provides facilities for functional, procedural and object oriented development. Thus, referential transparency is lost, but what the developers have refused to compromise is the static type system. What is important here, in my opinion, is that the decisions are not made entirely by guessing, or by consensus, or by experience, although these factors surely count, but instead, where possible, decisions are informed and rational: based on having done some actual theory. It is this basis in theory which, in my opinion, is the strength of 'functional' languages, rather than the functional paradigm itself. Another example of similar work is the logic programming language Mercury. -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr