程式碼抽象的思考

作者：方健
（轉載請註明出處）
有時候程式碼寫了一大堆。發現是基本思路不清晰。 越來越感到程式碼抽象的重要。

沒找到專門講這個的資料。自己摸索了幾點。
1. 處理無狀態的計算 a=f(b,c) 用bc計算出a
2. 改變狀態 s(session,key)=a 改變Sesssion中key的狀態為a
3. 維護狀態的生命週期 s.start=when s.end=when 狀態生命週期的開始和結束

例如用上述語言描述微信網頁登陸的過程：

code=f(scan) //掃描二維碼得到code
unionid=f(code,appid) //用code和appid取得使用者id
s(session,uid)=unionid  //把unionid儲存到session中
unionid=f(session)  //從session中取出unionid
user=f(unionid,db-user) //根據id從資料庫取得使用者詳細資訊

session.start=使用者登陸    session.end=使用者登出或者過期

參考：
https://en.wikipedia.org/wiki/Literate_programming