Julia 1.7.2 Documentation

• 语言: 英语
• 格式: .pdf
• 来源: github.com/JuliaLang

摘要

文档是Julia 1.7.2的官方文档，介绍了Julia语言的特点：作为动态语言，性能接近传统静态类型语言，通过类型推断和基于LLVM的即时编译实现。核心特性包括可选类型、多重分派、多范式支持（命令式、函数式、面向对象）。与其他动态语言的主要区别在于：基础库用Julia自身编写；丰富类型系统支持类型声明；通过多重分派组合参数类型定义函数行为；自动生成高效专用代码。文档还涵盖了REPL使用、包管理以及与非公共API相关的注意事项。

AI总结

Julia 1.7 是一款兼具动态语言灵活性和静态语言高性能的科学计算编程语言。其核心特点包括：可选类型、多重派发、基于 LLVM 的即时编译（JIT），以及支持命令式、函数式和面向对象等多种编程范式。

**核心特性与理念**
- **性能**：性能接近 C 语言，通过类型推断和 JIT 编译实现。
- **语法**：核心语言极简，基础库和标准库均由 Julia 自身编写。
- **互操作**：通过 `ccall` 调用 C/Fortran，并有丰富的包（如 JuliaInterop）连接 Python、Matlab 等。
- **公共 API**：仅文档中描述且未标记为“不稳定”的接口是稳定的。未文档化的函数、类型或常量不属于公共 API，使用它们可能导致代码在版本更新后失效。

**快速入门**
- **安装**：从 julialang.org 下载预编译二进制文件或编译源码。
- **运行**：交互式环境（REPL）通过双击可执行文件或命令行输入 `julia` 启动。退出使用 `CTRL-D` 或 `exit()`。
- **执行脚本**：`julia script.jl arg1 arg2...`，脚本名称通过全局常量 `PROGRAM_FILE` 获取，参数通过 `ARGS` 获取。
- **与 R 语言的关键区别**：
- 向量用 `[1, 2, 3]` 而非 `c(1,2,3)`。
- 矩阵乘法用 `*`，逐元素乘法用 `.*`。
- `if` 和 `for` 无需括号，但条件必须是布尔值（`true`/`false`），不能是 `0` 或 `1`。
- 函数修改数组会直接影响调用者（值传递引用）。

**内存与类型管理**
- **删除对象**：没有 `clear` 函数。通过 `A = nothing` 释放内存，垃圾回收器会在下次运行时回收，也可强制调用 `GC.gc()`。
- **重定义类型**：模块 `Main` 中的类型无法重定义。解决方法是将新代码封装在自定义模块中，修改后通过 `include` 重新加载模块。

**REPL 交互环境**
- 内置功能丰富的 REPL，支持搜索历史、Tab 补全、帮助模式（输入 `?`）和 Shell 模式。
- 表达式后加分号（`;`）可不显示结果。
- 变量 `ans` 会自动绑定到上一个表达式的求值结果（仅限交互模式）。

**内部机制（运行时初始化）**
- 执行流程：`main()` -> `jl_load_repl()` -> `repl_entrypoint()` -> `libsupport_init()`（初始化 C 库和 I/O）-> `jl_parse_opts()`（处理命令行选项）-> `julia_init()`（初始化 GC、类型系统、解析器等）。

**1.7.2 版本更新要点**
- **语言变化**：三角函数（如 `sind`, `cosd`）现在支持方阵输入。
- **包管理器**：
- 若导入未安装但注册表中存在的包，REPL 会提示安装。
- 新的 `Manifest.toml` 格式支持可扩展元数据。
- 支持通过环境变量 `JULIA_PKG_USE_CLI_GIT=true` 使用外部 Git 可执行文件。