贡献者： addis
本文授权转载自郝林的 《Julia 编程基础》。原文链接：第 1 章：起步。
1.1.1 为什么要有 Julia
首先，我们要知道的是，Julia 是一门计算机编程语言。也就是说，我们可以使用符合 Julia 语言规范的代码来编写程序。这些程序可以用于纯粹的数学和科学计算、存取本地文件、通过网络收发数据，等等。虽然 Julia 针对各种科学计算任务做了特别的设计和优化，但它也适用于通用目的的编程。
科学计算往往对代码的表现力和性能都有着较高的要求。然而，一些善于科学计算的编程语言（如 Python 和 R）却都在这两个方面有所欠缺。不过，我相信它们的流行必有其原因。而且，我也很喜欢这些编程语言。它们是我的编程工具箱中必不可少的一部分，尤其是 Python。
现代语言设计和编译器技术基本上能让我们省去性能调试的工作量，并且可以提供一个单一的环境让我们打造程序原型和有效部署高性能的应用。Julia 编程语言就是在此基础之上诞生的。Julia 是一门灵活的动态编程语言，但其性能堪比传统的静态编程语言。
1.1.2 主要特性
Julia 拥有可选的类型标注（type annotation）、多重分派（multiple dispatch）机制，以及优良的性能。它还借由 LLVM 实现了类型推断和即时（JIT）编译。Julia 是多范式的，融入了命令式、函数式和面向对象编程的特性。Julia 为高级数值计算提供了足够的易用性和表现力。当然，Julia 也适用于通用编程。为此，它从那些流行的动态编程语言（包括 Lisp、Perl、Python、Lua 和 Ruby）中借鉴了很多。
Julia 与典型的动态编程语言之间最大的区别在于：
虽然那些动态编程语言从表面上看是 “无类型的”，但是它们在内部却是 “有类型的”。这些内部的类型一般都是在其读取代码后附加上去的。不过，由于这些语言的代码缺少类型标注，所以它们并不能向编译器明确地指示某个值的类型，甚至都不能显式地提及类型。另一方面，静态编程语言虽然可以（且必须）为编译器指示值的类型，但这些类型往往只在编译时存在，并不能在运行时操纵或表示。而在 Julia 中，类型本身就是运行时的对象。并且，这些类型也可以被用来向编译器传达信息。
我们可以不显式地使用类型标注或多重分派。但这些都是 Julia 最核心的特性，我还是建议你利用它们来改进你的代码。这样的话，你的代码的表现力会更强，并且更容易阅读。
1.1.3 更多的特性
Julia 的目标是成为一门易用、强大和高效的编程语言。除了上述的优点之外，Julia 相对于其他类似系统的优势还包括：
顺便说一句，由于 Julia 的编译器不同于 Python 和 R 中的解释器，所以你在起初也许并不能体会到 Julia 的性能优势。如果你发现一些程序运行起来比较慢，那么我强烈建议你去阅读官方文档中的性能秘诀。一旦你理解了 Julia 是怎样工作的，那么写出性能堪比 C 程序的代码就比较容易了。