From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 6E37DBB9C for ; Sun, 18 Sep 2005 23:27:51 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8ILRo5P030649 for ; Sun, 18 Sep 2005 23:27:50 +0200 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 XAA05102 for ; Sun, 18 Sep 2005 23:27:49 +0200 (MET DST) Received: from smtp2.syd.swiftdsl.com.au (smtp2.syd.swiftdsl.com.au [218.214.225.98]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id j8ILRkWj024744 for ; Sun, 18 Sep 2005 23:27:48 +0200 Received: (qmail 16827 invoked from network); 18 Sep 2005 21:27:45 -0000 Received: from unknown (HELO coltrane.mega-nerd.net) (218.214.64.136) by smtp2.syd.swiftdsl.com.au with SMTP; 18 Sep 2005 21:27:45 -0000 Received: from coltrane (localhost [127.0.0.1]) by coltrane.mega-nerd.net (Postfix) with SMTP id 0C0787B8A; Mon, 19 Sep 2005 07:27:44 +1000 (EST) Date: Mon, 19 Sep 2005 07:27:43 +1000 From: Erik de Castro Lopo To: "Evans, Jeffrey (IT)" Cc: caml-list@inria.fr Subject: Re: [Caml-list] C# 3.0 enhancements Message-Id: <20050919072743.657359f4.ocaml-erikd@mega-nerd.com> In-Reply-To: <8983E3D8B43CC643B85F4C78EC4C877DC500CB@ppwexmb01.ms.com> References: <8983E3D8B43CC643B85F4C78EC4C877DC500CB@ppwexmb01.ms.com> Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed version 2.0.0 (GTK+ 2.6.8; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 432DDBD6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 432DDBD2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 inference:01 msdn:01 ilx:01 fsharp:01 ocaml:01 ocaml-like:01 shaky:98 lambda:01 wrote:01 workaround:01 functional:02 inferred:02 types:02 types:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Evans, Jeffrey (IT) wrote: > >It may interest people to know that C# is to add inferred types, > >lambda expressions with limited type inference, some other functional > >features. Unfortunately the only reference is a M$ Word document(!), > >but it's interesting reading nevertheless: > > > >http://msdn.microsoft.com/vcsharp/future/default.aspx > > > >Rich. > > > For that matter, F# has been around on the .NET platform for a little > while now. > > http://research.microsoft.com/projects/ilx/fsharp.aspx There's also Nemerle : http://www.nemerle.org/ which is a cross between C# and Ocaml. I uses infered types and has Ocaml-like pattern matching. Erik -- +-----------------------------------------------------------+ Erik de Castro Lopo +-----------------------------------------------------------+ "Every time you get a windows programmer asking you to write some ass-backward workaround, think of it as a crack junkie asking you to help stuff his pipe because his hands are too shaky." -- Conrad Parker