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

聲明: 下面的信息僅僅是我在社區道聽途說而來的, 不一定準確

從我的觀察來看: 基本沒有什麼關係, 雖然 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-Type 的這個同學 bgamari (Ben Gamari) · GitHub.

啊 還有這位 https://www.linkedin.com/in/austinseipp

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

MSR-Cambridge 支持了許多 Haskell 大佬的工作

另外我傾向於把 M$ 和 MSR 分開看作不同的實體。。前者對編程語言的品味實在是不咋地。