新程式語言構想

開發一個新的程式語言，對我來說，是一項很難的任務。
但我有一個構想，
是程式語言中，就有簡單語法支援，所有A() call B()都做某事。
例如，新的語法用control來達成，A() call B() ，而B()再call C()的話，
所有variable t都要+1，寫成：
control(A->B->C:t+1)
{
    ....
    A()
    Test()
    ....
}
就是對於{}內，所有A() call B() ，而B()再call C()的話，
所有variable t都會+1。
目前現有的程式語言，
例如，C/C++，Java，Python，Lisp，Prolog…
要達成上面的目標，似乎都可以，但是都沒有新語言的這種簡單寫法。
希望哪一天，有人開發新語言，達成我要的目標。