作者sunneo (艾斯寇德)
看板Programming
標題[討論] 未來式語法
時間Sat May 3 22:37:13 2014
有天我再跟labmate聊天時提到："如果等等誰出現了就..."
我想到程式語言與未來式條件的支援需求
當撰寫程式的人期待著撰寫一些事件觸發行為時，他需要先為某個屬性加上
callback的函式，然後為他撰寫類似onUpdate的行為，接著才能為一個屬性
撰寫類似未來式的敘述。
目前較接近的方案是c++11的future & promise，不過跟這邊想得還有些差異
我想的是如果有未來狀態的條件判斷，
使用者可以用輕巧的方式註冊一個與變數相關的callback
這樣的callback具有跟變數符號相等的區域性：
當使用者再一個函式內關心的是區域變數，則這個未來的發生只會在函式內。
如果關心的是一塊動態記憶體，那麼這個未來處理行為的發生會在任何存取的地方
這個未來式如果用編譯器來支援，他應該可以像是lambda一樣表達
future_condition:
future => (cond_expr) compound_statement
| future => changed(ident_list) compound_statement
那麼編譯器將要為所有cond_expr中，涉及的變數的改變插入一個叫用callback的指令。
如此一來，對於部份想要設計數學符號相關的使用者，他們可以讓每個單獨的變數都具有
函式同等意義的副作用。他可以用簡單的方式定義(ex: y=a*x+b)
再任何地方取出變數時都可以得到相關變數的變化鍊結。
這樣的形式可以確保存取時得到的是變動後的模樣
目前是否有看過類似未來條件判斷的程式語言或實現?或者針對這方面的有效性評估?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.127.114.38
※ 文章網址: http://webptt.com/m.aspx?n=bbs/Programming/M.1399127839.A.D90.html
1F：→ jokester:沒有明白, 會否有點像observer pattern?162.243.251.162 05/03 23:16
2F：→ jokester:可以附一個這文法的實用例子嗎?162.243.251.162 05/03 23:16
3F：推 suhorng:挺有趣的XD 要不要轉來 PLT 板討論看看? 36.229.106.116 05/03 23:19
4F：→ sunneo:好啊 轉轉 140.127.114.38 05/03 23:22
※ sunneo:轉錄至看板 PLT 05/03 23:25
5F：推 Killercat:其實future再java的實作已經有了 114.44.24.32 05/05 00:08
6F：→ Killercat:他其實算是一種允許lazy evalution的一 114.44.24.32 05/05 00:08
7F：→ Killercat:種妥協，只是這東西我個人是認為僅僅 114.44.24.32 05/05 00:08
8F：→ Killercat:是免除了.wait跟join的問題而已 114.44.24.32 05/05 00:09
9F：→ Killercat:c++11我相信能做到的應該是更多一點 114.44.24.32 05/05 00:09