符號

這幾天的上課下來，或許補眠補足了，最近一天睡的比一天誇張，無論晚上怎麼睡，半夜一定可以入睡，不過這樣的日子終有結束的一天。

這幾天上的是Introduciton to Functional Programming 和 Program derivation 和 Type System for Programming Language，我對前兩者並較有感覺，而Type System 我只能說我功力不夠，實在是聽不懂。

事實來旁聽這課有一個感覺，中研院在傳教(教學就是傳教:))，說服我們使用非主流，但是很數學的functional programming, 對我而言，FP是很數學的，有很多定理可以用，雖然沒有我們一般使用的程式的思維，但是因為其良好的性質，使其非常容易去證明一個演算法的正確與否還有時間複雜度(這會讓我想到隨機客XD)

這幾天的課下來有一個感覺，每堂課用的都是不同的符號，這些符號成為我學習這些課的門檻，但是這門檻相對而言是很小的，必需相對適應，此時的我開始思考一個問題，為什麼要發明符號？就我的笨頭腦來想，只是為了讓相同領域的人討論時的成本能降到最低，而符號發明的好，去做一個derivation相對而言比較簡單，也因為很多領域都會發明符號的意義，為了畢竟混亂，會跟現有的數學邏輯符號盡量做mapping(很嚴重的是，我連數學和邏輯符號都沒有基本觀感..Orz)，所以，盡量適應吧。

事實上還有一個很深刻的感覺，這個禮拜讓我看到很前面很前面的道路，而我要走的路還很遠很遠，所以我得務實點。呵

---
偷懶嗎，好像也沒有XD