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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 7198ABBAF for ; Tue, 9 Nov 2010 10:31:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBAN+j2ExRZ90wkWdsb2JhbACUHo4AFQEBAQEJCwoHEQMfvgKFSgSNYQ X-IronPort-AV: E=Sophos;i="4.59,174,1288566000"; d="scan'208";a="78201398" Received: from mtaout02-winn.ispmail.ntl.com ([81.103.221.48]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Nov 2010 10:31:27 +0100 Received: from aamtaout03-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout02-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20101109093126.PNDO7723.mtaout02-winn.ispmail.ntl.com@aamtaout03-winn.ispmail.ntl.com> for ; Tue, 9 Nov 2010 09:31:26 +0000 Received: from [192.168.2.6] (really [86.9.119.233]) by aamtaout03-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20101109093126.KLKX28282.aamtaout03-winn.ispmail.ntl.com@[192.168.2.6]> for ; Tue, 9 Nov 2010 09:31:26 +0000 From: Jonathan Kimmitt Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Type Safety comes to the iPad Date: Tue, 9 Nov 2010 09:31:23 +0000 Message-Id: To: caml-list@yquem.inria.fr Mime-Version: 1.0 (Apple Message framework v1081) X-Mailer: Apple Mail (2.1081) X-Cloudmark-Analysis: v=1.1 cv=3ENABmdyEd/Fm7fR7+mZIuMDn6+IErAeEhlfWBImZFk= c=1 sm=0 a=L8sAOvXMzHUA:10 a=kj9zAlcOel0A:10 a=t-IPkPogAAAA:8 a=DdNNDNLlO3EP1WOG8cYA:9 a=oVmj1T0zOjo28EKls95pYqEn_IEA:4 a=CjuIK1q_8ugA:10 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 X-Spam: no; 0.00; ocaml:01 itunes:98 embrace:98 itunes:98 languages:03 let:03 wider:05 anyway:05 anybody:07 achievement:08 teaching:08 real:10 paradigm:11 bit:11 might:12 I thought you might be interested to know that my new OCAML App for the = iPad was published on the iTunes Store yesterday. I believe this is a significant = achievement given the notorious reluctance of Apple to embrace languages other than C/obj-C/C++ and I = would hope it would promote wider dissemination of type safety. The real win would be if the new paradigm was accepted for teaching the = new generation of students etc, which would require greater acceptance by potential = employers which is a bit of a chicken/egg scenario. Anyway I am inordinately proud of my new publication and if you know = anybody who has an iPad, please let them know about it. http://itunes.apple.com/app/ocamlexample/id396515573?mt=3D8#