Fw: [討論] 未來式語法

[sunneo (艾斯寇德)]

※ [本文轉錄自 Programming 看板 #1JPFyVsG ]

作者: 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)
再任何地方取出變數時都可以得到相關變數的變化鍊結。
這樣的形式可以確保存取時得到的是變動後的模樣

目前是否有看過類似未來條件判斷的程式語言或實現?或者針對這方面的有效性評估?


======================================

我想以一個C-like的sample code大概是像這樣
// y=a*x+b;


// update if changed
future => changed(a,x,b){
   y=a*x+b;
};

// y is used as fraction, it should not be 0
future => (y==0){
   warning("y should not be zero");
};

// some content(s) of array is changed (optional), re-product its sum
void somefuncCaptureChangeOfArray(int* array,int size){
   int sum = 0;
   sum = sumOfArray(array,size);
   future => changed(array[]){  //註冊事件
      sum = sumOfArray(array,size);
   };
   dosomething(array);  // <- 再這裡面觸發，array是陣列，位址方式，
}

但希望不要礙於一個形式，如果他更能像if的話就更棒了，所以上面應該變成
//y=ax+b
future if changed(a,x,b){
   y=a*x+b;
}

future if (y==0){
   warning("y should not be zero");
}

含condition的相當於capture特定變數的changed事件，然後去判斷並執行，所以
future if(y==0){
   // body
}
會等同於
future if changed(y){
   if(y==0){
      // body
   }
}

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.127.114.38
※ 文章網址: http://www.ptt.cc/bbs/Programming/M.1399127839.A.D90.html
→ jokester:沒有明白, 會否有點像observer pattern?
→ jokester:可以附一個這文法的實用例子嗎?
推 suhorng:挺有趣的XD 要不要轉來 PLT 板討論看看?
→ sunneo:好啊   轉轉
※ 發信站: 批踢踢實業坊(ptt.cc)
※ 轉錄者: sunneo (140.127.114.38), 05/03/2014 23:25:09
→ CindyLinz:要不要示意一下 sample code 可能長什麼樣子?
推 suhorng:我有點聯想到 reactive programming XD                    05/04 00:14
※ 編輯: sunneo (140.127.114.38), 05/04/2014 00:25:48
→ sunneo:原來現在ptt推文在merge上有同步處理了0.0 我補了sample
→ sunneo:真的有reactive的意味在
→ adxis:haskell? lazy evaluation?
推 CindyLinz:haskell 有好幾套 reactive programming 的 lib
→ CindyLinz:只是我不熟.... ._.
→ CindyLinz:http://tinyurl.com/388jcaj
→ NilPtr: 看不太懂，是類似C++Boost的Signal/solt嗎?