微軟和 Haskell 之間有什麼關係?

時間 2021-05-30 20:29:34

1樓:祖與佔

宣告: 下面的資訊僅僅是我在社群道聽途說而來的, 不一定準確

從我的觀察來看: 基本沒有什麼關係, 雖然 Simon Peyton Jones 在 MSRC 做研究員, 但是這層關係應該是 M$ 支援 SPJ "做程式語言領域研究" 而不是研究 Haskell 或者是開發 GHC, GHC 開發應該是研究的成果. 例如最近的 Compiling without continuations - Microsoft Research , https:

//redd.it/5rnpha

, GHC 不少改進都是各種研究成果轉化而來的.

就像 A History of Haskell 裡說的, 其實到現在也是差不多...

At the same time, the language has simultaneously served as a highly effective laboratory in which to explore advanced language design ideas, especially in the area of type systems and meta-programming.

所以 M$ 應該沒有直接上說對 Haskell 有什麼干預, 雖然挺早的時候設計 Haskell 的人跟 M$ 有不少關聯, 例如 Erik Meijer, Erik Meijer 也把不少 Haskell 裡的不錯的東西加在 C# 裡了, 例如很多人都讚賞有加的 LINQ, 其實就是在用 Monad. BTW, Erik Meijer 最後也是去了 FB.

之前 Simon Marlow 也在 M$, 性質應該跟 SPJ 類似, 後來為了寫完魚書, 離開了 M$, 寫完書後加入了 Facebook, 記得當時跟社群說不會影響對 GHC 的開發, Simon Marlow 主要是搞 RTS 方面的, 期間也帶了小弟搞定了 GHC 這麼多年來的坑: DeterministicBuilds - GHC

啊, BOS 也是在 Facebook (

至於錢方面, 也沒有看到 M$ 有直接支援的地方, 不像 Rust, Go, Scala 那樣背後有個公司在滋磁. 去年的 Google Summer of Code 沒申請成功, 社群募捐自己搞了 Haskell Summer of Code.

AFAIK, 現在 GHC 只有乙個人全職在開發, 就是 Well-Typed 的這個同學 bgamari (Ben Gamari) · GitHub.

啊還有這位 https://www.

一下子寫了好多 OT 的東西, 不過還是希望大家有能力給社群做做貢獻

微軟和樹懶兩者有什麼區別?

幻術 唉,可憐我大微軟,因為乙個Win10 Mobile現在居然被黑到這種地步。我覺得大家調侃一下win10 mobile還是可以的。不過微軟的其他產品還是很不錯的 黑白虎鯨 共同點是 其實,Zootopia花了5年製作出來一部好動畫,微軟也是花了很多時間來找出最優方案的,內部很多專案做到一半沒到消...

微軟和諾基亞為什麼要考慮聯合收購黑莓?

想問 除了和NOKIA RIM展開合作 結成同盟,甚至合為一體,微軟還有什麼更好的選擇嗎?至少在移動應用領域,我不認為微軟還有什麼樣的更好的機會可以抓住。既有優勢往往成為阻礙創新和突破性發展的力量。微軟和NOKIA只是其中的兩個典型的例子。他們仍然是巨無霸,仍然擁有著強大的生存和競爭實力。但對於創新...

姓氏之間有什麼關聯?

圖南 田陳代齊嘛。田姓陳姓本一家。胡適還寫過一出喜劇,裡面用到這個事了。至於姓氏,姓所以別婚姻,氏所以別貴賤。就是說同乙個姓的人是不能通婚的,氏是身份的象徵。同姓可以不同氏。或者說,姓是母系氏族,氏是父系氏族。這樣說簡單粗暴,不準確,但便於理解。 王靖海 陳國公室是 姬姓,陳氏。注意,先秦的姓和氏是...