Re: [Caml-list] Teaching ocaml programming

[Peng Zang <peng.zang@gmail.com>]

-----BEGIN PGP SIGNED MESSAGE-----
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.


Peng
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)

iD8DBQFI3RVTfIRcEFL/JewRAiS3AJ40U434A7p5GWczwxWdVf4G6yL2BACghHy5
0JiT/8s1jrbeYK8YC2zJhsc=
=tGZI
-----END PGP SIGNATURE-----