caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Roberto Di Cosmo <roberto@dicosmo.org>
To: Andrej Bauer <andrej.bauer@andrej.com>
Cc: Jon Harrop <jon@ffconsultancy.com>, caml-list@inria.fr
Subject: Re: [Caml-list] Don't forget the user
Date: Fri, 16 Dec 2011 21:09:28 +0100	[thread overview]
Message-ID: <20111216200928.GA8711@voyager> (raw)
In-Reply-To: <CAB0nkh3q4pSCVmKA61M8VK_s3i0W1L6OVuqKxpdkW+s0+KHFUg@mail.gmail.com>

Js_of_OCaml is your friend, see

  http://ocsigen.org/js_of_ocaml/manual/

The online demo is not working for me (stuck in a terminal airport),
but I have seen it several times working on Jerome's browser, and
it's quite cool

--Roberto


http://ocsigen.org/js_of_ocaml/files/toplevel/index.html

On Fri, Dec 16, 2011 at 08:56:37PM +0100, Andrej Bauer wrote:
> That's a good idea, actually, because the barrier to entry is 0. I
> could even run my own server. Wasn't there a javascript implementation
> of the ocaml toplevel? It should be possible to upload/download files,
> though.
> 
> On Fri, Dec 16, 2011 at 8:22 PM, Jon Harrop <jon@ffconsultancy.com> wrote:
> > Wouldn't it be preferable for students to use OCaml in a browser? I'm just teaching a bunch of people F# and I've recommended tryfsharp.org to them for that reason. Perhaps it would be better to build something comparable in the OCaml world, rather than starting down the arduous route of an easy-to-install optimizing native code compiler?
> >
> > Cheers,
> > Jon.
> >
> >> -----Original Message-----
> >> From: Andrej Bauer [mailto:andrej.bauer@andrej.com]
> >> Sent: 15 December 2011 07:30
> >> To: caml-list@inria.fr
> >> Subject: [Caml-list] Don't forget the user
> >>
> >> Recent discussions on how to improve the Ocaml-on-windows situation are very
> >> welcome, but I see a lot of tech-speak and little feeling for the users, who care
> >> just about one thing: to have a click & install distribution of Ocaml that actually
> >> works.
> >>
> >> Keep this in mind: 90% of potential Ocaml users are on Windows, and they never
> >> heard of Mingw or Cygwin, and they never used a command prompt.
> >>
> >> It doesn't matter if the distribution is incomplete. It doesn't matter what is under
> >> the hood. It doesn't matter what "the expert" thinks about it, much less so what
> >> Linux people think about it (I am typing this on a Linux box). Someone just needs
> >> to do it, and Jonathan Protzenko seems an obvious candidate. Jonathan, if you
> >> have the time to modify your distribution so that it become self-contained, i.e.,
> >> it contains mingw + ocaml (does _not_ separately install mingw, it just sticks it
> >> under ocaml and then ocaml uses that, independently of whether there already
> >> is a mingw on the system), I am sure that will be received very positively by many
> >> people, even though "the experts"
> >> will spit on it, and will point out that this is not The Right Way, etc. Just do it.
> >>
> >> Once we have such a thing, it can be optimized to our hearts content:
> >> strip down mingw, check if mingw is already there, add support for flexdll, etc.
> >>
> >> The said fact is that I would _love_ to teach Ocaml to my students, but I can't
> >> because installing Ocaml is too hard. Just give me _anything_ that actually
> >> works. Otherwise I will keep teaching "functional programming" with
> >> Mathematica...
> >>
> >> That's my opinion.
> >>
> >> With kind regards,
> >>
> >> Andrej
> >>
> >> --
> >> Caml-list mailing list.  Subscription management and archives:
> >> https://sympa-roc.inria.fr/wws/info/caml-list
> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> >> Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
> 
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 

-- 
--Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
 
Bureau 6C08 (6th floor)
175, rue du Chevaleret, XIII
Metro Chevaleret, ligne 6
------------------------------------------------------------------                                                 

      parent reply	other threads:[~2011-12-16 20:06 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-12-15  7:29 Andrej Bauer
2011-12-15 10:33 ` Jonathan Protzenko
2011-12-15 17:48 ` Martin DeMello
2011-12-16 19:22 ` Jon Harrop
2011-12-16 19:56   ` Andrej Bauer
2011-12-16 20:02     ` Andrej Bauer
2011-12-16 20:12       ` Thomas Gazagnaire
2011-12-17 14:07         ` Paolo Donadeo
2011-12-16 20:16       ` Hezekiah M. Carty
2011-12-17 13:16       ` Fabrice Le Fessant
2011-12-18 14:43       ` Çagdas Bozman
     [not found]         ` <CANnJ5GcBDHzRjGLNgoPMLtgY8m_zfYLKcFhz+daWu6m+u1vbHA@mail.gmail.com>
2011-12-18 20:26           ` Pierre-Alexandre Voye
2011-12-18 20:45             ` Jérémie Dimino
2011-12-16 20:09     ` Roberto Di Cosmo [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20111216200928.GA8711@voyager \
    --to=roberto@dicosmo.org \
    --cc=andrej.bauer@andrej.com \
    --cc=caml-list@inria.fr \
    --cc=jon@ffconsultancy.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).