From 3d0e61c707d12dae82ece73231d6ac58bfbd99a3 Mon Sep 17 00:00:00 2001
From: Cai Bingjun <62678643+C-BJ@users.noreply.github.com>
Date: Wed, 17 Aug 2022 15:44:23 +0800
Subject: [PATCH] Create README_zh-CN

---
 README_zh-CN | 204 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 204 insertions(+)
 create mode 100644 README_zh-CN

diff --git a/README_zh-CN b/README_zh-CN
new file mode 100644
index 00000000..6a1d6520
--- /dev/null
+++ b/README_zh-CN
@@ -0,0 +1,204 @@
+# The Erg Programming Language
+
+<div align="center">
+    <img width="500" src="./assets/erg_logo_with_slogan.svg">
+</div>
+
+<br>[Erg](https://erg-lang.github.io/) 是一种静态类型的语言，与Python兼容
+
+<p align='center'>
+    <img alt="Build status" src="https://github.com/erg-lang/erg/actions/workflows/rust.yml/badge.svg">
+    <a href="https://opensource.org/licenses/Apache-2.0"><img alt="License: MIT & APACHE 2.0" src="https://img.shields.io/badge/license-Apache--2.0_OR_MIT-blue"></a><br>
+    English | 日本語 | <a href='./README_zh-CN.md'>简体中文</a>
+</p>
+
+## Erg可以推荐给以下人员&colon;
+
+* 使用Python，但希望有类似Rust的健壮性和舒适的编译器支持
+* 然而，又不需要像Rust那样的冗长的类型规范和内存管理模型
+* 希望有一个像ML那样简单而一致的语言
+* 希望有一个实用的通用语言，有依赖/反射类型
+* 想要一种像Scala一样的语言，既面向对象，又使用函数式编程
+
+## 特征
+
+> 某些功能尚未实现。有关实施情况请查看 [TODO.md](./TODO.md) 了解实施情况
+
+1. 稳健性   
+
+    Erg有一个智能而强大的类型系统。例如：Erg 可以在编译时检查：空值（Option类型）、除以零的情况、数组中的超出范围的地址
+
+    ```python
+    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; yard; sec; ...} = import "unit"
+
+    velocity x: Meter, t: Sec = x / t
+
+    v = velocity 3yard, 2sec # 类型错误：`x`的类型不匹配：预期为`Meter`，找到`Yard'`
+    v = velocity 3meter, 2sec # v == 1.5 m/s
+    ```
+
+2. 简洁性
+
+    Erg由一个非常简单的语法组成，与其他语言相比，它可以大大减少代码量。然而，其功能并不逊色于它们
+
+    由于类型推理系统很强大，你可以像动态类型语言一样编码
+
+    ```python
+    fib 0 = 0
+    fib 1 = 1
+    fib n = fib(n - 1) + fib(n - 2)
+    assert fib(10) == 55
+    ```
+
+    在Erg中，很少有东西被认为是特殊的，没有关键字，因此for和while表达式也只是子程序之一
+
+    ```python
+    loop! block = while! True, block
+
+    # equals to `while! True, do! print! "hello"`
+    loop! do!:
+        print! "hello"
+    ```
+
+3. 函数式 & 面向对象
+
+    Erg是一种纯面向对象的语言，一切都是对象。类型，函数和运算符都是对象。另一方面，Erg也是一种函数式语言。
+    Erg要求在引起副作用或改变内部状态的代码上放置某些种类的标记，这可以使代码的复杂性局部化，这将大大改善代码的可维护性。
+
+    ```python
+    # 函数式风格（不可变），与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 = Self!::__new__ !i
+        inc! ref! self =
+            self.update! old -> old + 1
+
+    c = Counter!.new 1
+    c.inc!()
+    assert c == 2
+    ```
+
+4. 互操作性
+
+    Erg内部与Python兼容，可以零成本导入Python API
+
+    ```python
+    # 使用内置的Python模块
+    math, time = pyimport "math", "time"
+    {sin; pi; ...} = math
+    # 使用外部Python模块
+    Tqdm! = pyimport("tqdm").'tqdm'
+
+    print! sin pi # 1.2246467991473532e-16
+    for! Tqdm!.'__call__'(0..99), i =>
+        time.sleep! 0.01 * i
+    ```
+
+5. 可读的错误信息
+
+    Erg强调了错误信息的可读性；Erg是一种对程序员友好的语言, ~~不像C++.~~
+
+    ```python
+    proc! x =
+        l = [1, 2, 3]
+        l.push!(x)
+        l
+    ```
+
+    ```console
+    Error[#12]: File example.er, line 3, in <module>::proc!
+    2│     l = [1, 2, 3]
+    3│     l.push!(x)
+             ^^^^^
+    AttributeError: Array object has no attribute `.push!`
+    hint: to update the internal state of an object, make it mutable by using `!` operator
+    hint: `Array` has `push`, see https://erg-lang.github.io/docs/prelude/Array/##push for more information
+    hint: `Array!` has `push!`, see https://erg-lang.github.io/docs/prelude/Array!/##push! for more information
+    ```
+
+## 要求
+
+[Python3](https://www.python.org/) 解释器是必需的。如果计算机上已安装它，则无需进行任何设置
+
+## 安装
+
+### 通过Cargo安装（Rust 包管理器）
+
+```sh
+cargo install erg
+```
+
+### 从源代码构建
+
+从源代码构建需要 Rust 工具链
+
+```sh
+git clone https://github.com/erg-lang/erg.git
+cd erg
+cargo build --release
+``` 
+
+### 使用Nix构建
+
+如果你已经安装了 [Nix](https://nixos.org/), 则一下命令将在项目文件夹下 `result/bin/erg` 生成二进制文件
+
+```sh
+git clone https://github.com/erg-lang/erg.git
+cd erg
+nix-build
+```
+
+如果您已启用 [Nix Flakes](https://nixos.wiki/wiki/Flakes). 
+
+```sh
+git clone https://github.com/erg-lang/erg.git
+cd erg
+nix build
+```
+
+## 贡献
+
+贡献永远收到欢迎
+想要开始贡献，请查看 [CONTRIBUTING.md](https://github.com/erg-lang/erg/blob/main/CONTRIBUTING.md)
+
+如果您有任何疑问，请随时在 [Discord channel](https://discord.gg/zfAAUbgGr4) 上提问
+
+## 许可证
+
+Erg 根据 MIT 许可证和 Apache 许可证（版本 2.0）的条款分发
+有关详细信息，请参阅： [LICENSE-APACHE](./LICENSE-APACHE), [LICENSE-MIT](./LICENSE-MIT)