程式語言,編譯,軟體工程方面,在知乎上有哪些可以關注的researcher包括PhD student

時間 2021-05-30 08:19:19

1樓:

光看關注人數就能認清誰是真正的領域專家

比如精通編譯原理,正規表示式,C++的微軟大神vczh,他可是C++ Primer中文版的審閱人哦

還有蕭井陌,Python領域的大神,雖然畢業於三流學校,但通過自學進入了Python語言大神的行列,雖然至今未被主流IT公司認可,但寫的程式設計師入門指南讓人收益無窮,雖然他在網際網路上毫無開源貢獻,但他亮閃閃的培訓部是無數三本學子擠進了上流社會的行列。

2樓:

猶豫了很久決定還是厚著臉冒個泡。。。

目前國內渣校CS本科在讀,正式接觸PLT不是很久,還在補基礎的階段中…對函式式相關的東西更有興趣,在學Haskell中,具體方向還未決定。。。

迫於生計以前接觸的更多的是偏向實現那一塊的,特別是JIT。現在在試著寫乙個Ruby的JIT出來,不過目前進度離能用還早的很

其實我的PLT水平真的好菜的,樓上的各位菊苣秒我幾百條街,就這麼冒出來感覺好羞愧

3樓:開源醬

菜狗默默的求各位巨巨帶一發。。。Orz

美帝渣校數學本科在讀。。。

主要興趣點是有型別多型 Lambda 演算和型別論。。。

4樓:rainoftime

Gu Haojun

TwoFrogs

也簡單介紹一下自己的情況。我是從Common Lisp入函式式語言的坑,進而通過FP了解編譯優化、型別系統、形式語義、程式驗證、程式分析、數理邏輯等內容,期間從Matt Might、王垠等人的部落格,TAPL, compiling with continuaion等書漲了一點姿勢。。

剛本科畢業即將深造。目前我主要關注的有:higher order language(如scheme, haskell)的程式分析,程式分析的soundness/verification/,js等奇怪語言的formal semantic。

-------分割線-----

安利下乙個扣扣群464916192(

軟體工程 大一新生 應該多學點程式語言,Adobe工具之類的,還是多學點演算法和資料結構?

yi bbbian 資料結構和演算法是計算機基礎知識的學習,第一重要,計算機語言是計算機軟體以後吃飯的傢伙,Adobe是應用軟體的使用,是其他行業吃飯用到的計算機軟體產品。 呵呵 第一,程式語言是必須的,不學程式語言,咋子程式設計嘛?學計算機的畢業後有多少不程式設計的崗位?第二,程式語言不要選多,一...

軟體工程學的程式語言很多,有必要把C語言學精嗎,目前在學Python?

Vince 語言只是敘述邏輯的手段,那麼問題就在於,你要敘述的邏輯是什麼。既然目前在學python,就好好學好python,用python實現你想要的東西。等到時機成熟,你這個問題就不再是問題,那時候你就知道,c和python所講的故事,並不是一類故事。等那時候,要麼你已經放棄探索計算機系統的願望 ...

軟體工程考研對程式設計能力要求高嗎?

復旦求是姜老師 軟體工程本來是電腦科學與技術中的一門課程,隨著不斷發展,在研究生培養方面形成了乙個專業碩士培養類別,就是軟體工程碩士。2002年,全國35所高校的軟體學院被教育部批准成為首批全國示範性軟體學院,授權培養軟體工程碩士,其主要目的就是培養從事軟體工程各領域工作,如軟體開發 專案管理 網路...