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 (20:30)
From: David Teller <David.Teller@u...>
Subject: Re: [Caml-list] Teaching ocaml programming
After teaching OCaml for two years, I personally suggest
* Ubuntu + GODI
* Emacs + Emacs-goodies (slightly customised to obtain tabs, I can send
you my .emacs) + Tuareg -- (Emacs is much better than XEmacs, at least
for this -- and the tabs are a tremendous help)
* OcamlBuild with a written by you.


On Fri, 2008-09-26 at 13:30 +0200, Andrej Bauer wrote:
> Once again I am teaching a course on theory of programming languages in 
> which we will use ocaml to implement mini-languages. And once again I 
> face the question: which programming environment should we use?
> I have so far tried to use (under Windows)
> 1. cygwin + ocaml + XEmacs
> 2. Eclipse + OcaIDE
> The second solution worked better than the first, for the simple reason 
> that XEmacs is a complete mystery to students. They really, really hate 
> it. But even with the second soltion we had a lot of trouble, because 
> Eclipse is really complicated, and OcaIDE is sort of experimental and 
> not so good under Windows, so the whole setup was confusing and fragile.
> The requirements are very simple:
> 1. easy access to toplevel (with line-editing)
> 2. editor which can send stuff to toplevel, points to errors in source 
> code, and is not Emacs.
> Any ideas what to do? We have dual-boot machines (Windows + Ubuntu).
> Best regards,
> Andrej
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives:
> Beginner's list:
> Bug reports:
David Teller-Rajchenbach
 Security of Distributed Systems
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations.