statically typed language
Most statically typed languages enforce this by requiring you to declare
all variables with their datatypes before using them.
Java and C are statically typed languages.
dynamically typed language
the opposite of statically typed.
VBScript and Python are dynamically typed,
because they figure out what type a variable is when you first assign it a value
(from:http://www.kuqin.com/language/20090314/39854.html)
1 動態語言和靜態語言
通常我們所說的動態語言、靜態語言是指動態類型語言和靜態類型語言。
1 動態類型語言:動態類型語言是指在運行期間纔去做數據類型檢查的語言,也就是說,在用動態類型的語言編程時,永遠也不用給任何變量指定數據類型,該語言會在你第一次賦值給變量時,在內部將數據類型記錄下來。Python和Ruby就是一種典型的動態類型語言,其他的各種腳本語言如VBScript也多少屬於動態類型語言。
強類型定義語言在速度上可能略遜色於弱類型定義語言,但是強類型定義語言帶來的嚴謹性能夠有效的避免許多錯誤。另外,“這門語言是不是動態語言”與“這門語言是否類型安全”之間是完全沒有聯繫的!
例如:Python是動態語言,是強類型定義語言(類型安全的語言); VBScript是動態語言,是弱類型定義語言(類型不安全的語言); JAVA是靜態語言,是強類型定義語言(類型安全的語言)。
部分三
(下文轉自:http://hi.baidu.com/kkwtre/blog/item/1402c410dec1cc03203f2e63.html)
本文來自CSDN博客,轉載請標明出處:http://blog.csdn.net/xuejx/archive/2009/08/12/4439993.aspx
一 、靜態語言的優勢到底在哪? 來自robbin 摘自 http://www.javaeye.com/article/33971?page=7 引用
是像Java或者C#這樣強類型的準靜態語言在實現複雜的業務邏輯、開發大型商業系統、以及那些生命週期很長的應用中也有着非常強的優勢
這是一個存在於大家心裏常識了。我承認我自己在潛意識裏面也覺得靜態強類型語言適合開發複雜,大型系統。而弱類型腳本語言不適合開發太複雜,太大型的項目。但是在參與這個討論過程中,我突然開始置疑這個觀點,事實究竟是不是這樣的呢? 先定義一下標準: 強類型語言是指需要進行變量/對象類型聲明的語言,一般情況下需要編譯執行。例如C/C++/Java/C# 弱類型語言是指不需要進行變量/對象類型聲明的語言,一般情況下不需要編譯(但也有編譯型的)。例如PHP/ASP/Ruby/Python/Perl/ABAP/SQL/JavaScript/Unix Shell等等。
引用
觀點一:靜態類型語言因爲類型強制聲明,所以IDE可以做到很好的代碼感知能力,因爲有IDE的撐腰,所以開發大型系統,複雜系統比較有保障。
對於像Java來說,IDEA/Eclipse確實在代碼感知能力上面已經非常強了,這無疑能夠增加對大型系統複雜系統的掌控能力。但是除了Java擁有這麼強的IDE武器之外,似乎其他語言從來沒有這麼強的IDE。C#的Visual Studio在GUI開發方面和Wizard方面很強,但是代碼感知能力上和Eclipse差的不是一點半點。至於Visual C++根本就是一個編譯器而已,羞於提及Visual這個字眼。更不要說那麼多C/C++開發人員都是操起vi吭哧吭哧寫了幾十萬行代碼呢。特別是像Linux Kernel這種幾百萬行代碼,也就是用vi寫出來的阿,夠複雜,夠大型,夠長生命週期的吧。
引用
觀點二:靜態語言相對比較封閉的特點,使得第三方開發包對代碼的侵害性可以降到很低。動態語言在這點上表現的就比較差,我想大家都有過從網上下載某個JS包,然後放到項目代碼裏發生衝突的經歷
也就是說靜態類型語言可以保障package的命名空間分割,從而避免命名衝突,代碼的良好隔離性。但是這個觀點也缺乏說服力。 靜態類型語言中C,VB都缺乏良好的命名空間分割,容易產生衝突,但是並沒有影響他們做出來的系統就不夠大,不夠複雜。 而Visual C++開發的DLL版本衝突也是臭名昭著的,似乎C++的命名空間沒有給它帶來很大的幫助。 而動態類型語言中Ruby/Python/Perl都有比較好的命名空間,特別是Python和Perl,例如CPAN上面的第三方庫成噸成噸的,也從來沒有聽說什麼衝突的問題。 誠然像PHP,JavaScript這樣缺乏命名空間的動態語言很容易出現問題,但是這似乎是因爲他們缺乏OO機制導致的,而不是因爲他們動態類型導致的吧? 說到大型系統,複雜業務邏輯系統,Google公司很多東西都是用python開發的,這也證明了動態類型語言並非不能做大型的複雜的系統。其實我個人認爲: 動態類型語言,特別是高級動態類型語言,反而能夠讓人們不需要分心去考慮程序編程問題,而集中精力思考業務邏輯實現,即思考過程即實現過程,用DSL描述問題的過程就是編程的過程,這方面像Unix Shell,ruby,SQL,甚至PHP都是相應領域當之無愧的DSL語言。而顯然靜態類型語言基本都不滿足這個要求。 那靜態類型語言的優勢究竟是什麼呢?我認爲就是執行效率非常高。所以但凡需要關注執行性能的地方就得用靜態類型語言。其他方面似乎沒有什麼特別的優勢。 若干評論: 1。看看yahoo吧,它是用PHP寫的。給你用JAVA也可能做不出來那樣的性能。 2。我的一點感覺,動態語言足夠靈活,因此雖然它能夠讓人更集中精力思考業務邏輯的實現,同時也向人工智能的方向走得更近一些,但因此它也更依賴於開發人員本身的技術功底,初學者、中級開發者,難以很好的利用它。 而靜態類型語言,與我們計算機教學的基本科目(c/pascal/basic)延續性比較好,所以對於剛畢業的學生而言,更好接受和學習。因此我覺得還是學習/培訓/開發成本佔主要因素。一個不太恰當的例子:javascript的正則表達式,雖然功能強大,但並不易理解和學習。一般只能copy/paste來用。所以很多情況下,還是寧願手寫標準js來處理。 3。我感覺類似Java這樣的強類型的準靜態語言還有一個重要的特點。一旦程序員基本掌握了語法規則和書寫規範,寫出來的程序的可讀性會強很多,因爲它本身的限制更多。在一個大型系統中,Team成員之間互相可以知道對方在寫什麼是非常關鍵的,這也成爲了交流的重要基礎。 然而Ruby這樣的語言,雖然看上去更加符合“描述問題即解決問題”,但是對於同一段邏輯,同樣可以滿足要求,寫法上卻差別很大。我曾經見過用1行寫出來的解決數讀算法的Ruby解法,誰能看懂? 4。我更經常見到的是Java程序員屁大點事寫幾百行,Ruby幾行就搞定了 5。靜態類型語言是指在編譯時變量的數據類型即可確定的語言,多數靜態類型語言要求在使用變量之前必須聲明數據類型,某些具有類型推導能力的現代語言可能能夠部分減輕這個要求. 6。如果採用動態語言,單元測試上的工作量要比靜態語言的多很多 robbin 回這一條。其實你忽略了一點,當使用類似RoR這樣的框架的時候,應用代碼量是很少的,所以相應需要測試的部分也很少,比使用靜態類型語言需要測試的部分少了很多。 另外,缺少單元測試沒有你說的那麼恐怖。我們現在就沒有寫單元測試,ruby代碼都已經有6000多行了,編程也好,排錯也好,一樣很輕鬆,哪有你吹的那麼恐怖。 7.商業系統的複雜在於組織上交流的困難,一個大公司,內部有個人能把商業流程搞得一清二楚就不錯了,這個人還能把過程給軟件人員講清楚那簡直是可遇不可求的事。這樣用ruby反而有優勢了,可以快速開發,促進交流,開發出個模型出來給商務人員看看,用用,自然交流起來就容易多了。 現在一個開發人員的開發效率比以前高多了,主要原因是因爲開發語言和編譯器的進步,這個趨勢,只會繼續下去,不要抱着過去的教條不放,java也是在不斷改進的,加了reflection, 加了assert,加了泛型,下個版本,也要加腳本支持了。 8.其實靜態類型語言,除了性能方面的考量之外,最大的優勢就是可以提供靜態類型安全,編譯器可以檢查你的每一個函數調用是不是書寫了正確的名字,是不是提供了正確類型的參數。這樣一個系統,配合自定義類型的功能,可以讓很多錯誤(比許多人想象的要多)在編譯時就能被發現和定位。 9.我在slashdot上類似話題的討論上曾經看到過有人抱怨動態語言,那個哥們是從事銀行系統的,大概有10萬行的python代碼,最後因爲細小隱錯不斷而覺得無法維護,貌似要轉到java平臺。(如果把slashdot上近兩年來關於ruby和python的帖子和評論看一邊,大概還能夠找到這個跟貼) |
還可以參考: