caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: David Teller <David.Teller@ens-lyon.org>
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Which syntax to teach ?
Date: Fri, 26 Oct 2007 13:11:01 +0200	[thread overview]
Message-ID: <1193397061.7675.14.camel@Blefuscu> (raw)
In-Reply-To: <200710250010.56979.jon@ffconsultancy.com>

I am considering putting a pair of students on writing a simple GUI for
OCaml based on Chris King's functional reactive GUI, itself based on
Gtk. However, it seems unlikely to me that, at their level, they can
carry on that task in just one term -- and that's all the time they'll
have to learn OCaml and complete their projects.

Cheers,
 David

On Thu, 2007-10-25 at 00:10 +0100, Jon Harrop wrote:
> On Wednesday 24 October 2007 23:52:54 Nathaniel Gray wrote:
> > I know it seems silly to devote so much energy to debating editors,
> 
> On the contrary, I find it amazing that there is no slick editor written in 
> OCaml to let people write simple OCaml programs with an integrated top-level, 
> build system, graphics libraries and packages for the main distros. I think 
> that would be enormously beneficial for all newbies and could easily be 
> available for Linux and Mac OS X as well as using the latest ocamlbuild, 
> camlp4 3.10, LablGTK2 and so on.
> 
> In fact, I would say that OCaml is ideally suited to this task because it 
> falls in the metaprogramming category!
> 


  parent reply	other threads:[~2007-10-26 11:10 UTC|newest]

Thread overview: 35+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-10-24 11:36 David Teller
2007-10-24 13:18 ` [Caml-list] " Loup Vaillant
2007-10-24 13:24 ` Peng Zang
2007-10-24 13:54   ` Julien Moutinho
2007-10-24 17:23 ` Andrej Bauer
2007-10-24 19:05   ` Adrien
2007-10-25  5:14     ` Aleks Bromfield
2007-10-30 16:26     ` Chung-chieh Shan
2007-10-30 16:38       ` [Caml-list] " Brian Hurt
2007-10-30 16:59         ` Chung-chieh Shan
2007-10-30 17:08         ` [Caml-list] " Edgar Friendly
2007-10-30 17:56           ` skaller
2007-10-30 19:02             ` Vincent Aravantinos
2007-10-30 18:50           ` William D. Neumann
2007-10-30 21:45           ` Eliot Handelman
2007-10-30 18:56       ` Daniel Bünzli
2007-10-25  9:43   ` [Caml-list] " Richard Jones
2007-10-24 22:52 ` Nathaniel Gray
2007-10-24 23:10   ` Jon Harrop
2007-10-25  1:48     ` skaller
2007-10-25  2:02       ` Jon Harrop
2007-10-25  9:49       ` Richard Jones
2007-10-25 11:32         ` Stefano Zacchiroli
2007-10-25 11:52           ` Daniel Bünzli
2007-10-25 12:39           ` Richard Jones
2007-10-25 12:59         ` Michael Ekstrand
2007-10-25 13:39           ` Loup Vaillant
2007-10-25 20:32             ` Andrej Bauer
2007-10-25 22:11               ` Loup Vaillant
2007-10-25 15:14           ` Richard Jones
2007-10-25 18:47             ` Re : " Adrien
2007-11-02 16:08       ` Nathaniel Gray
2007-10-26 11:11     ` David Teller [this message]
2007-10-24 23:02 ` Jon Harrop
2007-10-26 11:09   ` David Teller

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=1193397061.7675.14.camel@Blefuscu \
    --to=david.teller@ens-lyon.org \
    --cc=caml-list@yquem.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).