jim yeh on 十一月 17th, 2016

延遲運算是宣告式語意中,用來對治複雜性的利器。假如我們要解決的問題,並沒辦法單獨每一元素以 item -> toResult(item) 的方式解決,而是每一個元素的計算都會和其它元素扯上關係,而且因應不同的情境,要傳入不同的演算策略的話,這時候就該脈絡物件上場

Continue reading about 宣告式語意的脈絡

     
jim yeh on 七月 12th, 2015

一般來說,程式可以寫成一連串或是巢狀的 if 敍述,那就代表程式流程可以用狀態變數來表示,也就是可以表示成有限狀態機的形式,可以用 interpreter 或是 state pattern 來解決甚至是用表格檢索的方式來表現。但我們一般都不會遇到需要那麼複雜的情況,主要是因為那是框架需要解決的問題,比如說程式語言的 Compiler 或是如 Hibernate 的 HQL、JPA 的 JPQL。 對其它我們會碰到沒那麼複雜的情況,同人的經驗顯示有二種不同解決方式:第一種就是上一篇流程元件化提到的應用 builder pattern 或是更早提到訊息拆解組合應用 visitor pattern,建立一個解決問題過程的 context 脈絡,把答案組合出來,有時候問題比較簡單時,也可能只需要像本篇文章提到只需要應用 strategy pattern 就可以了、另一種方式則是利用泛函編程的高階函式,建構出解決問題的表示式,然後再讓函式一層層套疊的方式來求解,同人不久前分享的語言整合查詢就是這種解法的代表。

Continue reading about 更簡單的條件查詢設計

     
jim yeh on 七月 7th, 2015

從以上以延遲運算實現流程模組化讓我們看到,這個設計樣式和同人先前分享過的語言整合查詢有一些不一樣的地方。語言整合查詢是運用表示式的套疊運算的原理;而這個設計則是引用 Context 的概念,讓各個流程模組元件可以存取並分享處理過程中的資料變化,並且運用 Exception Handler 的機制,來達到流程控制的一致性。

Continue reading about 以延遲運算實現流程模組化

     
jim yeh on 一月 31st, 2015

語言整合查詢(LINQ)是非常有用的設計概念,它扭轉我們過去用指令式編程的習慣,轉而以宣告式編程的設計典範,讓程式碼變得簡潔,也提高設計的抽象能力。尤其是對於迴圈當中一再出現類似的條件判斷,卻苦於迴圈的特性讓我們沒有很好的策略來將變動的部分封裝起來,只能任由讓程式碼因應需求改變而日趨複雜,讓開發及維護程式愈來愈困難的時候。但如果我們能夠把指令式編程的開發慣例換成宣告式編程的思維模式,我們就會發現問題將變得很簡單。 如同 .NET Framework 支援 LINQ 的查詢語句可以抽換查詢的條件式(透過 where() 方法)和查詢結果的對應(透過 select()、groupBy()等方法),其實在 Java 1.6 我們也可以用相同的設計概念實作語言整合功能。本來同人一直認為實作它應該會很複雜,但實際動手後來發現,實作它比想像中的來的簡單,也只是運用延遲運算的觀念和一些設計樣式的手法就能夠很輕易的實現了。

Continue reading about 用 Java 實作語言整合查詢功能

     
jim yeh on 六月 19th, 2014

用以上這樣的模式來重構 legacy code,程式的意圖會很清楚地浮現出來,也會直接具體地關連到問題領域業務邏輯的語言,而不是一大串的 if-then-else 或是 for 迴圈的語法,這有助於不同觀點的相互溝通。你可以從主要流程中具體明白程式在做什麼,而如果需要瞭解實作的細節,則可以進一步去參考那些很簡單的物件化之小函式。由於不同關切點的分離,程式變得更簡單而且容易測試,對後續的程式維護甚至想要增加功能的需求來說,都會得到莫大的助益呀。

Continue reading about 清楚表達程式意圖的重構招式

     
jim yeh on 五月 14th, 2014

最近同人就碰到一個實例,讓我體會到以泛函編程(FP)典範增進功能的可測性。其實,以前遠在美國的 Perter Ho 就曾向包括同人在內的幾位點空間的朋友,分享過相同的觀念,而同人則是藉由最近的實例而對這樣的觀念有更深刻的體驗。

Continue reading about 以泛函編程增進功能的可測性

     
jim yeh on 四月 22nd, 2014

從〈查詢的宣告式語意〉提到的實作中,我們可以發現有關資料搜尋的一種設計抽象概念,可以用相同的模式應用在不同的資料結構上,例如從 XML 文件中搜尋特定的資料節點。同人曾經用過宣告式語意實作轉換期貨交易 Span 檔案,將 XML 資料格式轉換成某種特定格式的資料檔案,程式碼的寫法比傳統的命令式語意寫法更為精簡而直覺。

Continue reading about XML 格式轉換的宣告式語意

     
jim yeh on 一月 28th, 2014

本來第二篇打算要寫剖析命令列的宣告式語意,不過同人覺得我原先的設計還不夠好,於是就暫時先把它擱置下來。結果一擱就擱了好久,慢慢地也讓我覺得沒有必要重新實作命令剖析列的宣告式語意,因為畢竟會使用到的機會並不多。其實命令列剖析的宣告式語意和前一篇文章的設計原理應該是一致的,因此同人後來決定要跳過它。剛好近看到有朋友討論相關的議題,激發我完成系列文章的動力,這一篇所要探討的主題正是有關於查詢的宣告式語意。

Continue reading about 查詢的宣告式語意

     
jim yeh on 一月 15th, 2014

其實以管轄區域分析樣式所發展的資料模型,並不會與資料驅動編程的概念圖相去太多,比較大的差別只在於是否考慮多對多關連的情況。然而經過領域概念分析的過程的好處是,讓我們可以用概念性的表達來略除許多不必要的繁複細節,展現出抽象思考的力量。當然它很困難,但它卻是做好系統分析不可或缺的能力,是值得投注心力學習的技能。

Continue reading about 管轄區域的分析樣式

     
jim yeh on 八月 27th, 2013

一般而言,程式碼的立即運算是比較符合人們想法直覺的演算法,也就是依據上一個運算的結果來決定後續的演算邏輯。但對較複雜的程式邏輯而言,立即運算常會形成多重運算路徑的歧路而使程式的開發與維護變得更繁複,面對這種狀況也許我們需要採用另一種典範來簡化設計;也就是延後運算的處理,等到需要得到答案時才一次求解計算出結果,省卻許多繁複的條件判斷或迴圈的控制。在這裡同人想發表一系列文章分享四種不同主題延遲運算,它們都是以 C++ 語言實作的延遲運算,包括訊息拆解與組合、拆解命令列、資料表的查詢、以及搜尋 Xml 找到符合的資料。

首先,這一篇文章我們先來談談延遲運算在訊息拆解與組合的應用。

Continue reading about 訊息拆解組合的宣告式語意