※ 引述《Eventis (何逸凡)》之銘言：
: ※ 引述《reader (讀者)》之銘言：
: : 執行是 A::f() 才合乎 first-order function, 這正是它奧妙的地方。
: : 如果只是 function pointer 就簡單太多了。
: : 傳統的編譯程式是做不到的。你可以想像它是「執行時期的巨集函數」。
: : 有這個東西，就不需要醜陋的 iterator 了。用 iterator 不見得一定
: : 比較快，但是程式碼變醜太多了。
: 那不就是等於到linking的時候才能判斷在命名空間是否定義過@@?
: 又,如果宣告不是又多又長的話,
: 也許用hash function的負擔反而比較重?
如果是 32/64 bits hash function, 負擔應該就不會比較重，
例如著名的 FNV, 也不過就是乘法和 XOR, 此後就能大大減少
名稱比對的需求。
而如果在連結期間就能確定的話，那已是比較靜態的狀況了，
其實只比 template 複雜一點。當然那是萬一程式語言流行時
別人要傷腦筋的事情，一開始當然是用沒效率的方式，例如：
void f() = { printf("%d", i); }
void loop(int n, void f()) {
for(int i = 0; i < n; i++) f();
}
loop(100, f);
=>
typedef void F(vars&);
void f(vars& t) { printf("%d", t["i"]); }
void loop(int n, F f) {
vars t;
for(t["i"] = 0; t["i"] < n; t["i"]++) f(t);
}
loop(100, f);
這大概是最白爛的做法了。但很多情況是得在執行時期處理的。
: : 現在 C++ 不過是把巨集語言合併到程式語言當中 (template)，一堆人
: : 就在那邊大呼小叫說是什麼革命性發展的，弄個什麼泛型化程式設計就
: : 覺得世界被改變了，實在是眼光太過短淺。那叫「本來就應該這樣」。
: 說到這個,java終於有template了.
: 可喜可賀可喜可賀...........(好像不重要,裝傻中....XD)
就現在 Java 程式的主流寫法而言，恐怕還得等好一陣子才能漸漸
流行吧。
嗯，我不知道，基本上我只拿 Java 做點小東西小案子。
: : 有太多東西該做了，例如內建的網路功能，使這樣的程式語言將可以在
: : 網路上互通，程式碼可以在機器之間移動複製和定址，分散式運算可以
: (比rpc或web service更powerful的功能?
: @@.....這個很難以想像>.<)
這這... 我從來沒覺得 rpc 或 web service 強大或好用過...
五年前申請一半的專利就是網路軟體元件自動耦合連結了... 而在
十年前，我的天才學弟去留學前的臨別筆記，也就提到了，到現在
我想做的東西，只怕還沒超過他當年的規劃和想像太多。
基本上，只要有一個最基本的支援平台，這一點也不困難。
正如同我們需要 graphics platform 於是有了視窗系統，有一個
network platform, 也完全是理所當然的。
而要做 GUI 不可避免地需要 OOPL, 要做網路平台，自然也會需要
可以有效承載新觀念的程式語言。
這東西我不做別人也會做，只是看哪個組織有力量也有想法而已。
就像世界上不可能只有一個 Alan Kay 想做 GUI 一樣，就看是誰
有那個機會了。
: : 完全平順自然地達成。至於多執行緒更是最最基本的。這樣才起碼像是
: : 一個二十一世紀的程式語言。
: 雖然C++語言本身與基本函式庫沒有提供,
: 可是這些功能或技術要做到,在一般的情況下並沒有太大的問題.
: (或者是發展的人覺得寫不出更好的0.0?)
完全內建和外加是不一樣的。這要做過才知道，如果系統中的物件都
能自主動作，程式設計的概念都會不一樣了。
而當這些物件可以遊走於不同機器時，在程式設計上卻會是一模一樣，
當物件能夠自行昇級改版，我們還是可以使用同樣的程式碼持續性地
運作時，那麼它的威力就更會顯現出來。
這才是物件導向理論的原本想像，今天大家所認知的物件導向其實是
縮水版...
內建 multi-threading 機制，而且是有效地內建，我個人認為是新的
程式語言最需要的基礎設計，好用不好用，影響很大的。
不過 C++ 這種靜態系統的成功，也證明了只能使用 interpreter 的
高階程式語言，能夠應用的範圍有限、效能不足，是不能擔當大任的。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.222.173.26