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 31A30BBAF for ; Tue, 9 Nov 2010 11:30:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwBAO6x2ExRZ90xkWdsb2JhbACTbY4xFQEBAQEJCwoHEQMfvjuFSgSNYQ X-IronPort-AV: E=Sophos;i="4.59,174,1288566000"; d="scan'208";a="78208642" Received: from mtaout03-winn.ispmail.ntl.com ([81.103.221.49]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Nov 2010 11:30:26 +0100 Received: from aamtaout03-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout03-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20101109103025.DCAN29865.mtaout03-winn.ispmail.ntl.com@aamtaout03-winn.ispmail.ntl.com>; Tue, 9 Nov 2010 10:30:25 +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 <20101109103025.LQPO28282.aamtaout03-winn.ispmail.ntl.com@[192.168.2.6]>; Tue, 9 Nov 2010 10:30:25 +0000 Subject: Re: [Caml-list] Type Safety comes to the iPad Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=iso-8859-1 From: Jonathan Kimmitt In-Reply-To: Date: Tue, 9 Nov 2010 10:30:22 +0000 Cc: Gurus Ocaml Content-Transfer-Encoding: quoted-printable Message-Id: <3F1C248E-8BD4-40E1-8877-B4694E5A955F@kimmitt.co.uk> References: <48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com> To: Vincent Aravantinos X-Mailer: Apple Mail (2.1081) X-Cloudmark-Analysis: v=1.1 cv=3ENABmdyEd/Fm7fR7+mZIuMDn6+IErAeEhlfWBImZFk= c=1 sm=0 a=EfdXiYI6iu0A:10 a=8nJEP1OIZ-IA:10 a=t-IPkPogAAAA:8 a=ZOzjf2MOAAAA:8 a=n06BfVqjAAAA:20 a=6etrvwA3tBwqwT655qoA:9 a=ATUcmiy5TM9d5EWSSdgA:7 a=os7pJrckzrodoMdDili5r75q7G8A:4 a=wPNLvfGTeEIA:10 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 X-Spam: no; 0.00; ocamlrun:01 ocaml:01 ocaml:01 ocaml's:01 type-safe:01 bytecode:01 cheers:01 beginner's:01 bug:01 workstation:98 itunes:98 xcode:98 itunes:98 embrace:98 beginners:01 Hi, Perhaps a further explanation is necessary. What I have done is ported = the interpreter ocamlrun to the iPad and added a gui based on Graphics.cma and bound ancillary = libraries such as Num.cma into the executable. The ocaml interpreter itself is written in ocaml = and is identical to the workstation version of the same release. This means you can drop a compiled library = into iTunes and then load it immediately in iPad (provided it does not use shared objects which = are not bound into the signed app. So you could say the app is written in ocaml. I have called it = 'OcamlExample' with the intention that users will substitute their own code making use of #use or #load = statements The alternative option to use ocaml's own native code generator seems to = me a bit pointless because the app is then hard-wired to a given function. But if anyone wants to = write a type-safe game or something, this would be an interesting. You could use the standalone codesign = function of xcode perhaps =20 The other thing you will have gathered is it allows creative activity on = the iPad, without becoming a developer. With this version you cannot compile to a file on the iPad, but you can = #use source files which then get compiled into memory in a sense. But the ability to exchange compiled = bytecode with the host running iTunes means this is not too much of a limitation in my view. Regards, Jonathan On 9 Nov 2010, at 10:01, Vincent Aravantinos wrote: > Something I don't understand: is the app itself written in ocaml? >=20 > Le 9 nov. 10 =E0 10:39, Vincent Aravantinos a =E9crit : >=20 >> Wow! This seems hugely interesting to me. >> Actually I've been wondering a while to know if I would buy an ipad, = 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 = encounter? >>=20 >> Cheers, >> Vincent >>=20 >> Le 9 nov. 10 =E0 10:31, Jonathan Kimmitt a =E9crit : >>=20 >>> 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. >>>=20 >>> 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. >>>=20 >>> Anyway I am inordinately proud of my new publication and if you know = anybody who has an iPad, >>> please let them know about it. >>>=20 >>> http://itunes.apple.com/app/ocamlexample/id396515573?mt=3D8# >>>=20 >>> _______________________________________________ >>> 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 >>=20 >=20