Re: [討論] 唐鳳真的很有名嗎?很厲害嗎?

[CindyLinz (Cindy Wang)]

※ 引述《twowoods (二木頭)》之銘言：
: 回到正題, 維基還說唐鳳 "是Haskell和Perl社群領導者" 呢.
: 好像本人也沒有這樣說? 大家自己判斷吧.
: 好像有一位 G 大說維基頁面疑點重重, 結果被噓到爆. 造神的推到爆.
: 是否疑點重重大家自己知道, 靠噓和推是沒有意義的.
:
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 45.49.170.99
: ※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1472870684.A.962.html
: → CindyLinz: 我不知道這邊「社群」的明確定義是指什麼.. 不過唐鳳    09/03 20:24
: → CindyLinz: 對 Haskell 這個語言的影響蠻大的.. 她參與設計實作的   09/03 20:25
: → CindyLinz: GADT 是 Haskell 一個很重要的里程碑...                09/03 20:25
: → CindyLinz: 我不知道怎麼從頭簡單介紹 GADT 是什麼... 不過如果有   09/03 20:25
: → CindyLinz: 熟悉 Haskell 的話, 大概都會知道 GADT 很重要..        09/03 20:26
: 推 loseptt: 到底是前段還後段 還是中間碼 別老是用名詞搪塞 回答別躲  09/03 22:42
: → loseptt: 閃閃有料就大聲講 貢獻了那段 別把perl和open soucre精神  09/03 22:42
: → loseptt: 當擋箭牌 大家質疑的是你能力 質疑的是貢獻現在哪裡       09/03 22:42
: 推 loseptt: 不要老是用籠統的計畫名稱搪塞                           09/03 22:47
: → loseptt: little jhon IQ也沒到180 與其利用媒體捧神 不如寫個幾題  09/03 22:54
: → loseptt: ACM證明自己邏輯思考能力 對IQ180實在簡單不過不是嗎      09/03 22:54
: 推 loseptt: XXX是重要里程碑 XXX對OOO蠻重要的 但我不知道怎樣簡單解  09/03 22:59
: → loseptt: 釋XXX 不過懂OOO應該都知道XXX                           09/03 22:59
: → loseptt: 當我三歲小孩好騙嗎 當編譯器課程教授是白痴嗎 編譯器明   09/03 23:02
: → loseptt: 明就有設計架構 前段中間碼後段 loader執行 跟那種捧神話  09/03 23:02
: → loseptt: 術的言之無物 後面加個你們都不懂 來虎爛誰不會           09/03 23:02
: → loseptt: 要劃虎爛好歹選修個編譯器 貢獻在symbole table 還是vari  09/03 23:05
: → loseptt: able scope還是parser LR LL                             09/03 23:05
: 推 loseptt: 看了 果然不怎樣 和pattern matching有87分像             09/03 23:30
: → loseptt: 用過JAVACC的人應該強你們多很多                         09/03 23:31
: → loseptt: Haskell wiki也沒看到該看到的人                         09/03 23:31
: → loseptt: linkedin還真敢寫co-design 區區判斷數字matching寫這麼   09/03 23:34
: → loseptt: 複雜                                                   09/03 23:34
: 推 loseptt:  版上CS背景的不用查了 越看越不怎樣 中間碼都沾不上邊    09/03 23:40
: → loseptt: 語言設計也沾不上邊 連haskell wiki都沒上 果然是沾沾邊   09/03 23:40
: → loseptt: 和稱會設計白板書CPU結果只改裡面的幾行加法器有87分像    09/03 23:43
: 推 loseptt: http://i.imgur.com/v0TLl9V.jpg                         09/03 23:48
: 推 loseptt: 真的是太讓我失望了 IQ 180連中間碼都沒沾到邊            09/03 23:56
: 推 loseptt: 寫了一個很籠統的OO syntax support via GADT(Generalise  09/04 00:02
: → loseptt: d Algebraic Data Types)                                09/04 00:02
: 推 loseptt: 而且haskell是支援typeclass                             09/04 00:09
: → loseptt: http://i.imgur.com/mWp1Jla.jpg                         09/04 00:09

我不是刻意要拋縮寫名詞來賣弄玄虛啦,
 只是我自己當初學 GADT 的時候, 雖然學語法的部分是蠻快的,
 但是弄到可以體會其中的美妙就耗費了好些日子.
 我自己連學都學很久了, 要我教會別人...
 教比學還難, 我沒有辦法三言兩語簡單講清楚.. @@"
 而且如果是面對面討論的話, 我還可以藉由提問, 看對方的反饋如何,
 也可以畫圖來形容心中的想像, 比較容易猜到有可能是什麼地方卡住或是沒看到,
 那就只需要局部地強化強調, 會通透得比較快...
 然而只透過 PTT 的推文文字, 隔了這一層溝通困難多很多 @@"

欸~ 其實是因為這篇原 po 點名了 Haskell 社群啦~
 我想說, 我應該是台灣 Haskell 社群活躍度還算蠻高的人吧,
 所以提供一下社群中其中一份子的想法啊~~ ^^|

每個月有個定期活動叫作 Functional Thursday,
 http://www.meetup.com/Functional-Thursday/
 固定每個月第一個週四在 Mozilla Space 舉行 (場地沒跟別人衝到的話 ><)
 我現在是負責找講者... 找不到的話就只好自己講ww
 這活動的主題裡 Haskell 的佔比蠻高的,
 所以我想如果原 po 好奇 Haskell 社群的人的認知,
 我的想法應該也是有些參考性啦 ^^

哎~ 其實這個活動不是我辦的, 是穆信成老師與他的快樂學生們..
 還有 Greg Weng 幫忙找場地的部分..
 我一開始只是私心想說為了學 Haskell 學快一點,
 所以比較積極會找機會去貢獻主題講講看,
 在準備講題的過程中應該會讓自己學得比較紮實...
 有時候沒有講者要開天窗的時候我會幫忙著急, 因為我真的很喜歡這活動.. QQ
 結果咧.. 最著急的那個受不了忍不下去了的時候就會跑去找講者,
 最後最後, 就變成常態負責找講者的人了..........||
 (其實搞不好我只要狠心拖下去他們就會有人跳出來講了, 可是我從來不敢試w)

http://www.meetup.com/Functional-Thursday/events/233849029/
 下個月 10.6 剛好是我主講, 以實例分享一種在 Haskell 裡內嵌自訂子語言的方法.
 如果 loseptt 你時間有空的話可以來看看聊聊~
 不要一直坐在自己井裡看天, 偶爾也來我們的井裡坐坐, 也看看另一個角度的天空~

我們的活動一向都留有很充足的自由交流的時間,
 也可以聊跟當次主題無關的東西, 像是 GADT 的妙處在哪裡..
 沒有 G 字的 ADT 就可以作 pattern matching 了,
 有 G 字的 GADT 有別的重點.

或是, 你也可以來質疑我的能力, 或是質疑我的貢獻.
 我 IQ 不到 180, 被挑戰問倒了也不會覺得丟臉應該是沒問題的 XD
 而且啊, 激烈挑戰的時候總需要正面舉證一下問題在哪, 或是更好的例子應該怎樣,
 所以在火花消散之後, 常常會留下很不錯的知識殘跡,
 因為臉不會白丟, 所以通常是值得的... ^^

啊如果有人有跟函數式程式語言相關 (理論/設計/實作/應用),
 或是別的(也可以非函數式)語言的 理論 設計 實作 相關的主題的話,
 也拜託多多來找我啊... Q_Q

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 112.121.78.5
※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1472933736.A.0D9.html
推 stopcrying: 推 Functional Thursday
推 dryman: 可惡想去
推 vn509942: 0.0/
推 loseptt: 他明明寫的是support oo syntax via gadt record
→ loseptt: 到底是誰說gadt是他弄的
→ loseptt: 我建議你們先摸個javacc 再來請教大二書券生 學到的東西
→ loseptt: 比參加一堆會議有用
推 dmeiki: 感覺很不錯
推 jaiyalas: 快樂學生之一路過一下 XD
推 phopicking: 我實在搞不懂，政委有這麼大嗎？需要多方地攻擊她
→ phopicking: 能力不夠的馬皇都可以當八年總統了，有必要這樣追殺嗎
推 jokker: 推, 想去
推 yen3: 快樂學生之一的朋友順便路過~推薦 FT
推 CRPKT: 大家太認真啦，裝睡的人叫不醒
推 johnny94: 不管你怎麼說，想潑糞的隨時有新的糞桶可以潑。那些愛把
→ johnny94: jserv pcman 當例子的，要是今天是 jserv 去當政委，他
→ johnny94: 們照樣潑糞啦
→ CindyLinz: 呃~ 不要這麼瞧不起 meetup 嘛 ^^| 如果是對 parser 有
→ CindyLinz: 興趣... 這是我在 2013 年 10 月 Functional Thursday
→ CindyLinz: 用的投影片.. http://goo.gl/QumMyl
→ CindyLinz: 不過我那時是假設與會者都大概知道 LALR parser 是什麼
→ CindyLinz: 所以只有稍微複習一點點, 主要是講額外的延伸作這樣..
推 suhorng: 歡迎大家來 PLT 板! (亂入)
→ CindyLinz: 然後.. 去年我有講過一個跟 LL parser 相關的延伸~
→ CindyLinz: (投影片 http://goo.gl/iLtb0c )
→ CindyLinz: 準備講題真的自己會受益很多學得很紮實啊~
推 ia: 有贊助聚會運作的方式嗎？
→ johnny94: 我沒有瞧不起你辦的meetup 啦…
→ CindyLinz: 大家都是業餘的義工, Mozilla Space 也是借給我們無償
→ CindyLinz: 使用.. 所以金錢物資現在都不缺~
→ CindyLinz: 但是缺講者 OAO 可以贊助講者!
→ CindyLinz: 以前我都只有注意在聽內容, 沒有好好認識與會的大家發
→ CindyLinz: 掘新講者.. orz
→ CindyLinz: 然後.. 那個瞧不起 meetup 是在回應 loseptt 的推文啦~
→ CindyLinz: 不過他沒有針對 Functional Thursday, 他是地圖砲所有
→ CindyLinz: 的 meetup.. XD
→ CindyLinz: 啊~ 另外, 如果關注 rust 語言或 servo 開發, 應該出場
→ CindyLinz: 地的 Mozilla 會開心一點, 也許也是一種贊助支持方式(?