> One of my pet thought projects is actually to imagine what an immutable smalltalk look like. Honestly, Haskell as it stands comes pretty close. I assume you

> One of my pet thought projects is actually to imagine what an immutable smalltalk look like. Honestly, Haskell as it stands comes pretty close. I assume you're talking about pure immutability (for which Haskell is famous), and Smalltalk's message-passing is really just a way of currying functions (with a slightly different syntax). You could probably stitch something simple together with Haskell + Parsec fairly easily.