打造玩具語言

除了熟悉既有的程式語言,開發者其實也能自行發展、構造程式語言,透過這樣的過程,我們可以更深入了解語言這輪子,是如何打造出來,甚至未來還有機會能夠設計出需要的領域語言

2018-06-09

瞎猜有益的機器

透過有限狀態自動機,我們可以針對當前的狀態來解決問題,透過設計適當的處理程序,即使是透過非確定性的演算方式,而這種非確定性可以是某種外部參與

2018-06-03

打造圖靈機

試著動手打造幾臺簡單的圖靈機,同時,我們可以趁機探討現代程式設計的本質

2018-05-27

不可運算的決策問題

程式並非無所不能,但如何實際認知與驗證其中的道理,仍然非常重要,因為這能讓我們從過程中,深刻思考一件事是否可解決,就算確認行不通,還是可以把心力用在思考其他達到目的的方法

2018-05-20

程式是什麼?

在許多程式語言當中,都能建構微型語言,而且,任何程式都可透過描述運算進行的方式來表達,這也意味著語言定義形式化的規則,程式就是運算的形式化

2018-05-13

ES6與lambda演算

何謂lambda演算?在可以使用一級函式的程式語言當中,這種函式代表了lambda表示式,而這種表達方式源自lambda演算,那麼,它們之間的關係是什麼?

2018-05-05

運算隨想

面對程式開發,我們關注如何實現功能,若要達成目的,我們須反覆思考運算與這些事情的關係

2018-04-28

想跳舞的Java

Java已經發展了二十幾年,現在依然極力展現改變的努力及可能性,對於未來版本的提案相當熱烈

2018-04-21

取代Web MVC的Flux?

Spring框架推出5.0,其中包含了Web Flux,與過去我們所知的Spring Web MVC的差異是什麼?準備好接受另一套心智模型了嗎?

2018-04-01

Promise與事件迴圈

JavaScript非同步程式流程的處理,可用Promise而趨於直覺,我們也從實作過程來理解這個特色

2018-03-25

寫一個require.js

在名稱管理上,JavaScript的設計有限,因此出現許多模組模式,即便如此,為了進一步了解模組需求與JavaScript,我們還是可以用開放原始碼來臨摹他人作法

2018-03-11

從XHR到Fetch

對於Ajax的應用,從XMLHttpRequest(XHR)、jQuery,一直到後來的HTML5 Fetch API,這些作法和技術解決了哪些處理程序的問題?

2018-02-25