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 1F870BBAF for ; Tue, 9 Nov 2010 11:01:25 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwBAPCq2EzRVaE2kGdsb2JhbACTbY4pCBUBAQEBCQkMBxEDH6M6iWCCGIVWLohZAQEDBYVFBIpVg3E X-IronPort-AV: E=Sophos;i="4.59,174,1288566000"; d="scan'208";a="78205322" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Nov 2010 11:01:24 +0100 Received: by fxm19 with SMTP id 19so757846fxm.27 for ; Tue, 09 Nov 2010 02:01:24 -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=aakbxrGU1U2aLxH/8hadQxghAkxVix5o6SxcICB4oew=; b=tyr0VC1Y65r6HjC1S1onoCAWuYL0o2gOOkaFV0LEHh68p8PU2IhkAxAuctvLKv0bd4 yDnih5lcxun8pIuJLV6huEkWjpPxAUqBM+c4M0TMFjUfJm0vzuBufCEPjvaIefEVONlr MRqaJwPg21g5iTjq0wZwbOXGVFc0uyBElmdnI= 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=HDdf+2kdvyFn1xGCHxcL8Jwa5tJaKOLpH27lOzRZGkxLY9xHW2vowIvRVvki5Bc1qz C8XttSI64uTvhXW8PrNEQYY7YFhGto8/zdsMfv6Kw9Pb0CTmJlEvC8aZkRPUuRkVlk0k 1sri2m2EvRvDgtS9SwCKTGu6Bb2RwETy7YVNQ= Received: by 10.223.74.198 with SMTP id v6mr4827740faj.4.1289296884443; Tue, 09 Nov 2010 02:01:24 -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 j14sm548024faa.23.2010.11.09.02.01.22 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 09 Nov 2010 02:01:23 -0800 (PST) Cc: Gurus Ocaml Message-Id: From: Vincent Aravantinos To: Jonathan Kimmitt In-Reply-To: <48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com> 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 11:01:21 +0100 References: <48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com> X-Mailer: Apple Mail (2.936) X-Spam: no; 0.00; ocaml:01 ocaml:01 cheers: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 Something I don't understand: is the app itself written in ocaml? Le 9 nov. 10 =E0 10:39, Vincent Aravantinos a =E9crit : > 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 =20 >> know 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 >