Several Scheme implementations as well as some lesser-known small Lisps qualify.

I think writing a new general-purpose language is something every programmer should try at least once, but don't fool yourself; there's probably an existing language that does what you want.

Now, back to work on that language idea I can't get out of my head involving pervasive generic functions....