Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback (think IDE and OS rolled into one).
A functional reactive language for interactive applications
Opa is a concise and elegant language for writing distributed web applications.