Julia具有可選類型標註、多重派單和良好的性能, 使用 LLVM實現了類型推斷和即時編譯(JIT)。它是多範式的, 結合了命令、功能和麵向對象編程的特點。Julia為高級數值計算提供了易用性和表現力, 其方式與 R、MATLAB 和 Python 等語言相同, 但也支持一般編程。為了實現這一點, ... ...
歡迎來到Julia 1.0的文檔。
請閱讀發佈博客文章,瞭解該語言的一般概述以及自Julia v0.6以來的許多更改。請註意,0.7版本與1.0一起發佈,以提供1.0版本之前的軟體包和代碼的升級路徑。0.7和1.0之間的唯一區別是刪除了棄用警告。有關自0.6以來的所有更改的完整列表,請參閱版本0.7的發行說明
介紹
傳統上,科學計算需要最高的性能,然而領域專家卻在日常工作中使用了較慢的動態語言,我們相信有很多很好的理由來支持這些應用程式的動態語言,而且我們並不期望它們的使用會減少。幸運的是,現代語言設計和編譯技術使我們能夠最大限度地消除性能上的平衡,並提供一個足夠的環境,使其能夠有效地部署性能密集型應用程式。
因為Julia的編譯器不同於Python或R等語言的解釋器,你可能會發現Julia的表現在一開始並不直觀,如果你發現有些東西很慢,我們強烈建議你在嘗試其他任何東西之前閱讀[性能技巧](@ref man-performance-tips),一旦你理解了Julia的工作原理,你就很容易寫出幾乎和C一樣快的代碼。
Julia具有可選類型標註、多重派單和良好的性能, 使用 LLVM實現了類型推斷和即時編譯(JIT)。它是多範式的, 結合了命令、功能和麵向對象編程的特點。Julia為高級數值計算提供了易用性和表現力, 其方式與 R、MATLAB 和 Python 等語言相同, 但也支持一般編程。為了實現這一點, Julia建立在數學編程語言的譜繫上, 但也借用了許多流行的動態語言, 包括 Lisp、Perl、Python、Lua和Ruby。
Julia與典型動態語言最重要的不同之處是:
- 核心語言的作用非常小,Julia Base和標準庫都是用Julia己編寫的,包括像整數運算這樣的原始運算。
- 一種用於構造和描述對象的豐富的類型語言,它也可以被用來進行類型聲明
- 通過多重分派定義各種參數類型的函數行為的能力。
- 為不同的參數類型自動生成高效、專門的代碼
- 良好的性能,接近靜態編譯語言,如C語言
儘管有時人們會說動態語言是“沒有類型的”,但它們絕對不是:每個對象,無論是原始的還是用戶定義的,都有一個類型。然而,在大多數動態語言中,沒有類型聲明,這意味著不能對編譯器進行指令,而且通常不能明確地討論類型。在靜態語言中,雖然可以(通常必須)為編譯器提供註釋類型,但類型只在編譯時存在,並且不能在運行時被操縱或表達。
雖然休閑程式員(the casual programmer)不需要顯式地使用類型或多重派發,但它們是Julia的核心統一特性:函數是在不同的參數類型組合上定義的,並通過分派到最特定的匹配定義來應用。這種模型非常適合於數學編程,在這種情況下,第一個參數“own”一個操作就像傳統的面向對象的分派器一樣。運算符只是具有特殊表示法的函數-若要擴展對新用戶定義數據類型的添加, 請為+
函數定義新方法。然後, 現有代碼無縫地應用於新的數據類型。
部分由於運行時類型推斷(由可選類型註解增強),部分由於項目開始時對性能的強烈關註,Julia的計算效率超過了其他動態語言,甚至是靜態編譯語言的競爭對手語言。對於大規模的數字問題,是始終持續的,並且可能永遠都是至關重要的:在過去的幾十年裡,處理的數據量很容易跟上摩爾定律(Moore's Law)的步伐。
Julia的目標是在一種語言中創造出一種前所未有的易用、強大和效率的組合。除此之外,Julia在類似系統上的一些優勢包括:
- 免費和開源(MIT許可)
- 用戶定義的類型和內建類型一樣快和相容
- 無需特意編寫向量化的代碼;非向量化的代碼就很快
- 為並行計算和分散式計算設計
- 輕量級的“綠色”線程 (coroutines)
- 低調但強大的類型系統
- 優雅和可擴展的數字和其他類型的轉換和升級
- 對Unicode的有效支持,包括但不限於UTF-8
- 直接調用C函數(不需要包裝器或特殊api)
- Powerful shell-like capabilities for managing other processes
- 擁有shell一樣強大的功能來管理其他流程
- 類似於lisp的巨集(Lisp-like)和其他元編程工具