Re: [討論] 唐鳳真的很有名嗎?很厲害嗎?
看板Soft_Job作者CindyLinz (Cindy Wang)時間7年前 (2016/09/04 04:15)推噓13(13推 0噓 25→)留言38則, 14人參與討論串36/53 (看更多)
※ 引述《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
推
09/04 05:41, , 1F
09/04 05:41, 1F
推
09/04 07:13, , 2F
09/04 07:13, 2F
推
09/04 07:16, , 3F
09/04 07:16, 3F
推
09/04 08:48, , 4F
09/04 08:48, 4F
→
09/04 08:48, , 5F
09/04 08:48, 5F
→
09/04 08:51, , 6F
09/04 08:51, 6F
→
09/04 08:51, , 7F
09/04 08:51, 7F
推
09/04 09:18, , 8F
09/04 09:18, 8F
推
09/04 09:27, , 9F
09/04 09:27, 9F
推
09/04 10:22, , 10F
09/04 10:22, 10F
→
09/04 10:25, , 11F
09/04 10:25, 11F
推
09/04 10:26, , 12F
09/04 10:26, 12F
推
09/04 10:32, , 13F
09/04 10:32, 13F
推
09/04 11:04, , 14F
09/04 11:04, 14F
推
09/04 12:38, , 15F
09/04 12:38, 15F
→
09/04 12:38, , 16F
09/04 12:38, 16F
→
09/04 12:38, , 17F
09/04 12:38, 17F
→
09/04 12:58, , 18F
09/04 12:58, 18F
→
09/04 12:59, , 19F
09/04 12:59, 19F
→
09/04 12:59, , 20F
09/04 12:59, 20F
→
09/04 12:59, , 21F
09/04 12:59, 21F
→
09/04 13:00, , 22F
09/04 13:00, 22F
推
09/04 13:01, , 23F
09/04 13:01, 23F
→
09/04 13:04, , 24F
09/04 13:04, 24F
→
09/04 13:04, , 25F
09/04 13:04, 25F
→
09/04 13:05, , 26F
09/04 13:05, 26F
推
09/04 13:08, , 27F
09/04 13:08, 27F
→
09/04 13:18, , 28F
09/04 13:18, 28F
→
09/04 14:22, , 29F
09/04 14:22, 29F
→
09/04 14:23, , 30F
09/04 14:23, 30F
→
09/04 14:23, , 31F
09/04 14:23, 31F
→
09/04 14:23, , 32F
09/04 14:23, 32F
→
09/04 14:24, , 33F
09/04 14:24, 33F
→
09/04 14:24, , 34F
09/04 14:24, 34F
→
09/04 14:24, , 35F
09/04 14:24, 35F
→
09/04 14:25, , 36F
09/04 14:25, 36F
→
09/04 14:27, , 37F
09/04 14:27, 37F
→
09/04 14:27, , 38F
09/04 14:27, 38F
討論串 (同標題文章)