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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id BF6AABBAF for ; Tue, 9 Nov 2010 10:39:49 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwBAPql2EzRVaE0kGdsb2JhbACTbY4pCBUBAQEBCQkMBxEDH6MriWCCGIVTLohZAQEDBYVFBIpVg3E X-IronPort-AV: E=Sophos;i="4.59,174,1288566000"; d="scan'208";a="77508876" Received: from mail-fx0-f52.google.com ([209.85.161.52]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Nov 2010 10:39:25 +0100 Received: by fxm8 with SMTP id 8so770891fxm.39 for ; Tue, 09 Nov 2010 01:39:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=GxEyoG/zyrZlVfInOeI66LDobv9Ur+ukBvLL6jWDuKo=; b=oXVRzBon/s3TxH5wzLHXEbPEZSHxhOEuqxwdwKVQEhzZo5FSR6t/D9zbfNFn1RAzJE IOsWnLPSBV+wfykQ3f+5Ds5/ysC0rWc/GhmilWpgSuR5/yPFFEqxICsNTwqX/EgPBQY8 SKFuFXTsN0Qci8uZKSspOrG2qx5L+RSKF0vgU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=abj2Jeeypg163BgGk7mH96QxDK6K/0fDniC3rt13gTy1SDKJv1eifij2bVmlUzAFgR Bf3JR6y9IO7Eb2JtdgNpyoN/VTh4uXw0HJpPpKVQA0j8ZGbqnw3zvyy3FmPdV1Zhnawc 3D+KGkQo9iboEBd9pn7KPN82L0lIl1Vha0HRw= Received: by 10.223.79.68 with SMTP id o4mr4823006fak.0.1289295558403; Tue, 09 Nov 2010 01:39:18 -0800 (PST) Received: from tmp9.logic.tuwien.ac.at (tmp9.logic.tuwien.ac.at [128.130.175.59]) by mx.google.com with ESMTPS id a24sm76273fak.1.2010.11.09.01.39.16 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 09 Nov 2010 01:39:17 -0800 (PST) Cc: caml-list@yquem.inria.fr Message-Id: <48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com> From: Vincent Aravantinos To: Jonathan Kimmitt In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v936) Subject: Re: [Caml-list] Type Safety comes to the iPad Date: Tue, 9 Nov 2010 10:39:15 +0100 References: X-Mailer: Apple Mail (2.936) X-Spam: no; 0.00; ocaml:01 cheers:01 ocaml:01 beginner's:01 bug:01 itunes:98 embrace:98 itunes:98 beginners:01 caml-list:01 caml-list:01 bin:01 caml:02 caml:02 archives:02 Wow! This seems hugely interesting to me. Actually I've been wondering a while to know if I would buy an ipad, =20 and my conclusion was "only if I can do Ocaml on it". Can you report a bit more on your experience ? Which tools did you use? How convenient it is? What drawback did you =20 encounter? Cheers, Vincent Le 9 nov. 10 =E0 10:31, Jonathan Kimmitt a =E9crit : > I thought you might be interested to know that my new OCAML App for =20= > the iPad was published > on the iTunes Store yesterday. I believe this is a significant =20 > achievement given the notorious > reluctance of Apple to embrace languages other than C/obj-C/C++ and =20= > I would hope it would > promote wider dissemination of type safety. > > The real win would be if the new paradigm was accepted for teaching =20= > the new generation of > students etc, which would require greater acceptance by potential =20 > employers which is a bit > of a chicken/egg scenario. > > Anyway I am inordinately proud of my new publication and if you know =20= > anybody who has an iPad, > please let them know about it. > > http://itunes.apple.com/app/ocamlexample/id396515573?mt=3D8# > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs