eToys [http://www.squeakland.org/] — просто замечательная вещь!

Scratch [http://scratch.mit.edu/] — я пользовался старой версией, которая еще на Smalltalk-е была; сейчас переписано на Java и работает прямо в браузере. Smalltalk-овская версия мне нравилась больше (там можно посмотреть, как все внутри устроено, заодно и кое-чему и самому научиться)

Alice [http://www.alice.org/index.php] — мало что про нее знаю… когда-то в Squeak-е был одноименный проект по 3D-графике, возможно из него "ноги и растут". Но идея сама по себе интересная.

Если учить именно языку, то я бы не стал с детства людей калечить жабой. Сам я ничего лучше Smalltalk-а (который для детей-то и создавался) для этого на данный момент не видел. С ним я бы в первую очередь посмотрел в сторону http://rmod.lille.inria.fr/botsinc

Если искать что-то другое, то начать можно отсюда [http://en.wikipedia.org/wiki/List_of_educational_programming_languages]. Ну, и гугл в помощь — на банальный "children programming" выдается масса интересных ссылок.

Попробуйте попрограммировать на Smalltalk. Не пишу "изучить" — изучать Smalltalk лучше на практике, желательно на более-менее реальном проекте.
На сегодняшний, пожалуй, самая "продвинутая" реализация — Pharo

Первые вопросы можно задать в Russian Smalltalk User Group

Навскидку примерный Правильный путь ООП-падавана:

1. Изучить Smalltalk — только здесь правильное (простое и полноценное) объектное программирование. Сначала можно посмотреть статьи на smalltalk.ru для формирования общего представления о философии Smalltalk-а (это ключевой момент), погуглить статьи на тему Why Smalltalk… Но основное — это практика, за ней идти на pharo.org. За помощью можно обращаться к Russian Smalltalk User Group: https://groups.google.com/forum/#!forum/sugr

2. Когда немного освоитесь, можно почитать Бековские Smalltalk Best Practice Patterns [http://stephane.ducasse.free.fr/FreeBooks/BestSmal... — важные и неочевидные нюансы программирования на Smalltalk.

3. С этой книги (даже с введения к ней) можно плавно переходить к изучению TDD — сначала классику по Test-Driven Development by Example того же Бека, затем — через Growing Object-Oriented Software Guided by Tests к всепоглощающему TDD (BDD). Обе книги можно найти в виде PDF за бесплатно.

Где-то в промежутке после начала первого и окончания третьего пункта должно наступить просветление. Путь не быстрый.

Предупреждение: после наступления просветвления большинство "объеткно-ориентированных" языков и книг по этой теме будет вызывать рвотный рефлекс.

www.agilemanifesto.org