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
Re: [Caml-list] OCaml IDEs for beginners?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Benjamin C. Pierce <bcpierce@s...>
Subject: Re: [Caml-list] OCaml IDEs for beginners?
> 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.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: