---
hackpadID: sGic3s4ncNn
hackpadWorkspace: funth
tags: hackpad-import, funth
---
# Functional Thursday -- Topics

* 主頁：[Functional Thursday About Us](/Hf9mWf25eaG)
* 其他：[HackMD 功能介紹](/E1UakUq8)

## 想法 / 使用說明

我覺得大家都覺得大家都不喜歡聽老梗, 所以講者害怕講老梗..
這在 Functional Language 領域是一件有點尷尬的事, 因為可能在別的語言裡面當紅正流行的 feature,
像是 coroutine, type inference, lambda, closure.. 之類之類的,
對我們來說有些是 1970 年以前的 paper, 老到不能再老.....ww
(好啦, 剛查了一下, lambda calculus 是 1930s, category theory 是 1942.. :p)

> 其實是大家喜歡復古風（誤）
> [name=favonia]
> 那些 paper 有些翻出來還是德文寫的 ... （默默塞回去
> [name=banacorn]

我想也許有人有個什麼樣的新體悟, 卻擔心是個超級老梗而不敢分享出來,
所以就找 suhorng 弄了這個 hackpad 討論板出來,
讓大家把自己會想聽的主題(想聽,不必是想講:p)貼上去, 也去多多附議一下別人貼的而自己也想聽的主題,
只要某個主題想聽的人稍多一點, 梗再老也沒關係(?)
那講者就可以放心講了 ^^

偶爾有些大大旅行路過台灣, 我們也可以拿些人氣比較高的主題去邀 talk.. :p

列在這裡的 topic 給不知道要分享什麼,以及擔心老梗的講者參考,
但不是限制只能分享有列在這邊的 topic 歐~
畢竟自己如果有什麼沒人聽過的新新發現, 一定會被這個 pad 漏掉的..

## 想聽／釣魚區

> 想聽什麼主題就可以加上去XD 要講要報名的話可以寫上去 *及* 寄信給我們~
> 也有點像讀書會 ... 呃？
> [name=suhorng]
> 下一次在何時？我想請我們研究室來研究兩個月的米國人 Zack 講 Scala。他問我日期
> [name=snowmantw]
> 2014.8.7 (四) Funth 16 喔
> [name=CindyLinz]
> 剛剛問了 Zack 他說 OK，他會給一個正在作的 DSL in Scala 的 talk
> [name=snowmantw]
> 哈囉想請問 Zack 的透可題目名稱還有時間長短
> [name=banacorn]
> 剛剛寄信問了。如果他沒看見信，我會請其他人告知我在問他，可能這兩天會回
> 收到信更新在上面了
> [name=snowmantw]
> 感謝~
> [name=banacorn]
> 其實這些 topic 剛好都可以拿來做個人研究主題...這樣我們也許會有研究會的感覺
> [name=snowmantw]
> 感覺不錯 XD
> [name=CindyLinz]
> 有沒有現場轉播或是錄影？想聽～
> [name=李岡諭]

### GHC Rocks!

* Lazy evaluation詳細說明
* Functional Dependency 介紹
* TypeFamilies
* PolyKind 火力展示
* DataKinds & GADTs：使用偽 dependent type
> 我正需要_(:3 | <)_
> [name=geoffrasb]
* BangPatterns
* ScopedTypeVariables
* LambdaCases
* OverloadedStrings
* MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, OverlappingInstances, UndecidableInstances
* PatternGuards, ViewPatterns
* UNPACK, INLINE, RewriteRules (衝效能用)
* GHC Internals
* ~~LLVM~~

### Functional Language 應用

* Darcs  (一個 patch based repository system) Implementation 介紹 (附 patch theory)
* 應付學校作業 XD
* Parallel and Concurrency programming in Haskell
> 想聽~XD
> [name=yen3]
> 想聽加一
> [name=ben hung]
> ＋1
> [name=hychen]

### Tutorials

* Iteratee -- Pipes
* Scala Tutorial
> 覆議XD 想聽~！
> [name=suhorng]
> Coursera有Scala課程，如果要講希望能講些Coursera沒教到的部分XD
> [name=Eric Pony]
* Snap Tutorial
* Yesod -- Full stack web framework :D
> +1
> [name=CindyLinz]
> +100
> [name=c9s]
> +1
> [name=Shuk Liu]
> +1
> [name=hychen]
> +1
> [name=李岡諭]
* Control.Lens (EdwardK的 lens)
> +1
> [name=hychen]
* Monad/MonadTransformer/MonadPeel
> +1
> [name=CindyLinz]
> +1
> [name=yen3]
> +1
> [name=hychen]
* Introduction to Idris --一個實用導向(?)的 dependent type語言
> +1
> [name=CindyLinz]
> +1
> [name=geoffrasb]
> +1
> [name=Eric Pony]
> +1
> [name=banacorn]
* 實作 Damas-Hindley-Milner Type System
> +1
> [name=CindyLinz]
> +1
> [name=banacorn]
* 新語言 Swift
* Agda, Coq 大混戰
> 嗚嗚想聽這個！我要錄影啦！！！
> [name=evast]
> 這應該要分開吧！
> [name=favonia]
> 分開是分別介紹 Agda 跟 Coq 嗎XD
> [name=suhorng]
> 感覺介紹一個就很吃力了啊……當然有人想講兩個也好啦 xDDD
> [name=favonia]
> +1
> [name=hychen]
* Data type a la Carte
> (這是什麼東東?)
> [name=CindyLinz]
> 我也不懂，要問suhorng和banacorn！
> [name=geoffrasb]
> type-level list + Functor (的 sum) 的應用... （Idris 表示：）
> [name=suhorng]
* ATS 語言介紹 (根據 wiki: 是一個實用導向的 dependent type 語言,效能 comparable to C/C++. 聽 hashcat說還蠻成熟的,正應用在 MCU 晶片開發)
> +1
> [name=CindyLinz]
> +1
> [name=Eric Pony]
> +1
> [name=banacorn]
> +1
> [name=petercommand]
> +1
> [name=c9s]
* ghcjs -- haskell to javascript compiler based on ghc
> +1
> [name=CindyLinz]
> +1
> [name=c9s]
* Parsec, a fast combinator parser
> +1
> [name=c9s]
* Attoparsec, a faster combinator parser XD
> 有辦法把這兩個合併嗎？
> [name=suhorng]
> 都可吧, 一個 talk 想內含 20 個子 topic 也行啊 XD
> [name=CindyLinz]
> OK啊 我只是想聽個 parser XD 我有稍微用過Parsec，但沒碰過Attoparsec
> [name=Po-Hsiang Hao]
* Forth 介紹

### 雞排要切不要辣

* Functional Programming the Node.js Way
> 這三小 XD
> [name=banacorn]
* OOP must die
> +1
> [name=CindyLinz]
> +1
> [name=Chen Liang-Ting]
> +1
> [name=banacorn]
> +1000
> [name=favonia]
> +1  want to know the reason XD
> [name=c9s]
> +1
> [name=Carl Su]
> +1 Me too, the reason (Fun to think about anyway)
> [name=Shih Hwa Lai]
> +1
> [name=yen3]
> +1
> [name=李岡諭]
> Why⋯⋯QQ
> [name=李榮維]
* GOF design patterns are bad
> ......and long live the Functor, Applicative, Monad, Foldable, Traversable design pattern XD?
> [name=suhorng]
> 好歐~~ XD
> [name=CindyLinz]
> +1
> [name=Chen Liang-Tin]
> +1
> [name=banacorn]
> +1
> [name=林煒清]
> +1
> [name=Carl Su]
> +1 But can we discuss why?
> [name=Shih Hwa Lai] 
> +1
> [name=李岡諭]
* CPS vs SSA vs ANF (Funth #21)
> 超級 ++！！一直還沒騰出時間去仔細研究 T_T
> [name=suhorng]
> 咦,放在這個分類是說這也是戰文類嗎?
> [name=CindyLinz]
> 在下次 1/15 簡介一下好了
> [name=suhorng]
> +1
> [name=c9s]
* Functional Design in Other Laugnage
* Python
* Map() (Same as Functor or Traversable?)
* Reduce() (Same as Foldable?)
* Generator and Iterator (Lazy?)
* Java
* Stream
* Optional
> 想聽Java.   （by oo 很久的人）
> [name=李榮維]

### 理論

* Homotopy type theory
> +1
> [name=Hsu Heng-Yu]

### 未歸類

* Functional and Concurrency (Should be piece of cake right?)
* 不同語言 model 裡不一樣的 polymorphism 介紹或比較
> 有想過這個問題ＸＤ
> [name=geoffrasb]
> +1
> [name=petercommand]
> +1
> [name=Shih Hwa Lai]
* 用 dependent type 來認識 template
> 我以為懂template的人比較多XD
> [name=geoffrasb]
> 我也這樣覺得... XD
> [name=CindyLinz]
* 快教我 cabal / ghc-pkg / cabal sandbox
* 名人介紹XD (e.g. Dijkstra)
> 有請 scm …… XDDDD
> [name=evast]
> +1
> [name=c9s]
> +1
> [name=hychen]
* Erlang runtime 實作
> +1
> [name=CindyLinz]
> +1
> [name=c9s]
* [](https://www.facebook.com/groups/functioanl.thursday/)https://www.facebook.com/groups/functioanl.thursday/
> 臉書社團開了，以後也可以在社團討論 QQ"
> [name=Chun-Hao Peng]