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所高校的軟體學院被教育部批准成為首批全國示範性軟體學院,授權培養軟體工程碩士,其主要目的就是培養從事軟體工程各領域工作,如軟體開發 專案管理 網路...