diff --git a/README.md b/README.md index ae5f7bd..9815bc0 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) + * [En Español](guide-es.md) @@ -17,6 +17,8 @@ This is a recommended path for learning Haskell based on experience helping othe * [Em Português](guide-pt.md) +* [繁體中文](guide-zh_tw.md) + #### *Don't sweat the stuff you don't understand immediately*. Keep moving! diff --git a/guide-zh_tw.md b/guide-zh_tw.md new file mode 100644 index 0000000..3341ccb --- /dev/null +++ b/guide-zh_tw.md @@ -0,0 +1,694 @@ +# 前言 + +這是我推薦的學習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)。 + +請友善待人,尖酸苛薄只會把人嚇跑、令人不願再參與而已。 + +低劣的批評只讓你自己痛快,對聽者毫無幫助。 + +別說『這很簡單』、『這沒什麼』。這會讓人覺得要花這麼多功夫來弄懂是因為自不如人,學得慢的人通常是學得最全面的人,這值得稱讚! + +當別人承認他不知道的時候,不要故作驚訝。這會讓他難過,而你除了表現得好像很行,什麼也沒得到。 + +不要說『其實...這樣才對...』(well, actually...)。當有人說了什麼『幾乎正確』的話,而你說些『其實...這樣才對』來做些枝微末節的修正,這很惱人,尤其這常常跟整個討論根本八竿子打不著。我並不是在說人們不在乎精確,只是像這樣的發言通常是作秀成分居多,而非為了追尋真實。 + +--- + +以上部分內容來自[the Recurse Center手冊](https://www.recurse.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 sandbox)中。 + +Cabal相當於Ruby Bundler、Python pip、Node NPM、Maven等等。你可以用GHC來打包套件,Cabal則可用來選擇你想要的版本安裝。 + +# 環境設定 + +## Ubuntu +[這個PPA](http://launchpad.net/~hvr/+archive/ghc)很棒,我在我所有的Linux環境與建置用機器上都靠它。 + +詳細設定步驟如下: + +```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`來安裝 +新版的`cabal-install`。請注意,以下反斜線是必須的: + +```bash +$ \cabal update # The backslashes +$ \cabal install cabal-install # are intentional +``` + +如此一來,你便透過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`,可用以下面命令來查詢: + +```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), +並安裝其包含的二進位版。 + +## Windows + +- [windows minimal GHC installer](http://neilmitchell.blogspot.com/2014/12/beta-testing-windows-minimal-ghc.html) + 它可以用來編譯`network`等套件,雖然嚴格說它還在beta,但應該足夠讓任何讀這篇導覽的人使用。 + +別忘了,要用系統管理者的身份來安裝,因為它需要新增到Program Files的權限。 + +## 其他Linux使用者 + +下載cabal與ghc的最新版二進位檔。 + +- [GHC](http://www.haskell.org/ghc/). + +- [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的方式。 + +--- + +## 補充課程 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。 + +--- + +### `<-` / `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)的解釋: + +- [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) + +--- + +# Laziness, strictness, guarded recursion + +- [Marlow關於平行與同步的書](http://chimera.labs.oreilly.com/books/1230000000929/ch02.html)中,關於laziness與normal form的介紹 + 是我所看過最好的。如果沒有立即理解,不妨搭配以下補充材料。 + +- [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)這個演講的投影片 + +## 演示 + +```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: <> +``` + +# 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) + 請讀unsafeDupablePerformIO的文件和實作筆記。 + +`glaebhoerl`在Reddit討論串的留言: + +> 有趣的補充筆記: 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://catamorph.de/documents/Transformers.pdf)(在下列monad transformer章節亦有提及) + +透過用不同的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://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)堪稱典範! + +- [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/)可依型別搜尋。 + +比方說,請看以下搜尋`(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). + +## 關於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)。 + +裡面有些非常重要而有幫助的資訊,可協助你深入了解許多不同的議題。 +