Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Teaching ocaml programming
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-09-26 (17:01)
From: Peng Zang <peng.zang@g...>
Subject: Re: [Caml-list] Teaching ocaml programming
Hash: SHA1

On Friday 26 September 2008 12:17:29 pm Andrej Bauer wrote:
> As far as I see, there are two options:
> 1) Windows + Eclipse + OcaIDE
> 2) Linux.
> The students know next to nothing about Unix. If I dive into using
> Linux, then I might as well setup anonymous subversion access to source
> code. They could use gedit for editing (it has ocaml syntax hilight
> mode), and the shell for ocamlbuild. The only unresolved question is how
> to deal with compilation errors.

I want to say use Emacs here.  You can configure it behave like gedit if you 
really want.  Buut, I get the impression you're not willing to consider Emacs 
for whatever reason.  So, if gedit has a programmatic interface you can write 
shell script to parse the compilation errors (just look for line numbers) and 
send a command to gedit to go to the appropriate line.  I don't know if gedit 
has that capability, but certainly there may be other text editors that do.

> The generation that I am getting is very small (maybe 10 students), so
> this might be doable with such a small number.
> I will think about it. Thanks for your suggestions.
> By the way, Live CD is not really an option. I suspect the computer lab
> computers are "protected" against that.

That's too bad.  But definitely find out, the Live CD option is great.  Next 
to zero work for a perfect setup.

Version: GnuPG v2.0.7 (GNU/Linux)