I started Akasha, a programming language for auto code generation(like genetic programming but can also use stochastic hillclimbing and simulated annealing to generate code). I did just a month's worth of work on it. The language will be imperative and statically typed. It will allow for parallel evaluation of programs(GPU). Programs generated will be Turing complete instead of just symbolic regression.
I think it will be ideal for AI or at least that is what I'm planning to use it for. I estimate it will take me like six months - 1 year to complete.
If you are into AI, you can join my strong AI group:
skype:?chat&blob=xTKl07MXeVdX9li2-xUCvbGBwwo2xTORkOCKkFzKzCtnuoCpzpoIEwFh0vdzTWDY_MwormVtRe2XkYSwE2k4ataFYwVVBLDkK8kUK3CzBK4d0v-TYpxpUMIhTh8sJzKdfsjVKaFUfkE9Go_GDSWcCif_q7M0LjNDnKTId--qZjTaOvq8YzE
Just copy the link into a skype window and click on it.