[plt-scheme] Standard ML in PLT Scheme

Hi Chongkai,

I'm catching up on my email from having been away, so I've had a
chance to read the whole thread before responding.

On the one hand, I want to encourage you for doing what you are trying
to do.  I'm sure interesting things will eventually come of this
exercise, so keep pushing.

On the other hand, I can't quite tell what it is you *are* trying, and
at some point you seem to have stopped responding to the questions
about static typing.  What is your bigger plan here?  Are you trying
to implement Robby's paper, or what?

Thanks,
Shriram