elz 泛型雜談(Form D)

最近都在當兵，所以也沒什麼時間上來更新，最近在軍中研究了一下D語言，看到了作者(Andrei Alexandrescu)精巧的構想----何不讓泛型也可以傳遞運算式呢?
顯然這個構思作者思考已久，正巧我也對此有類似的想法，如果泛型能夠接受運算式做為參數，那麼我們就能夠創造更加動態的環境，舉例如下:

fn add<T>(lv: T, rv: T) { return lv + rv }

思考一下這個elz的虛擬碼，原本我們可能寫出

add<Num>(1, 3)
add<Str>('Hello', 'World')

這種程式碼，這限制了我們一些事情，至少我們得清楚我們到底在'add'什麼類型，至少也是一個interface(例如限制必須實作 op + 的interface)
如果是運算式呢?

fn highOrderFn<T>(uk: T) {
  return add<typeof uk>(uk, uk)
}

我們就能在完全不知道那是什麼的情況下將uk放入add<T>(T, T) T這個函數之中

然後我懶得動腦了，先這樣，又要收假了，慘
Update at 2017/12/23 7:41 pm
I redesign this part, because found  we can play something with template.
Like Matrix. If only work with generic, that is too unfortunately.