As I hinted in the article, you're right: I didn't really experiment much with Smalltalk. Does Smalltalk allow the same level of reflection? Does it offer the same "freedom" as Io? I'm asking because I _presume_ it does not, but I honestly don't know.
Smalltalk blocks are objects that respond to messages about themselves, so yes, Smalltalk offers the same kind of reflection, in fact it invented it. (It's possible that Io takes it further in some respect, but I'd need to see details.)
So which (if any) of all these languages will you use to do a real project?
The very reason I wrote this article in the first place was that I couldn't make upmy mind. I am, as a matter of fact, interested in all of them: I was hoping you people could help me decide.
As a matter of fact, I work as a technical writer, so I'm not going to use any of these for any big project. However, I do code in my spare time and prepare small programs to automate tasks at work, when my boss lets me.
At the moment (literally) I'd like to try learning Haskell again, but it feels very difficult.
You're likely to just get people recommending their favorite.
If I were you I'd apply some combination of two criteria: which is the most fun, and what do I want to try to build?
It's great that you've done some broad experimentation (much more than I have). I suggest that you'll get a different and rewarding view if you try to use one of these languages to do something real that you care about.
