Vorab die wichtige - neue - Information: Der Lehrstuhl verwenden Moscow ML als Standard; trotzdem kann es interessant sein, die anderen Tools auszuprobieren. Lest dazu auch die Seite des Lehrstuhls zu den Interpretern.
Hier habe ich eine Reihe von Tools, von denen ihr mindestens eines benutzen müsst, aufgelistet. Ich würde euch der Einfachheit halber Alice empfehlen, es ist eine integrierte Entwicklungsumgebung und verfügt über sehr praktische Funktionen.
Wer Linux benutzt kann auch gut mit kate + smlnj arbeiten, es ist aber nicht ganz so komfortabel wie Alice.