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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 60B5FBBAF for ; Tue, 9 Nov 2010 11:54:12 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwBABe32ExRZ90wkWdsb2JhbACTbY4xFQEBAQEJCwoHEQMfvmKFSgSNYQ X-IronPort-AV: E=Sophos;i="4.59,174,1288566000"; d="scan'208";a="86586995" Received: from mtaout02-winn.ispmail.ntl.com ([81.103.221.48]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Nov 2010 11:54:12 +0100 Received: from aamtaout04-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 <20101109105411.VKSY7723.mtaout02-winn.ispmail.ntl.com@aamtaout04-winn.ispmail.ntl.com>; Tue, 9 Nov 2010 10:54:11 +0000 Received: from [192.168.2.6] (really [86.9.119.233]) by aamtaout04-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20101109105411.QBVC25656.aamtaout04-winn.ispmail.ntl.com@[192.168.2.6]>; Tue, 9 Nov 2010 10:54:11 +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: <48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com> Date: Tue, 9 Nov 2010 10:54:05 +0000 Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: 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=9ULAY9p4hkeffotHGAIA:9 a=gxLYr-0rx_WcB2FleaoA:7 a=54S7uNHK2aKPDFb72owoezufqwgA:4 a=wPNLvfGTeEIA:10 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 X-Spam: no; 0.00; ocaml:01 ocaml:01 statically:01 cheers:01 beginner's:01 bug:01 xcode:98 $99:98 itunes:98 itunes:98 workstation:98 embrace:98 beginners:01 wrote:01 caml-list:01 Hi, The application itself is written in Xcode. You need to be a member of = the development program at =A359/$99 or equivalent per year to get access to the signing = keys if you need to modify 'extern' functions (native C code of the interpreter) You don't need anything apart from iTunes to download (using document = sharing) source code in .ml files to the iPad and execute in the App Or you can type in ocaml statements directly into the interpreter for = example draw_rect 100 100 200 200;; will draw a box immediately because the default startup open the = graphics library. There are some irritations, for example itunes does not allow a document = with the name .ocamlinit to be selected for download, so I provide an 'ocamlinit' instead to = execute if it exists. If it doesn't exist then the default startup is executed that comes with the App The built-in keyboard is not ideal for ocaml with its dearth of easily = accessible symbols. An external keyboard is recommended if you want to do real work. Another issue is = the lack of a decent editor suited to programming - perhaps someone could port chamo to the iPad ? I envisage a typical program would be developed on the workstation, = compiled to a .cma file and then downloaded to the iPad. However I have not tried this route to see if it = works. you need to make sure the ocaml version is identical. There is no dynamic loading allowed - all the standard library that was = relevant is linked in statically Regards, Jonathan On 9 Nov 2010, at 09:39, Vincent Aravantinos wrote: > 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