> On another note, last time I talked to Matthias, Shriram, and/or
> Matthew,  they were talking about putting a "DrML" environment 
> together.  I'm not sure whether they were shooting for an SML
> or Ocaml environment.  

Yes, we're in contact with the DrScheme folks, and they (with some
help/kibitzing from us at Penn) are definitely working on a DrML
environment -- probably for just a "teaching subset" of OCaml.

Actually, the motivation for my question on this list a couple of days
ago was to check what the fallback alternatives would be in case DrML is
not ready for teaching in the fall...

> And of course, this all needs to be modifiable for an instructor
> so that they can turn on/off features in language levels.  

Unfortunately, this very wonderful aspect of the DrScheme environment
seems to have involved quite a lot of work and special hand-crafting.
It's not clear that it can be replicated for other languages with a
reasonable amount of work.

     Benjamin

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners