What about some sophisticated compilers/interpretors rather than delving down the route of yet another programming language (i.e. F#) ?

Just my tuppence worth.

Ed.