Although I’m not in the strong typing camp, I do see the need for a typed purelely functional stack language.

Anyway, your work and writings on Cat is certainly promoting concatenative languages on a whole and make them more accessible to the mainstream or functional purist otherwise.

I guess that if you can make Cat really efficient (as you claim), I might consider implementing Enchilada on top of Cat.

But if you don’t then I would have to consider Factor :)

I’ll be watching your blog closely.

- Robbert.