Skip to content

Latest commit

 

History

History
238 lines (175 loc) · 7.85 KB

README_zh-CN.md

File metadata and controls

238 lines (175 loc) · 7.85 KB
Raw

The Erg Programming Language


这是Erg的主要源代码库。它包含编译器和文档

Build status Build status Discord

badge

Erg可以推荐给以下人员:

  • 希望有类似Rust的健壮性和舒适的编译器支持，然而，又不需要像Rust那样的冗长的类型规范和内存管理模型
  • 对Python不满意，但无法下定决心放弃Python代码资产
  • 希望有一个像ML那样简单而一致的语言
  • 希望有一个实用的通用语言，有依赖/反射类型
  • 想要一种像Scala一样的语言，既面向对象，又使用函数式编程

特征

某些功能尚未实现。有关实施情况请查看 TODO.md 了解实施情况

  1. 稳健性

    Erg有一个智能而强大的类型系统。例如: Erg 可以在编译时检查: 空值（Option类型）、除以零的情况、数组中的超出范围的地址

    rand = pyimport "random"

l = [1, 2, 3]
assert l in [Nat; 3] # 类型检查
assert l in [1..3; 3] # 更详细
l2 = l.push(rand.choice! 0..10)
assert l2 in [0..10; 4]
assert l2 + [3, 5, 7] in [0..10; 7]
# 这将导致下标错误，Erg可以在编译时发现它
l2[10] # 下标错误: `l2`只有7个元素，但却被访问了第11个元素

2.times! do!:
    print! "hello, ", end := ""
# => hello, hello,
-2.times! do!:
    print! "hello, ", end := ""
# 类型错误: `.times!`是`Nat`(0或更大整数)的方法，不是`Int`的

{Meter; Sec; meter; kg; sec} = import "unit"

velocity x: Meter, t: Sec = x / t

v = velocity 3kg, 2sec # 类型错误: `x`的类型不匹配: 预期为`Meter`，找到`Kg`
v = velocity 3meter, 2sec # v == 1.5 m/s

  2. 简洁性

    Erg由一个非常简单的语法组成，与其他语言相比，它可以大大减少代码量。然而，其功能并不逊色于它们

    由于类型推理系统很强大，你可以像动态类型语言一样编码

    fib 0 = 0
fib 1 = 1
fib n = fib(n - 1) + fib(n - 2)
assert fib(10) == 55

    甚至for和while表达式也只是子程序之一，所以这是可能的

    loop! block! = while! do! True, block!

# equals to `while! do(True), do! print! "hello"`
loop! do!:
    print! "hello"

  3. 函数式 & 面向对象

    Erg是一种纯面向对象的语言，一切都是对象。类型，函数和运算符都是对象。另一方面，Erg也是一种函数式语言 Erg要求在引起副作用或改变内部状态的代码上放置某些种类的标记，这可以使代码的复杂性局部化，这将大大改善代码的可维护性

    # 函数式风格（不可变），与Python中的`sorted(list)`相同
immut_arr = [1, 3, 2]
assert immut_arr.sort() == [1, 2, 3]
# Object-oriented style (mutable)
mut_arr = ![1, 3, 2]
mut_arr.sort!()
assert mut_arr == [1, 2, 3]
i = !1
i.update! old -> old + 1
assert i == 2

# 函数不能引起副作用
inc i: Int! =
    i.update! old -> old + 1
# 语法错误: 不能在函数中调用程序性方法
# 提示: 只有可变类型的方法才能改变对象的状态

# 使用大量副作用的代码是多余的，所以你自然会写纯代码
Counter! = Inherit Int!
Counter!.
    new i: Int = Counter! !i
    inc! ref! self =
        self.update! old -> old + 1

c = Counter!.new 1
c.inc!()
assert c == 2

  4. 互操作性

    Erg内部与Python兼容，可以零成本导入Python API

    # 使用内置的Python模块
math, time = pyimport "math", "time"
{sin; pi} = math
# 使用外部Python模块
tqdm = pyimport "tqdm"

print! sin pi # 1.2246467991473532e-16
for! tqdm.tqdm(0..99), i =>
    time.sleep! 0.01 * i

  5. 可读的错误信息

    Erg强调了错误信息的可读性；Erg是一种对程序员友好的语言, 不像C++.

    proc! x =
    l = [1, 2, 3]
    l.push!(x)
    l
    Error[#12]: File example.er, line 3, in <module>::proc!
2│     l = [1, 2, 3]
3│     l.push!(x)
         ^^^^^
AttributeError: List object has no attribute `.push!`
hint: to update the internal state of an object, make it mutable by using `!` operator
hint: `List` has `push`, see https://erg-lang.github.io/docs/prelude/List/##push for more information
hint: `List!` has `push!`, see https://erg-lang.github.io/docs/prelude/List!/##push! for more information

要求

Python3 (3.7~3.11) 解释器是必需的。如果计算机上已安装它，则无需进行任何设置

安装

通过Cargo安装（Rust 包管理器）

cargo install erg

从源代码构建

从源代码构建需要 Rust 工具链

git clone https://github.com/erg-lang/erg.git
cd erg
cargo build --release

使用Nix构建

如果你已经安装了 Nix, 则以下命令将在项目文件夹 result/bin/erg 下生成二进制文件

git clone https://github.com/erg-lang/erg.git
cd erg
nix-build

如果您已启用 Nix Flakes

git clone https://github.com/erg-lang/erg.git
cd erg
nix build

Flags

通过启用--features标志，你可以自定义构建和安装

  • 你可以通过--features {language}来设置错误信息语言
--features japanese
--features simplified_chinese
--features traditional_chinese

还有更多的语言将被加入（我们正在寻找翻译者。请加入翻译项目）

  • 安装和构建ELS（Erg语言服务器）
    • --features els
  • 设置成调试模式（针对贡献者）
    • --features debug
  • 完整的REPL体验
    • --features full-repl
  • 使显示效果更好
    • --features unicode and --features pretty
  • 启用所有功能(除了为语言开发者提供)
    • features full
  • 参见这里了解更多标志。

贡献

贡献永远受到欢迎

想要开始贡献，请查看 CONTRIBUTING.md

如果您有任何疑问，请随时在 Discord channel 上提问

License

在此存储库assets和doc文件夹内的所有文件使用CC-BY-4.0授权。其余文件使用Apache License 2.0 + MIT License授权

关于第三方crates的制作人员，请参阅: THIRD_PARTY_CREDITS.md（英文）