From dc48addb76937fcab16913ba7ec5ebb922e898f2 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Mon, 16 Mar 2015 18:34:03 +0800
Subject: [PATCH 01/14] add guide-zh_tw.md

---
 guide-zh_tw.md | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 guide-zh_tw.md

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
new file mode 100644
index 0000000..e69de29

From c1521b83482445f2395636053802a57fbd9ee43c Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Thu, 19 Mar 2015 14:52:04 +0800
Subject: [PATCH 02/14] Begin translation of the "The Guide" section

---
 guide-zh_tw.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index e69de29..4e23e73 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -0,0 +1,18 @@
+# 前言
+
+這是我推薦的學習Haskell之路。
+
+#### 請切記：*別在你現在不懂的地方打轉，繼續讀下去就對了！*
+
+## 社群
+
+我們的IRC頻道是Freenode上的 `#haskell-beginners`。
+
+IRC web版用戶端可[在這裡取得](http://webchat.freenode.net/)。
+
+Haskell[郵件群組](https://wiki.haskell.org/Mailing_lists)。
+
+### 社群參與須知
+
+請參考Chris Done所撰關於文章：[Teaching](http://chrisdone.com/posts/teaching)。
+

From 2a98d1f7534d9d93691ada49aa3de57c4f292d6b Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Mon, 23 Mar 2015 18:01:54 +0800
Subject: [PATCH 03/14] translate more Guidelines. Also the section: What is
 Haskell, GHC, Cabal?

---
 guide-zh_tw.md | 35 ++++++++++++++++++++++++++++++++++-
 1 file changed, 34 insertions(+), 1 deletion(-)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index 4e23e73..a6bd9ae 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -14,5 +14,38 @@ Haskell[郵件群組](https://wiki.haskell.org/Mailing_lists)。
 
 ### 社群參與須知
 
-請參考Chris Done所撰關於文章：[Teaching](http://chrisdone.com/posts/teaching)。
+請參考Chris Done所撰：[Teaching](http://chrisdone.com/posts/teaching)。
+
+請友善待人，尖酸苛薄只會把人嚇跑、令人不願再參與而已。
+
+低劣的批評只讓你自己覺得痛快，對聽者沒有任何幫助。
+
+不要說『這很簡單』、『這無關緊要』。你會讓人覺得花這麼多功夫才得到進展是因為自己不如人，學得慢的人通常是學得最全面的人，這是值得讚美的！
+
+不要假做驚訝。當別人說他不知道的時候，不要表現得你很驚訝他居然不知道的樣子。他會很難過，而你除了表現得自己好像很行，你什麼也沒得到。
+
+不要說『其實...這樣才對...』(well, actually...)。當有人說了什麼『幾乎正確』的話，而你說『其實...這樣才對』來做些微修正，這很惱人，尤其當這個修正根本跟整個對話沒什麼關係。我並不是在說黑客們不在乎真實或精確，只是像這樣的發言通常都是作秀成分居多，而非追尋真實。
+
+---
+
+來自[the Hacker School manual](https://www.hackerschool.com/manual)的導覽。感謝你們的釋出！
+
+# 什麼是Haskell、GHC和Cabal？
+
+Haskell是個依據下列報告定義的程式語言，此報告最新版本為2010版：
+[onlinereport](http://www.haskell.org/onlinereport/haskell2010/)
+
+## GHC
+[GHC](http://www.haskell.org/ghc/)是使用Haskell語言最主流的方式。
+它包含編譯器、直譯器、套件管理，與其他輔助工具。
+
+## Cabal
+[Cabal](https://www.haskell.org/cabal/download.html)可協助你做專案管理與相依性解析。
+這會是你用來安裝專案的主要方式，而標準的做法會是安裝至其自身的沙箱中。
+
+Cabal相當於Ruby Bundler、Python pip、Node NPM、Maven等等。GHC包裝套件，Cabal則選擇
+該安裝哪些版本。
+
+# 環境設定
+
 

From e2a40e628d4d2801186f850b5be0cc9c0f7eb8c1 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Tue, 24 Mar 2015 16:19:54 +0800
Subject: [PATCH 04/14] first run of translating "getting setup" section

---
 guide-zh_tw.md | 147 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 147 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index a6bd9ae..d0dc224 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -48,4 +48,151 @@ Cabal相當於Ruby Bundler、Python pip、Node NPM、Maven等等。GHC包裝套
 
 # 環境設定
 
+## Ubuntu
+[這個PPA](http://launchpad.net/~hvr/+archive/ghc)很棒，我在我所有的Linux環境與建置機上都用這個。
+(build machine =?)
+
+詳細步驟如下：
+
+```bash
+$ sudo apt-get update
+$ sudo apt-get install python-software-properties # v12.04 and below
+$ sudo apt-get install software-properties-common # v12.10 and above
+$ sudo add-apt-repository -y ppa:hvr/ghc
+$ sudo apt-get update
+$ sudo apt-get install cabal-install-1.20 ghc-7.8.4 happy-1.19.4 alex-3.1.3
+```
+
+接著，把以下路徑加入你的`$PATH`環境變數中(bash\_profile, zshrc, bashrc, etc)：
+
+```
+~/.cabal/bin:/opt/cabal/1.20/bin:/opt/ghc/7.8.4/bin:/opt/happy/1.19.4/bin:/opt/alex/3.1.3/bin
+```
+
+*註:* 你也可以把`.cabal-sandbox/bin`加到你的路徑中。如此一來，只要你使用cabal sandbox開發，並且
+留在相對的工作路徑中，你就可以在命令列中輕易取用你正在開發的執行檔。
+
+## Debian
+
+### 使用Ubuntu PPA
+
+如果你沒有使用當前穩定版本，你可以用和Ubuntu一樣的流程，但會需要在下面這個命令後：
+
+`sudo add-apt-repository -y ppa:hvr/ghc` 另外執行：
+
+```bash
+$ sudo sed -i s/jessie/trusty/g /etc/apt/sources.list.d/hvr-ghc-jessie.list
+```
+
+對於其他的Debian版本，只要把以上所有`jessie`都換成你的版本名即可。
+
+如果基於某種理由，`/etc/apt/sources.list.d/hvr-ghc-jessie.list`不存在，那麼`/etc/apt/sources.list`應該要有一行：
+
+    deb http://ppa.launchpad.net/hvr/ghc/ubuntu jessie main
+
+把`jessie`換成`trusty`即可。
+
+### 自行編譯
+
+請參照這篇為Mac OSX所撰寫的指南：
+
+注意：
+
+- 根據你的狀況，在設定ghc時指定前綴(prefix)
+- 不要直接下載`cabal-install`的二元檔，下載源碼並執行其`bootstrap.sh`腳本。
+
+## Fedora 21
+
+從非官方套件庫安裝Haskell 7.8.4 (Fedora 22以上已經有官方版本)：
+
+```bash
+$ sudo yum-config-manager --add-repo \
+> https://copr.fedoraproject.org/coprs/petersen/ghc-7.8.4/repo/fedora-21/petersen-ghc-7.8.4-fedora-21.repo 
+$ sudo yum install ghc cabal-install
+```
+
+根據[petersen/ghc-7.8.4 copr page](https://copr.fedoraproject.org/coprs/petersen/ghc-7.8.4/)，此版本的ghc
+無法與Fedora/EPEL ghc並存。
+
+## Arch Linux
+
+從官方套件庫安裝：
+
+```bash
+$ sudo pacman -S cabal-install ghc happy alex haddock
+```
+
+## Gentoo
+
+你可以透過Portage安裝Haskell Platform的子組件。如果你使用`ACCEPT_KEYWORDS=arch`，而非`ACCEPT_KETWORDS=~arch`，
+Portage會弄個骨灰級的Haskell給你。因此，舉凡你用了`ACCEPT_KEYWORDS=arch`，就把下面這幾行加進去：
+
+    dev-haskell/cabal-install
+    dev-lang/ghc
+
+完成後，
+
+```bash
+$ emerge -jav dev-lang/ghc dev-haskell/cabal-install
+```
+
+Gentoo會留一個『穩定』(換言之，老舊）的`cabal-install`在Portage的套件樹中，因此你可以用這個`cabal-install`來安裝
+更新的版本。請注意，以下反斜線是必須的：
+
+```bash
+$ \cabal update                # The backslashes
+$ \cabal install cabal-install # are intentional
+```
+
+現在你透過Protage在global scale中安裝了cabal，以及在你的家目錄中安裝了最新的`cabal-install`。
+下一步是確定每次你在終端機執行`cabal`時，你的shell都是執行你家目錄中的最新版本：
+
+```bash
+PATH=$PATH:$HOME/.cabal/bin
+alias cabal="$HOME/.cabal/bin/cabal"
+```
+
+如果你不知道你的shell是哪一個，那你很可能用的是Bash。如果你用的是Bash，你需要編輯的檔案為`~/.bashrc`。
+如果你用的是Z-shell，那你需要編輯的是`~/.zshrc`，你可以透過下面這個命令來確定：
+
+```bash
+echo $SHELL | xargs basename
+```
+
+例如我用的是zsh，所以上列命令會輸出`zsh`。
+
+當以上都完成，你會想要再另外安裝兩個工具：`alex`和`happy`：
+
+```bash
+$ cabal install alex happy
+```
+
+恭喜！你現在有了一個可用的Haskell！
+
+## Mac OS X
+
+### 10.9
+
+請安裝[GHC for Mac OS X](http://ghcformacosx.github.io/)，它包含了GHC與Cabal。安裝完成後，
+它還會指示你如何將GHC與Cabal加入你的系統路徑。
+
+### 10.6-10.8
+
+下載這個[tarball](https://www.haskell.org/platform/download/2014.2.0.0/ghc-7.8.3-x86_64-apple-darwin-r3.tar.bz2)，
+並安裝其binary distribution。
+
+## Windows
+
+- [windows minimal GHC installer](http://neilmitchell.blogspot.com/2014/12/beta-testing-windows-minimal-ghc.html)
+  可以編譯`network`等套件，嚴格說來它還在beta，但應該足夠任何在讀這篇導覽的人使用。
+
+別忘了，要用administrator的身份來執行安裝檔，因為它需要安裝到Program Files目錄的權限。
+
+## 其他Linux使用者
+
+下載cabal與ghc的最新版本binary distribution
+
+- [GHC](http://www.haskell.org/ghc/).
+
+- [Cabal](https://www.haskell.org/cabal/download.html).
 

From 220018d50f584635b65b0ae9d88d4638dcad0d38 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Wed, 25 Mar 2015 18:21:25 +0800
Subject: [PATCH 05/14] Begin to translate section: Primary Courses

---
 guide-zh_tw.md | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index d0dc224..f7a1c1c 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -196,3 +196,37 @@ $ cabal install alex happy
 
 - [Cabal](https://www.haskell.org/cabal/download.html).
 
+# 主要課程
+
+## Yorgey's cis194課程
+
+> *先做這個*，這是我推薦入門Haskell的主要方式。
+
+此課程的教材可於[線上取得](http://www.seas.upenn.edu/~cis194/spring13/lectures.html)。
+
+[Brent Yorgey](https://byorgey.wordpress.com)的課是我目前所知最好的。它之所以好，是因為
+它不只教你些基礎知識，還教你parser combinators。
+
+如果你不是個程式設計師，或是比較沒經驗，這門課可能就沒這麼適合你。建議你從
+[Thompson的這本書](http://www.haskellcraft.com/craft3e/Home.html)開始，然後再
+轉到cis194。
+
+---
+
+## NICTA課程
+
+> 在你完成Yorgey的cis194後，我推薦這個課程
+
+這門課發佈在[github上](https://github.com/NICTA/course)。
+
+透過實作cis194中所介紹過的種種抽象表述，你會有更深入的了解。這樣的練習對於
+熟悉Haskell中每天都會面對的Functor/Applicative/Monad等等至關重要。
+先做cis194，緊接著NICTA，是這整篇Haskell學習導覽的核心，也是我教每個人Haskell的方式。
+
+---
+
+
+
+
+
+

From 1c0033c2e696782b9c2ca9372b5dce18306c08c5 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Thu, 26 Mar 2015 18:04:34 +0800
Subject: [PATCH 06/14] finished translation of "Primary Courses" section

---
 guide-zh_tw.md | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index f7a1c1c..e5045e0 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -225,8 +225,44 @@ $ cabal install alex happy
 
 ---
 
+## 補充課程 cs240h
 
+> 提供更多中階以上議題的教材
 
+[線上教材](http://www.scs.stanford.edu/14sp-cs240h/)
 
+這是[Bryan O'Sullivan](https://github.com/bos)在Stanford所教課程的線上版。
+如果你不知道他是誰，去看看Haskell的函式庫吧！幾乎一半以上常用的都有他的名字。
+特別是phantom types、information flow control、language extensions、concurrency、pipes和lenses。
 
+---
+
+## 以上三門課程的參考材料
+
+[Learn You a Haskell for Great Good (LYAH)](http://learnyouahaskell.com)和
+[Real World Haskell](http://book.realworldhaskell.org)都可線上閱讀，謝啦！
+
+我推薦將RWH當作參考書(它很厚！)。關於parsing和monads的章節對了解monads非常有幫助。
+有些人非常喜歡它，或許是因為在你了解Haskell的基本後，一些實用例會很有幫助吧？
+
+### `<-` / `do` / list comprehension簡便語法到底是什麼？
+
+[很棒的解釋](http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html)。
+
+### 了解list和fold
+
+- [Explain List Folds to Yourself](http://vimeo.com/64673035)
+
+### 學習常用的typeclasses
+
+對瞭解`Functor`、`Applicative`、`Monad`、`Monoid｀和其他typeclasses很有幫助，而且還有
+些針對Haskell的category theory：
+
+- The [Typeclassopedia](http://www.haskell.org/haskellwiki/Typeclassopedia)
+
+### 了解基本的Haskell錯誤訊息
+
+- [Understanding basic error messages](http://ics.p.lodz.pl/~stolarek/_media/pl:research:stolarek_understanding_basic_haskell_error_messages.pdf)
+
+---
 

From 1031e363962acea6c7762070388b65cc4ddc17e6 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Mon, 30 Mar 2015 18:20:04 +0800
Subject: [PATCH 07/14] Laziness, part of IO

---
 guide-zh_tw.md | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index e5045e0..b8b0ed4 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -266,3 +266,43 @@ $ cabal install alex happy
 
 ---
 
+# Laziness, strictness, guarded recursion
+
+- [Marlow關於平行與同步的書](http://chimera.labs.oreilly.com/books/1230000000929/ch02.html)中，關於laziness與normal form的介紹
+  是我所看過最好的。Use other material too if it doesn't stick immediately.
+
+- [More points for lazy evaluation](http://augustss.blogspot.hu/2011/05/more-points-for-lazy-evaluation-in.html)
+
+- [Oh my laziness!](http://alpmestan.com/posts/2013-10-02-oh-my-laziness.html)
+
+- SO上的討論串'[Does haskell have laziness?](http://stackoverflow.com/questions/13042353/does-haskell-have-tail-recursive-optimization)'
+
+- [Johan Tibell](https://github.com/tibbe)'在[reasoning about laziness](http://www.slideshare.net/tibbe/reasoning-about-laziness)這個talk的投影片
+
+## 演示
+
+```haskell
+let a = 1 : a -- guarded recursion, (:) is lazy and can be pattern matched.
+let (v : _) = a
+> v
+1
+> head a -- head a == v
+1
+
+let a = 1 * a -- not guarded, (*) is strict
+> a
+*** Exception: <<loop>>
+```
+
+# IO
+
+- [Evaluation order and State tokens](https://www.fpcomplete.com/user/snoyberg/general-haskell/advanced/evaluation-order-and-state-tokens)
+
+- [Unraveling the mystery of the IO monad](http://blog.ezyang.com/2011/05/unraveling-the-mystery-of-the-io-monad/).
+
+- [First class "statements"](http://blog.jle.im/entry/first-class-statements).
+
+- [Haddocks for System.IO.Unsafe.unsafePerformIO](http://hackage.haskell.org/package/base-4.7.0.1/docs/System-IO-Unsafe.html#v:unsafePerformIO)
+  
+
+

From bd33654ed8a90c43399747f6da51eb65d616088f Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Tue, 31 Mar 2015 17:56:16 +0800
Subject: [PATCH 08/14] Draft translation of Monad, monad transformer

---
 guide-zh_tw.md | 37 ++++++++++++++++++++++++++++++++++++-
 1 file changed, 36 insertions(+), 1 deletion(-)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index b8b0ed4..1142bc0 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -303,6 +303,41 @@ let a = 1 * a -- not guarded, (*) is strict
 - [First class "statements"](http://blog.jle.im/entry/first-class-statements).
 
 - [Haddocks for System.IO.Unsafe.unsafePerformIO](http://hackage.haskell.org/package/base-4.7.0.1/docs/System-IO-Unsafe.html#v:unsafePerformIO)
-  
+  請讀unsafeDupablePerformIO的文件和實作筆記。
 
+`glaebhoerl`在Reddit討論串的留言：
+
+> Interesting side note: GHC需要將state token representation隱藏在抽象的IO型別後面，
+> 因為state token必須線性地使用，不能複製或丟棄，但型別系統無法強制這件事。
+> 某個乾淨、lazy、類似Haskell的語言的型別有uniqueness特性(類似linear type，但可能有些
+> 我沒意識到的細微差別)，為了方便，它直接暴露World-passing並提供非抽象的IO monad。
+
+# Monads and monad transformers
+
+> 在你了解typeclasses、Monoid、Functor和Applicative之前，請不要做下列練習！
+
+嘗試自行實作標準函式庫中的monads(List、Maybe、Cont、Error、Reader、Writer、State)，可以讓你
+更了解它們。再來，不妨嘗試用下述技術實作一個小型expression language的monadic直譯器：
+[Monad Transformers Step by Step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf)
+
+透過用不同的monad改變語意，從而產生不同的直譯器，help convey what's going on。
+
+- [Tony的演講](https://vimeo.com/73648150)完美演繹為何需要monad transformer，
+  [投影片在此](https://dl.dropboxusercontent.com/u/7810909/talks/monad-transformers/cbaa991e0eb49224eb286c1e418e2b9828e1fb21/monad-transformers.pdf).
+
+再來，實作`Control.Monad`中的函數，例如：`mapM`或`sequence`是個練習撰寫generic monadic code的好機會。
+
+前面提到過的NICTA課程也可以用來當這個過程的指南，它也包括了如何撰寫你自己的Applicative。
+
+Credits:
+
+- Reddit上htmltyp和Crandom的[留言](http://www.reddit.com/r/haskell/comments/29eke6/basic_program_ideas_for_learning_about_monads/cik5aj6)。
+
+- Reddit上jozefg[的留言](http://www.reddit.com/r/haskell/comments/29eke6/basic_program_ideas_for_learning_about_monads/cik5trg)。
+
+## Monad transformers
+
+- [A gentle introduction to Monad Transformers](https://github.com/kqr/gists/blob/master/articles/gentle-introduction-monad-transformers.md)。
+
+- [Monad transformers step-by-step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf) (警告：程式碼已過期)。
 

From 246fb4a9e4482319d190e53f30d3847a8e96db5d Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Sun, 12 Apr 2015 16:37:46 +0800
Subject: [PATCH 09/14] Draft translation 'til "Hoogle and Haddock" section

---
 guide-zh_tw.md | 129 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 129 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index 1142bc0..91fad41 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -341,3 +341,132 @@ Credits:
 
 - [Monad transformers step-by-step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf) (警告：程式碼已過期)。
 
+# Testing, tests, specs, generative/property testing
+
+- Kazu Yamamoto的[這篇教學](https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md)  堪稱典範！
+
+- [Simple-Conduit](https://github.com/jwiegley/simple-conduit)：這個簡單的函式庫對於學習IO串流如何工作很有幫助，
+  所學亦可應用在其他函式庫，例如Pipes和Conduit。 
+
+# Parsing in Haskell
+
+- Parser combinator [tutorial](https://github.com/JakeWheat/intro_to_parsing)
+  for Haskell using Parsec
+
+- [Writing your own micro-Parsec](http://olenhad.me/articles/monadic-parsers/)
+
+## Parsing與產生JSON
+
+Aeson是Haskell標準的[JSON](https://json.org)parsing解決方案。你可以從[hackage](https://hackage.haskell.org/package/aeson)或[github](https://github.com/bos/aeson)取得。
+
+- [Parsing JSON using Aeson](http://blog.raynes.me/blog/2012/11/27/easy-json-parsing-in-haskell-with-aeson/)
+
+- [Aeson and user created types](http://bitemyapp.com/posts/2014-04-11-aeson-and-user-created-types.html)
+
+- [Parsing non-deterministic data with aeson and sum types](http://bitemyapp.com/posts/2014-04-17-parsing-nondeterministic-data-with-aeson-and-sum-types.html)
+
+- [Aeson教學](https://www.fpcomplete.com/school/starting-with-haskell/libraries-and-frameworks/text-manipulation/json)
+
+# 圖學演算法與資料結構
+
+- [fgl套件](https://hackage.haskell.org/package/fgl)。純函數式的最短路徑[演算法](http://hackage.haskell.org/package/fgl-5.4.2.2/docs/Data-Graph-Inductive-Query-SP.html)值得一看。
+
+- [Inductive graphs and Functional Graph Algorithms](http://web.engr.oregonstate.edu/~erwig/papers/abstracts.html#JFP01).
+
+- [FGL/Haskell - A Functional Graph Library](http://web.engr.oregonstate.edu/~erwig/fgl/haskell/old/fgl0103.pdf).
+
+- [Containers套件中的Data.Graph源碼](http://hackage.haskell.org/package/containers-0.5.5.1/docs/Data-Graph.html).
+
+- [graphs套件](https://hackage.haskell.org/package/graphs).
+
+- [SO關於PHOAS的討論串](http://stackoverflow.com/questions/24369954/separate-positive-and-negative-occurrences-of-phoas-variables-in-presence-of-rec)
+
+- [免費的PHOAS](https://www.fpcomplete.com/user/edwardk/phoas).
+
+- [Tying the Knot](http://www.haskell.org/haskellwiki/Tying_the_Knot).
+
+- [Hackage: dag](https://hackage.haskell.org/package/dag).
+
+# 開發環境
+
+## Emacs
+
+- [Alejandro Serras's tutorial](https://github.com/serras/emacs-haskell-tutorial/blob/master/tutorial.md)
+
+- [My dotfiles](https://github.com/bitemyapp/dotfiles/)
+
+- [Chris Done's emacs config](https://github.com/chrisdone/chrisdone-emacs)
+
+## Vim
+
+- [Vim page on haskellwiki](http://www.haskell.org/haskellwiki/Vim)
+
+- [Haskell-vim-now](https://github.com/begriffs/haskell-vim-now)
+
+- [A vim+haskell workflow](http://www.stephendiehl.com/posts/vim_haskell.html)
+
+- [GHC-Mod](https://github.com/kazu-yamamoto/ghc-mod)
+
+- [GHC-Mod vim plugin](https://github.com/eagletmt/ghcmod-vim)
+
+- [Hindent](https://github.com/chrisdone/hindent)
+
+## Sublime Text
+
+- [SublimeHaskell](https://github.com/SublimeHaskell/SublimeHaskell)
+
+# Cabal常見問答
+
+## 一篇超讚的常見問答
+
+不但對各種主題都有很好的導覽，也包含了Cabal的一些重要基礎。
+- [What I wish I knew when learning Haskell](http://dev.stephendiehl.com/hask/)
+
+
+## Cabal導覽
+在引入沙箱(sandbox)前，Cabal地獄(Cabal Hell)對所有Haskell使用者來說都是一大問題。
+在沙箱外安裝的套件會直接裝在你的用戶套件資料庫(user pacakge-db)中。除非是常用的基礎套件，
+例如Cabal、alex、happy等，這絕不是個好方法。除非你很清楚你自己在做什麼，任何套件都不該
+安裝在用戶資料褲或全域資料庫(global package-db)。
+
+這裏有些如何避免Cabal地獄的[最佳指南](http://softwaresimply.blogspot.com/2014/07/haskell-best-practices-for-avoiding.html)。
+
+如果要實驗新套件，或是起始新專案，在一個新目錄中執行`cabal sandbox init`。
+
+簡言之：
+
+- 無論是安裝新套件、建置新舊專案、做任何實驗，用沙箱。
+- 用`cabal repl`來啟動project-scoped ghci實體。
+
+我所建議這種以沙箱為基礎的方式，應該可以避免套件相依性的問題。但這與Haskell Platform提供
+預先編譯套件的方法不相容。如果你還在學習Haskell，而且不太了解ghc-pkg和Cabal如何運作，
+*不要用Haskell Platform*，改用前面所提的安裝方式。
+
+## Stackage
+
+如果你面臨一些建置上的問題(特別是Yesod)，不妨考慮用Stackage
+
+- [Stackage是什麼](https://www.fpcomplete.com/blog/2014/05/stackage-server)
+
+據作者所言，Stackage通常比`cabal freeze`更實用。
+
+# Hoogle與Haddock
+
+## 依型別表述搜尋源碼
+
+[Hoogle搜尋引擎](http://www.haskell.org/hoogle/)可依型別搜尋。
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

From f1938d30b3b195c82ea1b4ec1e9e7dbcd4debf88 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Tue, 14 Apr 2015 18:36:13 +0800
Subject: [PATCH 10/14] draft translation 'til "For more thorough understanding
 of laziness..."

---
 guide-zh_tw.md | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index 91fad41..2a5bf70 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -456,17 +456,75 @@ Aeson是Haskell標準的[JSON](https://json.org)parsing解決方案。你可以
 
 [Hoogle搜尋引擎](http://www.haskell.org/hoogle/)可依型別搜尋。
 
+比方說，請看以下搜尋`(a -> b) -> [a] -> [b]`的結果：
 
+[搜尋結果](http://www.haskell.org/hoogle/?hoogle=%28a+-%3E+b%29+-%3E+%5ba%5d+-%3E+%5bb%5d).
 
+fpcomplete所管理的[在此](https://www.fpcomplete.com/hoogle)。
 
+另外[Hayoo](http://holumbus.fh-wedel.de/hayoo/hayoo.html)預設開啟了對所有hackage的搜尋。
 
+## 設定你自己本地端的Hoogle
 
+詳細方法請看[這篇文章](https://gist.github.com/bitemyapp/3e6a015760775e0679bf)。
 
+## Haddock
 
+1. 修正你的hackage文件 [Fix your hackage documentation](http://fuuzetsu.co.uk/blog/posts/2014-01-06-Fix-your-Hackage-documentation.html)
 
+2. Hackage文件第二版 [Hackage documentation v2](http://fuuzetsu.co.uk/blog/posts/2014-01-06-Hackage-documentation-v2.html)
 
+請注意，以上這些文章都*有些過期*，例如：現在Hacakge已支援shiny new info with documentation info and build status.
 
+## 真正重要的事
 
+為了讓haddocks含入相關套件的文件，你必須在`~/.cabal/config`設立`ducumentation: True`。如果它被設為`False`，或間接被default(`False`)關閉，你會需要刪除並重新安裝所有套件，再產生haddocks。
 
+請記住，因為`$pkg`參數會被cabal內插，`html-location`和`content-location`參數*必須以單引號括入*，再插入shell命令或包含在shell腳本中。在Makefile中是不行的，因為它會被當作Make的變數！
+
+```bash
+#! /usr/bin/env sh
+
+# 如果把反斜線去掉，你可以把它寫成一行
+cabal haddock --hoogle --hyperlink-source                       \
+ --html-location='http://hackage.haskell.org/package/$pkg/docs' \
+ --contents-location='http://hackage.haskell.org/package/$pkg'
+```
+
+# TravisCI
+如果你跟我一樣，是[TravisCI](https://travis-ci.org)的超級粉絲，那我*強力建議*你參考[multi-ghc-travis](https://github.com/hvr/multi-ghc-travis)為你的Haskell專案的`travis.yml`設定檔做基礎。
+
+# 前端/JavaScript
+我們的選擇多得驚人！我個人推薦三種：
+
+* [Haste](http://haste-lang.org/) Haskell至JavaScript的編譯器。a Haskell to JavaScript compiler
+  - [Github](https://github.com/valderman/haste-compiler)上的編譯器源碼
+  - 範例專案的[精彩展示](http://www.airpair.com/haskell/posts/haskell-tutorial-introduction-to-web-apps)
+
+* [GHCJS](https://github.com/ghcjs/ghcjs)
+  - GHCJS簡介 [GHCJS Introduction](http://weblog.luite.com/wordpress/?p=14)
+  - [Functional Reactive Web Interfaces with GHCJS and Sodium](http://weblog.luite.com/wordpress/?p=127)
+  - 用Haskell搭配ghcjs撰寫Atom插件 [Writing Atom plugins in Haskell using ghcjs](http://edsko.net/2015/02/14/atom-haskell/)
+
+* [PureScript](http://www.purescript.org/)
+  - 不像Haste或GHCJS般是純Haskell，但是Haskller們的熱門選擇
+  - 以Haskell實作，亦受Haskell啟發
+  - 在瀏覽器上[試試](http://try.purescript.org/)
+  - [起步導覽](http://www.christopherbiscardi.com/2014/06/22/getting-started-with-purescript/)
+
+## 我用哪一種前端語言？
+
+GHCJS和Haste都是純Haskell，GHCJS比Haste能和更多的Haskell套件相容，但這不會影響大多數的前端專案。PureScript並非Haskell，因此無法直接和你的後端分享源碼。
+
+GHCJS的執行期payload是最大的，大約100kb (luite正在研究如何解決)，Haste和PureScript差不多。
+
+PureScript有最好的JS工具鏈整合(用gulp/grunt/bower)，GHCJS和Haste則與Haskell工具鏈整合較佳(例如Cabal)。
+
+以上三者都是極佳選擇，大多數的前端專案都適用。
+
+# 想要更充分了解laziness、NF、WHNF
+
+- [Notes on lambda calculus](https://vec.io/posts/notes-on-lambda-calculus).
+ 
 
 

From 7c3e2950f0056d0f00d62365969799227ed648ad Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Fri, 17 Apr 2015 17:57:37 +0800
Subject: [PATCH 11/14] finish translation draft and update links

---
 guide-zh_tw.md | 189 ++++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 179 insertions(+), 10 deletions(-)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index 2a5bf70..0464a79 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -28,7 +28,7 @@ Haskell[郵件群組](https://wiki.haskell.org/Mailing_lists)。
 
 ---
 
-來自[the Hacker School manual](https://www.hackerschool.com/manual)的導覽。感謝你們的釋出！
+來自[the Recurse Center manual](https://www.recurse.com/manual)。感謝他們願意公開分享！
 
 # 什麼是Haskell、GHC和Cabal？
 
@@ -237,14 +237,6 @@ $ cabal install alex happy
 
 ---
 
-## 以上三門課程的參考材料
-
-[Learn You a Haskell for Great Good (LYAH)](http://learnyouahaskell.com)和
-[Real World Haskell](http://book.realworldhaskell.org)都可線上閱讀，謝啦！
-
-我推薦將RWH當作參考書(它很厚！)。關於parsing和monads的章節對了解monads非常有幫助。
-有些人非常喜歡它，或許是因為在你了解Haskell的基本後，一些實用例會很有幫助吧？
-
 ### `<-` / `do` / list comprehension簡便語法到底是什麼？
 
 [很棒的解釋](http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html)。
@@ -318,7 +310,7 @@ let a = 1 * a -- not guarded, (*) is strict
 
 嘗試自行實作標準函式庫中的monads(List、Maybe、Cont、Error、Reader、Writer、State)，可以讓你
 更了解它們。再來，不妨嘗試用下述技術實作一個小型expression language的monadic直譯器：
-[Monad Transformers Step by Step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf)
+[Monad Transformers Step by Step](http://catamorph.de/documents/Transformers.pdf)
 
 透過用不同的monad改變語意，從而產生不同的直譯器，help convey what's going on。
 
@@ -525,6 +517,183 @@ PureScript有最好的JS工具鏈整合(用gulp/grunt/bower)，GHCJS和Haste則
 # 想要更充分了解laziness、NF、WHNF
 
 - [Notes on lambda calculus](https://vec.io/posts/notes-on-lambda-calculus).
+
+## 關於lazy lambda calculus的研究論文
+
+- [A call by need lambda calculus](http://homepages.inf.ed.ac.uk/wadler/topics/call-by-need.html#need-journal).
+
+- [Demonstrating Lambda Calculus Reduction](http://www.itu.dk/~sestoft/papers/sestoft-lamreduce.pdf)
+
+- [The lazy lambda calculus](http://www.cs.ox.ac.uk/files/293/lazy.pdf).
+
+- [Lazy evaluation of Haskell](http://www.vex.net/~trebla/haskell/lazy.xhtml)
+
+# 平行／並行(Parallelism/Concurrency)
+
+- [Parallel and Concurrent Programming in Haskell](http://chimera.labs.oreilly.com/books/1230000000929)。在我所讀過的文獻中，Simon Marlow所撰的這本書是此主題的佼佼者。
+
+- [這篇教學](http://kukuruku.co/hub/haskell/haskell-testing-a-multithread-application)帶領你一步步學習如何用Haskell測試、漸進開發多緒應用程式。
+
+- [Functional Reactive Programming](http://www.haskell.org/haskellwiki/Functional_Reactive_Programming)
  
+# Lenses and Prisms
+
+在你習慣Haskell後，我強烈建議你學習Lenses與Prisms。你不必了解底層的原理，只要當一個使用者，就很受用。
+
+大家普遍誤會Lens是個很難用的東西，其實任何一個了解Functor/Foldable/Traversable，甚至只知道Functor的人，都可以運用Lenses與Prisms來讓他們的開發生涯更快樂。
+
+如果你曾經做過：`(fmap . fmap)`，你其實已經有Lense的思維了。
+
+我推薦以下兩篇教學：
+
+- [A little lens starter tutorial](https://www.fpcomplete.com/school/to-infinity-and-beyond/pick-of-the-week/a-little-lens-starter-tutorial)
+
+- [Lens: Lenses, Folds and Traversals](https://github.com/ekmett/lens#lens-lenses-folds-and-traversals)
+
+詳細資料請看這裡：[Lens package on hackage](http://hackage.haskell.org/package/lens).
+
+# 遞迴範式 (Recursion Schemes)
+
+你一定聽過些瘋狂的『\*-morphism』，他們其實只是遞迴。在嘗試搞懂前，你應該要先知道如何實作list至少一種其他資料結構的foldr，例如tree (folds叫做catamorphisms)。再進一步瞭解如何在以上資料結構實作unfold (anamorphism)會讓整體知識完善些。
+
+以下資料與traversable和foldable的概念相合。
+
+- [An introduction to recursion schemes](http://patrickthomson.ghost.io/an-introduction-to-recursion-schemes/)
+
+- [Don't fear the cat](http://fho.f12n.de/posts/2014-05-07-dont-fear-the-cat.html) -
+  Good demonstration of how hylomorphism is the composition of cata and ana.
+
+- [Recursion Schemes](http://comonad.com/reader/2009/recursion-schemes/) - This
+  field guide is excellent.
+
+- [Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire](http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf)
+
+- [Catamorphisms](https://www.fpcomplete.com/user/edwardk/recursion-schemes/catamorphisms)
+
+# GHC核心與效能調校
+
+- [Write Haskell as Fast as C](write_haskell_as_fast_as_c.md)
+
+- [GHC Wiki: CoreSyn Type](https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType).
+
+- [Hackage: GHC Core](https://hackage.haskell.org/package/ghc-core).
+
+- [SO Question: Reading GHC Core](http://stackoverflow.com/questions/6121146/reading-ghc-core).
+
+- [Haskell as fast as C](http://donsbot.wordpress.com/2008/06/04/haskell-as-fast-as-c-working-at-a-high-altitude-for-low-level-performance/).
+
+- [Real World Haskell, Chapter 25: Profiling and Optimizations](http://book.realworldhaskell.org/read/profiling-and-optimization.html).
+
+# 型別(Type)與範疇論(Category Theory)
+
+> 寫Haskell*不用學*，僅供有興趣的人參考！
+
+如果你想開始學習型別與範疇論：
+
+- [Catster's Guide](http://byorgey.wordpress.com/2014/01/14/catsters-guide/) and
+  [Catster's Guide 2](http://byorgey.wordpress.com/catsters-guide-2/)
+
+- [haskell wikibook](http://en.wikibooks.org/wiki/Haskell/Category_theory) 有不錯的圖解。
+
+- Haskellwiki上的[Category Theory](http://www.haskell.org/haskellwiki/Category_theory)也有不錯的參考資料。
+
+- [Categories from scratch](http://science.raphael.poss.name/categories-from-scratch.html)，有實例。
+
+- Pierce的[Great Works in PL](http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml)列表。
+
+## 書籍
+
+- Kmett推薦：[Quora Question: What is the best textbook for category theory?](http://www.quora.com/Category-Theory/What-is-the-best-textbook-for-Category-theory?share=1)
+
+- [Awodey](http://ukcatalogue.oup.com/product/9780199237180.do)和
+  [MacLane](http://www.amazon.com/Categories-Working-Mathematician-Graduate-Mathematics/dp/0387984038)。範疇學的標準教科書。
+
+- [Harper's Practical Foundations for Programming Languages](http://www.cs.cmu.edu/~rwh/plbook/book.pdf)是我讀過以程式語言角度切入的最佳介紹。
+
+- [Type theory and Functional Programming](http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/).
+
+## Stephen俏皮的"How to get to monad"文章
+
+- [Adjunctions](http://www.stephendiehl.com/posts/adjunctions.html).
+
+- [Monads](http://www.stephendiehl.com/posts/monads.html).
+
+# 其他有趣的主題
+
+## Parametricity, ad-hoc vs. parametric polymorphism, free theorems
+
+- [Parametricity](tony_parametricity.pdf).
+
+- [TeX sources](https://github.com/tonymorris/parametricity/)上述演講的TeX源。
+
+- [Making ad-hoc polymorphism less ad-hoc](http://swizec.com/blog/week-20-making-ad-hoc-polymorphism-less-ad-hoc/swizec/6564).
+
+- [Theorems for Free!](http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf).
+
+## Initial與Final、DSLs、與Tagless
+
+- [Final Encodings, Part 1: A Quick Demonstration](http://creativelad.wordpress.com/2013/11/28/final-encodings-part-1-a-quick-demonstration/).
+
+- [Transforming Polymorphic Values](http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/).
+
+- [GADTs in Haskell 98](http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/).
+
+- [Typed Tagless-Final Linear Lambda Calculus](https://www.fpcomplete.com/user/mutjida/typed-tagless-final-linear-lambda-calculus).
+
+- [Typed tagless-final interpretations: Lecture notes](http://okmij.org/ftp/tagless-final/course/course.html).
+
+- [Typed Tagless Final Interpreters](http://okmij.org/ftp/tagless-final/course/lecture.pdf).
+
+- [The dog that didn't bark](http://existentialtype.wordpress.com/2011/03/21/the-dog-that-didnt-bark/)較無相關，但非常有趣。
+
+## Comonads
+
+- [Comonads in Haskell](https://speakerdeck.com/dmoverton/comonads-in-haskell).
+
+- [SO question: Can a Monad be a Comonad](http://stackoverflow.com/questions/16551734/can-a-monad-be-a-comonad).
+
+## Yoneda / CoYoneda
+
+- [SO question: Step-by-step explanation of coyoneda](http://stackoverflow.com/questions/24000465/step-by-step-deep-explain-the-power-of-coyoneda-preferably-in-scala-throu).
+
+- Free monads for Less, Edward Kmett的系列文章
+  * [Part 1: Codensity](http://comonad.com/reader/2011/free-monads-for-less/).
+  * [Part 2: Yoneda](http://comonad.com/reader/2011/free-monads-for-less-2/).
+  * [Part 3: Yielding IO](http://comonad.com/reader/2011/free-monads-for-less-3/).
+
+## Propositions vs. Judgments (computation)
+
+- [StackExchange question: What is the difference between propositions and judgements](http://cstheory.stackexchange.com/questions/9826/what-is-the-difference-between-propositions-and-judgments).
+
+- [Lecture notes from a short, three lecture course](http://www.ae-info.org/attach/User/Martin-L%C3%B6f_Per/OtherInformation/article.pdf)
+
+# Dependent typing
+
+- [Grokking sum types, value constructors, and type constructors](http://bitemyapp.com/posts/2014-04-05-grokking-sums-and-constructors.html) squint hard.
+
+- [Lightweight Dependent-type Programming](http://okmij.org/ftp/Computation/lightweight-dependent-typing.html).
+
+- [Idris programming language](http://www.idris-lang.org/).
+
+# 靜態連結二元檔Statically linking binaries
+
+- [Static linking](https://wiki.haskell.org/Web/Literature/Static_linking)
+
+- [Static linking with GHC on Arch Linux](http://www.edofic.com/posts/2014-05-03-ghc-arch-static.html)
+
+- [Statically linking Linux binaries for ARM & MIPS](http://stackoverflow.com/questions/14270177/ghc-statically-linking-linux-binaries-for-arm-mips-processors)
+
+- [Statically link GMP using GHC and LLVM](http://stackoverflow.com/questions/10539857/statically-link-gmp-to-an-haskell-application-using-ghc-llvm)
+
+# 補充資料
+
+> 有部分已在本文提及
+
+- [Essential Haskell Reading List](http://www.stephendiehl.com/posts/essential_haskell.html)
+
+## 對話記錄
+
+> 在[本儲存庫中](dialogues.md)。
 
+裡面有些非常重要而有幫助的資訊，可協助你深入了解許多不同的議題。
 

From dcb5b5795e265a57b6bbc0d1d2111f7ccbb14541 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Fri, 17 Apr 2015 18:01:07 +0800
Subject: [PATCH 12/14] add link to zh_tw version of the guide

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index ae3eb97..cb1e760 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,8 @@ This is my recommended path for learning Haskell.
 
 * [Em Português](guide-pt.md)
 
+* [繁體中文](guide-zh_tw.md)
+
 
 #### Something to keep in mind: *don't sweat the stuff you don't understand immediately*. Just keep moving.
 

From bddc98b78a183bb24ecaeb52f32265884c89afa2 Mon Sep 17 00:00:00 2001
From: James Tien <southp0105@gmail.com>
Date: Fri, 17 Apr 2015 18:45:17 +0800
Subject: [PATCH 13/14] Rephrase several sentences

---
 guide-zh_tw.md | 127 ++++++++++++++++++++++++-------------------------
 1 file changed, 61 insertions(+), 66 deletions(-)

diff --git a/guide-zh_tw.md b/guide-zh_tw.md
index 0464a79..3341ccb 100644
--- a/guide-zh_tw.md
+++ b/guide-zh_tw.md
@@ -2,57 +2,54 @@
 
 這是我推薦的學習Haskell之路。
 
-#### 請切記：*別在你現在不懂的地方打轉，繼續讀下去就對了！*
+#### 請切記：*別在不懂的地方打轉，先繼續讀下去！*
 
 ## 社群
 
-我們的IRC頻道是Freenode上的 `#haskell-beginners`。
+IRC頻道是Freenode上的`#haskell-beginners`。
 
 IRC web版用戶端可[在這裡取得](http://webchat.freenode.net/)。
 
 Haskell[郵件群組](https://wiki.haskell.org/Mailing_lists)。
 
-### 社群參與須知
+### 社群參與原則
 
 請參考Chris Done所撰：[Teaching](http://chrisdone.com/posts/teaching)。
 
 請友善待人，尖酸苛薄只會把人嚇跑、令人不願再參與而已。
 
-低劣的批評只讓你自己覺得痛快，對聽者沒有任何幫助。
+低劣的批評只讓你自己痛快，對聽者毫無幫助。
 
-不要說『這很簡單』、『這無關緊要』。你會讓人覺得花這麼多功夫才得到進展是因為自己不如人，學得慢的人通常是學得最全面的人，這是值得讚美的！
+別說『這很簡單』、『這沒什麼』。這會讓人覺得要花這麼多功夫來弄懂是因為自不如人，學得慢的人通常是學得最全面的人，這值得稱讚！
 
-不要假做驚訝。當別人說他不知道的時候，不要表現得你很驚訝他居然不知道的樣子。他會很難過，而你除了表現得自己好像很行，你什麼也沒得到。
+當別人承認他不知道的時候，不要故作驚訝。這會讓他難過，而你除了表現得好像很行，什麼也沒得到。
 
-不要說『其實...這樣才對...』(well, actually...)。當有人說了什麼『幾乎正確』的話，而你說『其實...這樣才對』來做些微修正，這很惱人，尤其當這個修正根本跟整個對話沒什麼關係。我並不是在說黑客們不在乎真實或精確，只是像這樣的發言通常都是作秀成分居多，而非追尋真實。
+不要說『其實...這樣才對...』(well, actually...)。當有人說了什麼『幾乎正確』的話，而你說些『其實...這樣才對』來做些枝微末節的修正，這很惱人，尤其這常常跟整個討論根本八竿子打不著。我並不是在說人們不在乎精確，只是像這樣的發言通常是作秀成分居多，而非為了追尋真實。
 
 ---
 
-來自[the Recurse Center manual](https://www.recurse.com/manual)。感謝他們願意公開分享！
+以上部分內容來自[the Recurse Center手冊](https://www.recurse.com/manual)。感謝他們願意公開分享！
 
 # 什麼是Haskell、GHC和Cabal？
 
-Haskell是個依據下列報告定義的程式語言，此報告最新版本為2010版：
+Haskell的規格可在下面這篇報告找到，此報告最新版本為2010版：
 [onlinereport](http://www.haskell.org/onlinereport/haskell2010/)
 
 ## GHC
-[GHC](http://www.haskell.org/ghc/)是使用Haskell語言最主流的方式。
-它包含編譯器、直譯器、套件管理，與其他輔助工具。
+[GHC](http://www.haskell.org/ghc/)是Haskell語言的主流工具選擇。它包含編譯器、直譯器、套件管理，與其他輔助工具。
 
 ## Cabal
-[Cabal](https://www.haskell.org/cabal/download.html)可協助你做專案管理與相依性解析。
-這會是你用來安裝專案的主要方式，而標準的做法會是安裝至其自身的沙箱中。
+[Cabal](https://www.haskell.org/cabal/download.html)可用來做專案管理與套件相依性解析。
+這會是你用來安裝專案、套件的主要工具，其常見的做法是安裝到專屬的沙箱(cabal sandbox)中。
 
-Cabal相當於Ruby Bundler、Python pip、Node NPM、Maven等等。GHC包裝套件，Cabal則選擇
-該安裝哪些版本。
+Cabal相當於Ruby Bundler、Python pip、Node NPM、Maven等等。你可以用GHC來打包套件，Cabal則可用來選擇你想要的版本安裝。
 
 # 環境設定
 
 ## Ubuntu
-[這個PPA](http://launchpad.net/~hvr/+archive/ghc)很棒，我在我所有的Linux環境與建置機上都用這個。
-(build machine =?)
+[這個PPA](http://launchpad.net/~hvr/+archive/ghc)很棒，我在我所有的Linux環境與建置用機器上都靠它。
 
-詳細步驟如下：
+詳細設定步驟如下：
 
 ```bash
 $ sudo apt-get update
@@ -69,37 +66,37 @@ $ sudo apt-get install cabal-install-1.20 ghc-7.8.4 happy-1.19.4 alex-3.1.3
 ~/.cabal/bin:/opt/cabal/1.20/bin:/opt/ghc/7.8.4/bin:/opt/happy/1.19.4/bin:/opt/alex/3.1.3/bin
 ```
 
-*註:* 你也可以把`.cabal-sandbox/bin`加到你的路徑中。如此一來，只要你使用cabal sandbox開發，並且
-留在相對的工作路徑中，你就可以在命令列中輕易取用你正在開發的執行檔。
+*註:* 你不妨把`.cabal-sandbox/bin`加到你的路徑中。如此一來，只要你使用沙箱(cabal sandbox)開發，並且
+留在專案的工作路徑中，你就可以在命令列中輕易取用你正在開發的二進位檔。
 
 ## Debian
 
 ### 使用Ubuntu PPA
 
-如果你沒有使用當前穩定版本，你可以用和Ubuntu一樣的流程，但會需要在下面這個命令後：
+如果不打算使用官方提供的穩定版本，你可以用上面提過和Ubuntu一樣的流程，但會需要在下面這個命令後：
 
-`sudo add-apt-repository -y ppa:hvr/ghc` 另外執行：
+`sudo add-apt-repository -y ppa:hvr/ghc` 加上：
 
 ```bash
 $ sudo sed -i s/jessie/trusty/g /etc/apt/sources.list.d/hvr-ghc-jessie.list
 ```
 
-對於其他的Debian版本，只要把以上所有`jessie`都換成你的版本名即可。
+其他的Debian版本，只需將`jessie`都換成你的版本名即可。
 
-如果基於某種理由，`/etc/apt/sources.list.d/hvr-ghc-jessie.list`不存在，那麼`/etc/apt/sources.list`應該要有一行：
+如果`/etc/apt/sources.list.d/hvr-ghc-jessie.list`不存在，那麼`/etc/apt/sources.list`應該會有：
 
     deb http://ppa.launchpad.net/hvr/ghc/ubuntu jessie main
 
-把`jessie`換成`trusty`即可。
+把上列`jessie`換成`trusty`即可。
 
 ### 自行編譯
 
-請參照這篇為Mac OSX所撰寫的指南：
+請參照這篇為Mac OSX所撰的指南：
 
-注意：
+請注意：
 
-- 根據你的狀況，在設定ghc時指定前綴(prefix)
-- 不要直接下載`cabal-install`的二元檔，下載源碼並執行其`bootstrap.sh`腳本。
+- 根據你個人的工作環境，設定ghc時指定目錄前綴(prefix)
+- 不要直接下載`cabal-install`的二進位檔，請下載源碼並執行其`bootstrap.sh`腳本。
 
 ## Fedora 21
 
@@ -124,36 +121,36 @@ $ sudo pacman -S cabal-install ghc happy alex haddock
 
 ## Gentoo
 
-你可以透過Portage安裝Haskell Platform的子組件。如果你使用`ACCEPT_KEYWORDS=arch`，而非`ACCEPT_KETWORDS=~arch`，
-Portage會弄個骨灰級的Haskell給你。因此，舉凡你用了`ACCEPT_KEYWORDS=arch`，就把下面這幾行加進去：
+你可以透過Portage來分別安裝Haskell Platform的各個組件。如果你使用`ACCEPT_KEYWORDS=arch`，而非`ACCEPT_KETWORDS=~arch`，
+Portage會弄個老舊的Haskell給你。因此，舉凡用了`ACCEPT_KEYWORDS=arch`，請把下面這幾行加進去：
 
     dev-haskell/cabal-install
     dev-lang/ghc
 
-完成後，
+接著請執行：
 
 ```bash
 $ emerge -jav dev-lang/ghc dev-haskell/cabal-install
 ```
 
-Gentoo會留一個『穩定』(換言之，老舊）的`cabal-install`在Portage的套件樹中，因此你可以用這個`cabal-install`來安裝
-更新的版本。請注意，以下反斜線是必須的：
+Gentoo會留一個『穩定』(換言之：老舊）的`cabal-install`在Portage的套件樹中，你可以利用這個`cabal-install`來安裝
+新版的`cabal-install`。請注意，以下反斜線是必須的：
 
 ```bash
 $ \cabal update                # The backslashes
 $ \cabal install cabal-install # are intentional
 ```
 
-現在你透過Protage在global scale中安裝了cabal，以及在你的家目錄中安裝了最新的`cabal-install`。
-下一步是確定每次你在終端機執行`cabal`時，你的shell都是執行你家目錄中的最新版本：
+如此一來，你便透過Protage在系統中安裝了cabal，又在你的個人環境中安裝了最新的`cabal-install`。
+下一步是確定每次你在終端機執行`cabal`時，你的shell都是執行你個人環境中的最新版本：
 
 ```bash
 PATH=$PATH:$HOME/.cabal/bin
 alias cabal="$HOME/.cabal/bin/cabal"
 ```
 
-如果你不知道你的shell是哪一個，那你很可能用的是Bash。如果你用的是Bash，你需要編輯的檔案為`~/.bashrc`。
-如果你用的是Z-shell，那你需要編輯的是`~/.zshrc`，你可以透過下面這個命令來確定：
+不知道你的shell是哪一個？那你很可能用的是Bash。如果你用的是Bash，你需要編輯`~/.bashrc`。
+如果是Z-shell，則是`~/.zshrc`，可用以下面命令來查詢：
 
 ```bash
 echo $SHELL | xargs basename
@@ -161,61 +158,60 @@ echo $SHELL | xargs basename
 
 例如我用的是zsh，所以上列命令會輸出`zsh`。
 
-當以上都完成，你會想要再另外安裝兩個工具：`alex`和`happy`：
+當以上都完成，請再另外安裝兩個工具：`alex`和`happy`：
 
 ```bash
 $ cabal install alex happy
 ```
 
-恭喜！你現在有了一個可用的Haskell！
+恭喜！你有了一個正常運作的Haskell！
 
 ## Mac OS X
 
 ### 10.9
 
 請安裝[GHC for Mac OS X](http://ghcformacosx.github.io/)，它包含了GHC與Cabal。安裝完成後，
-它還會指示你如何將GHC與Cabal加入你的系統路徑。
+它會指示你如何將GHC與Cabal加入你的系統路徑。
 
 ### 10.6-10.8
 
-下載這個[tarball](https://www.haskell.org/platform/download/2014.2.0.0/ghc-7.8.3-x86_64-apple-darwin-r3.tar.bz2)，
-並安裝其binary distribution。
+請下載這個[tarball](https://www.haskell.org/platform/download/2014.2.0.0/ghc-7.8.3-x86_64-apple-darwin-r3.tar.bz2)，
+並安裝其包含的二進位版。
 
 ## Windows
 
 - [windows minimal GHC installer](http://neilmitchell.blogspot.com/2014/12/beta-testing-windows-minimal-ghc.html)
-  可以編譯`network`等套件，嚴格說來它還在beta，但應該足夠任何在讀這篇導覽的人使用。
+  它可以用來編譯`network`等套件，雖然嚴格說它還在beta，但應該足夠讓任何讀這篇導覽的人使用。
 
-別忘了，要用administrator的身份來執行安裝檔，因為它需要安裝到Program Files目錄的權限。
+別忘了，要用系統管理者的身份來安裝，因為它需要新增到Program Files的權限。
 
 ## 其他Linux使用者
 
-下載cabal與ghc的最新版本binary distribution
+下載cabal與ghc的最新版二進位檔。
 
 - [GHC](http://www.haskell.org/ghc/).
 
 - [Cabal](https://www.haskell.org/cabal/download.html).
 
-# 主要課程
+# 主要學習課程
 
 ## Yorgey's cis194課程
 
-> *先做這個*，這是我推薦入門Haskell的主要方式。
+> *請先透過這門課學習*，這是我最推薦入門Haskell的課。
 
 此課程的教材可於[線上取得](http://www.seas.upenn.edu/~cis194/spring13/lectures.html)。
 
-[Brent Yorgey](https://byorgey.wordpress.com)的課是我目前所知最好的。它之所以好，是因為
+[Brent Yorgey](https://byorgey.wordpress.com)的課是我目前所知最好的。它之所以好，因為
 它不只教你些基礎知識，還教你parser combinators。
 
-如果你不是個程式設計師，或是比較沒經驗，這門課可能就沒這麼適合你。建議你從
-[Thompson的這本書](http://www.haskellcraft.com/craft3e/Home.html)開始，然後再
-轉到cis194。
+如果你不是個程式設計師，或缺乏經驗，那麼這門課可能沒這麼適合。建議你從
+[Thompson的這本書](http://www.haskellcraft.com/craft3e/Home.html)開始，然後再轉到cis194。
 
 ---
 
 ## NICTA課程
 
-> 在你完成Yorgey的cis194後，我推薦這個課程
+> 在你完成上述Yorgey的cis194後，我推薦繼續挑戰此課程。
 
 這門課發佈在[github上](https://github.com/NICTA/course)。
 
@@ -232,7 +228,7 @@ $ cabal install alex happy
 [線上教材](http://www.scs.stanford.edu/14sp-cs240h/)
 
 這是[Bryan O'Sullivan](https://github.com/bos)在Stanford所教課程的線上版。
-如果你不知道他是誰，去看看Haskell的函式庫吧！幾乎一半以上常用的都有他的名字。
+如果你不知道他是誰，去翻翻Haskell的函式庫吧！幾乎一半以上常用的套件都有他的名字。
 特別是phantom types、information flow control、language extensions、concurrency、pipes和lenses。
 
 ---
@@ -248,9 +244,9 @@ $ cabal install alex happy
 ### 學習常用的typeclasses
 
 對瞭解`Functor`、`Applicative`、`Monad`、`Monoid｀和其他typeclasses很有幫助，而且還有
-些針對Haskell的category theory：
+些針對Haskell的範疇論(category theory)的解釋：
 
-- The [Typeclassopedia](http://www.haskell.org/haskellwiki/Typeclassopedia)
+- [Typeclassopedia](http://www.haskell.org/haskellwiki/Typeclassopedia)
 
 ### 了解基本的Haskell錯誤訊息
 
@@ -261,7 +257,7 @@ $ cabal install alex happy
 # Laziness, strictness, guarded recursion
 
 - [Marlow關於平行與同步的書](http://chimera.labs.oreilly.com/books/1230000000929/ch02.html)中，關於laziness與normal form的介紹
-  是我所看過最好的。Use other material too if it doesn't stick immediately.
+  是我所看過最好的。如果沒有立即理解，不妨搭配以下補充材料。
 
 - [More points for lazy evaluation](http://augustss.blogspot.hu/2011/05/more-points-for-lazy-evaluation-in.html)
 
@@ -269,7 +265,7 @@ $ cabal install alex happy
 
 - SO上的討論串'[Does haskell have laziness?](http://stackoverflow.com/questions/13042353/does-haskell-have-tail-recursive-optimization)'
 
-- [Johan Tibell](https://github.com/tibbe)'在[reasoning about laziness](http://www.slideshare.net/tibbe/reasoning-about-laziness)這個talk的投影片
+- [Johan Tibell](https://github.com/tibbe)'在[reasoning about laziness](http://www.slideshare.net/tibbe/reasoning-about-laziness)這個演講的投影片
 
 ## 演示
 
@@ -299,7 +295,7 @@ let a = 1 * a -- not guarded, (*) is strict
 
 `glaebhoerl`在Reddit討論串的留言：
 
-> Interesting side note: GHC需要將state token representation隱藏在抽象的IO型別後面，
+> 有趣的補充筆記: GHC需要將state token representation隱藏在抽象的IO型別後面，
 > 因為state token必須線性地使用，不能複製或丟棄，但型別系統無法強制這件事。
 > 某個乾淨、lazy、類似Haskell的語言的型別有uniqueness特性(類似linear type，但可能有些
 > 我沒意識到的細微差別)，為了方便，它直接暴露World-passing並提供非抽象的IO monad。
@@ -310,7 +306,7 @@ let a = 1 * a -- not guarded, (*) is strict
 
 嘗試自行實作標準函式庫中的monads(List、Maybe、Cont、Error、Reader、Writer、State)，可以讓你
 更了解它們。再來，不妨嘗試用下述技術實作一個小型expression language的monadic直譯器：
-[Monad Transformers Step by Step](http://catamorph.de/documents/Transformers.pdf)
+[Monad Transformers Step by Step](http://catamorph.de/documents/Transformers.pdf)(在下列monad transformer章節亦有提及)
 
 透過用不同的monad改變語意，從而產生不同的直譯器，help convey what's going on。
 
@@ -331,11 +327,11 @@ Credits:
 
 - [A gentle introduction to Monad Transformers](https://github.com/kqr/gists/blob/master/articles/gentle-introduction-monad-transformers.md)。
 
-- [Monad transformers step-by-step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf) (警告：程式碼已過期)。
+- [Monad Transformers Step by Step](http://catamorph.de/documents/Transformers.pdf)
 
 # Testing, tests, specs, generative/property testing
 
-- Kazu Yamamoto的[這篇教學](https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md)  堪稱典範！
+- Kazu Yamamoto的[這篇教學](https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md)堪稱典範！
 
 - [Simple-Conduit](https://github.com/jwiegley/simple-conduit)：這個簡單的函式庫對於學習IO串流如何工作很有幫助，
   所學亦可應用在其他函式庫，例如Pipes和Conduit。 
@@ -414,7 +410,6 @@ Aeson是Haskell標準的[JSON](https://json.org)parsing解決方案。你可以
 不但對各種主題都有很好的導覽，也包含了Cabal的一些重要基礎。
 - [What I wish I knew when learning Haskell](http://dev.stephendiehl.com/hask/)
 
-
 ## Cabal導覽
 在引入沙箱(sandbox)前，Cabal地獄(Cabal Hell)對所有Haskell使用者來說都是一大問題。
 在沙箱外安裝的套件會直接裝在你的用戶套件資料庫(user pacakge-db)中。除非是常用的基礎套件，
@@ -427,7 +422,7 @@ Aeson是Haskell標準的[JSON](https://json.org)parsing解決方案。你可以
 
 簡言之：
 
-- 無論是安裝新套件、建置新舊專案、做任何實驗，用沙箱。
+- 無論是安裝新套件、建置新舊專案、做任何實驗，請用沙箱。
 - 用`cabal repl`來啟動project-scoped ghci實體。
 
 我所建議這種以沙箱為基礎的方式，應該可以避免套件相依性的問題。但這與Haskell Platform提供
@@ -436,7 +431,7 @@ Aeson是Haskell標準的[JSON](https://json.org)parsing解決方案。你可以
 
 ## Stackage
 
-如果你面臨一些建置上的問題(特別是Yesod)，不妨考慮用Stackage
+如果你面臨一些建置上的問題(特別是Yesod)，不妨考慮用Stackage：
 
 - [Stackage是什麼](https://www.fpcomplete.com/blog/2014/05/stackage-server)
 
@@ -508,7 +503,7 @@ cabal haddock --hoogle --hyperlink-source                       \
 
 GHCJS和Haste都是純Haskell，GHCJS比Haste能和更多的Haskell套件相容，但這不會影響大多數的前端專案。PureScript並非Haskell，因此無法直接和你的後端分享源碼。
 
-GHCJS的執行期payload是最大的，大約100kb (luite正在研究如何解決)，Haste和PureScript差不多。
+GHCJS的執行期payload是最大的，大約100kb (luite正在研究如何解決此問題)，Haste則和PureScript差不多。
 
 PureScript有最好的JS工具鏈整合(用gulp/grunt/bower)，GHCJS和Haste則與Haskell工具鏈整合較佳(例如Cabal)。
 

From 9ac75154f3353596880406d5812b331190a4b350 Mon Sep 17 00:00:00 2001
From: Chris Allen <cma@bitemyapp.com>
Date: Mon, 18 May 2015 13:50:41 -0500
Subject: [PATCH 14/14] Greek not ready yet

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index ca96d43..ee91c33 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@ This is a recommended path for learning Haskell based on experience helping othe
 
 * [Auf Deutsch](guide-de.md)
 
-* [Στην ελληνική](guide-el.md)
+<!-- * [Στην ελληνική](guide-el.md) -->
 
 * [En Español](guide-es.md)