有天我再跟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)
再任何地方取出变量时都可以得到相关变量的变化炼结。
这样的形式可以确保存取时得到的是变动后的模样
目前是否有看过类似未来条件判断的程式语言或实现?或者针对这方面的有效性评估?