原创 Chapter 14 Monads
2019-07-18 14:35:50
原创 Hoopl
最近因爲可能要用所以在看兩篇Hoopl的文章 Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation Hoopl: Dataflow Optim
2019-07-18 14:35:39
原创 Hoopl Tutorial (TBC)
Hoopl: Higher-order optimization library package: http://hackage.haskell.org/package/hoopl Related paper: Hoopl: D
2019-07-18 14:35:26
原创 Ubuntu安裝軟件常用命令
安裝軟件 apt-get install softname1 softname2 softname3…… 卸載軟件 apt-get remove softname1 softname2 softname3…… 卸載並清除配置 apt-g
2019-07-18 14:35:26
原创 C--
A single Intermdiate Language That Supports Multiple Implementations of ExcaptionsFeatherweight concurrentcy in a portab
2019-07-18 14:35:26
原创 Thesis_Hoopl_Brief
My thesis work is mainly involved using hoopl as back end of a DSL. I am going to first define a concrete intermediate
2019-07-18 14:35:26
原创 深入淺出REST
不知你是否意識到，圍繞着什麼纔是實現異構的應用到應用通信的“正確”方式，一場爭論正進行的如火如荼：雖然當前主流的方式明顯地 集中在基於SOAP、WSDL和WS-*規範的Web Services領域，但也有少數人用細
2019-02-22 17:24:54
原创 A Brief Introduction to REST
You may or may not be aware that there is debate going on about the “right” way to implement heterogeneous application-
2019-02-22 17:24:52
原创 CGI
寫作業啊寫作業，這次的作業是Replay&CGI monad。 第一部分的relay monad寫的時候沒覺得很難，但是測試例子發現雖然計算結果是對的，但我的IORef次數不對，顯示有可能每讀一個答案就重新執行了一次之前的語句，原因不明
2019-02-22 17:24:50
1
原创 網頁的URL也可以是不斷優化的
轉載自 http://hi.baidu.com/fengzhongrenlai/blog/item/909cb866667b2822ab184cb1.html 主題：網頁的URL也可以是不斷優化的。有數據表明，不管是SEO還是SEM，
2019-02-22 17:24:43
原创 Some terms in C programming
almost forgot everything about C. Below are something I read these days piece by piece, not sure if they are all correct
2019-02-22 17:24:42
原创 Data-flow control analysis
Today I will read some chapters from the dragon book about data flow analysis. Summary is coming later
2019-02-22 17:24:41
原创 Haskell調試
最近兩週被兩個bug折磨的快要去死了…… 第一個老師幫我指對了方向，雖然當時我覺得我的改動應該沒有什麼影響，但真的fix了。這個說明我對Haskell的理解還是不夠透徹，語言內部的一些東西都還是不很瞭解。 第二個今天終於解決了，我檢查了不下
2018-09-11 04:17:53
原创 網站在設計URL時應該注意的八個問題
URL設計時我們應該事先做好規劃，應該從用戶體驗和搜索引擎蜘蛛體驗出發，總體上應該清晰、友好、方便記憶，然後還要適當的考慮對於搜索引擎排名的影響，URL設計時我們可以從下邊幾點來着手： 1、URL越短越好 這樣做主要是爲了用戶體驗，對於
2018-09-11 04:17:53
2