To pick a nit, Iverson did this with APL and I still think it's brilliant. Executable math. It's time will come, I hope.