lambda 與邱奇數

lambda 這幾天研究了一下 lambda 之後,發現 lambda 根本不只是匿名的函數這麼簡單而已。在很早之前邱奇就很想用數學表達世界上所有的事情。而當中為為了設計一套方法來判斷什麼樣的東西是可以拿來被計算的,lambda 就被獨立出來發展了。 而 lambda 運算其實包含的元素其實很簡單,只有包含兩個東西,就是變數跟函數而已。 先講一下如何表示一個 lambda 表達式 ( lambda term ),接著舉幾個例子就能很快看懂這套數學系統了。 lambda 表達式的規則(以下用 t »

python 的 iterator

for 迴圈跟 iterator (可走訪物件、迭代器) 很多人在初學 python 的時候,都會搞不懂 for 迴圈到底是在做些什麼 初學 python 應該會看到這樣的 for 迴圈 for i in range(10): print(i) i 從 0 »

Ruby, Python, NodjJS, PHP 小看法

最近在 Codecademy 把 Ruby 這個我沒學過的語言給跑了一遍,之前我是覺得這語言有點醜啦,但深入了解一下之後,我發現是有他的哲學存在的。 所以我現在想稍微比較一下我碰過的語言,比較一下社群的生態 Ruby 先拿 Ruby 來聊聊,因為才正剛好跑完一趟他的教學。一開始我看到 Ruby 的 Block 是用 end 結束,我就聯想到 Pascal 這個號稱當代最美的程式語言。 Pascal »

PHP 對空字串的 json_encode 跟 json_decode

這兩天好好的研究一下 php 的 source code ,接著打算試著回饋補釘給 php 上游 因此我到 php bug reporting 找了一個看起來蠻簡單的 bug 來修 傳送門 把重點整理出來一下 Test script: --------------- var_dump( json_decode( json_encode( »

初探虛擬機和虛擬化

這幾天小弟我開始接觸虛擬機了,但是許多產品讓人搞得有點頭昏腦脹 因此小弟開始爬文好好的釐清這些有關虛擬化的事情。 小弟目前看到大約有 Xen, KVM, VMware, Virtual Box, Hyper-V 這些產品,因此接下來的介紹會將這些產品慢慢的分類 原來虛擬化中有個東西叫做 Hypervisor 這個實在不知道怎麼翻譯的東西,這東西其實就像是 VM 的控制台,虛擬的作業系統裝在 hypervisor 上面,由 hypervisor 去控制硬體。而當中又依照 hypervisor »