From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DF7CDBBCA for ; Fri, 18 Apr 2008 18:42:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAPtrCEjAXQIn/2dsb2JhbACsDQ X-IronPort-AV: E=Sophos;i="4.25,678,1199660400"; d="scan'208";a="25168666" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Apr 2008 18:42:39 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3IGgdjb014365 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 18 Apr 2008 18:42:39 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwAADZsCEjOvjGrfGdsb2JhbACRYwEBCwUCBQkWmXE X-IronPort-AV: E=Sophos;i="4.25,678,1199660400"; d="scan'208";a="11081720" Received: from web54601.mail.re2.yahoo.com ([206.190.49.171]) by mail1-smtp-roc.national.inria.fr with SMTP; 18 Apr 2008 18:42:38 +0200 Received: (qmail 45787 invoked by uid 60001); 18 Apr 2008 16:42:37 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=jGTfBFvigO/oWrDxBHpBr/Qev5Q9vCbemVvVrDKZM2A87MQzfYZJKx3LIxd58cRD9f6f0K7qNkc+EW4YFvbxoB0umK7LWBXjTa5Jxjw3CZ9fq1WaOMP0dBruMTokm6YURrUMV0IzyzBL43pguHHEuFTAv583MQCRDAof0XvZX2I=; X-YMail-OSG: W2quy1gVM1kRk.BCrlUB6URBwyG0_4PvIbfw._okxB.cifzJqahTuqnigdKmacP0ABjk10MdZBlTuPopy8yh22Hup0bpBKB2TAC4.Hw5Ad3AMiY8ixCeLR6dSck- Received: from [82.155.121.111] by web54601.mail.re2.yahoo.com via HTTP; Fri, 18 Apr 2008 17:42:37 BST Date: Fri, 18 Apr 2008 17:42:37 +0100 (BST) From: Dario Teixeira Subject: Re: [Caml-list] OCaml Summer Project decisions are in To: Yaron Minsky , Caml List In-Reply-To: <1208530260.16295.84.camel@nyc-qws-018.delacy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <865618.45090.qm@web54601.mail.re2.yahoo.com> X-Miltered: at concorde with ID 4808CF7F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 cheers:01 ocaml:01 bindings:01 cheers:01 caml-list:01 let:03 apps:04 proposals:05 mainstream:06 docs:07 graphical:07 reckon:09 feature:09 comments:10 > And the project descriptions are up for your perusal. > > We chose 6 projects out of the more than 30 that we received this year. > This page has links to the full text of the accepted proposals. Hi, Let me just express my thanks for this initiative -- all of the six projects you picked are very relevant and address the most pressing needs of the community! I have some additional comments on some of these projects: multicore - I reckon it won't be difficult to find people willing to test the new GC; but should this project be successful, are there plans to merge it into mainstream? menhir - there's another feature that Menhir could benefit from: better integration with Ulex; I believe that Menhir's developers have already expressed their intention of doing this -- are there any developments on that front? qtcaml - I realise this project aims to complete only the first stage (it is after all a significant effort); still, it is a huge step forward, so cheers for that. As previously discussed on this list, there are many among us who think of Qt as the best toolkit for developing graphical apps and have therefore longed for Ocaml bindings. Cheers, Dario Teixeira __________________________________________________________ Sent from Yahoo! Mail. A Smarter Email http://uk.docs.yahoo.com/nowyoucan.html