Lite 语言——从入门到放弃（一）

[Kulics]

Lite 是我设计开发的一门编程语言，主要关注如何设计更简洁的语法，经过两年改进，现在只需要很少的代码量就可以表达现代编程语言的大部分逻辑，去掉了关键字设计。

目前仍在持续改进中，欢迎到 Github 提意见，走过路过别忘了点个 Star。

github.com/kulics/lite

变量声明

在 Lite 中，变量声明的格式为

# id type #
a int

是的，不需要关键字开头，只需要用空格分割，后面部分就是类型。

也不需要 ; 结尾，编译器会根据特定换行规则断句，除非想在一行内写多个语句，就可以加上 ;。

Lite 是一门强类型语言，大部分时候都需要明确的类型，但是有丰富的自动推导特性节省代码。

赋值

一句话带过。

# id = value #
a = 0

声明时初始化

把前面两个连起来就可以了。

# id type = value #
a int = 0

Lite 具有自动推导特性，所以类型可以省略，然后就和赋值语句一样了。 编译器会分析是否存在变量，如果变量不存在就会自动声明。

a = 0  # 创建变量 #
a = 1  # 赋值 #

注释

Lite 使用 # 来表示注释，用前后两个包住内容即可。

#
注释
注释
注释
#

基础类型

快速带过

a int = 100000000            # i8 = sbyte，i16 = short，int = i32 = int，i64 = long #
b num = 3.141592653          # f32 = float，num = f64 = double #
c bool = true                # bool = bool #
d str = "hello"              # str = string #
e any = 0                    # any = object #

字符串插值

可能在其它语言里我们经常会图方便使用 + 拼接字符串。

var txt = "hello" + integer.ToString() + "world!";

现代语言会提供特殊的插值语法加糖。

var txt = "hello $integer world!";

Lite 更直接一些，省略掉 + 就可以达到插值效果，前后被字符串包围的值会被自动插值。

txt = "hello" integer "world!"

基本操作符

快速带过

a = 4
b = 2
c = a + b      # 加 #
c = a - b      # 减 #
c = a * b      # 乘 #
c = a / b      # 除 #
c = a % b      # 取余 #
c = a ** b     # 幂 #
c = a // b     # 根 #
c = a %% b     # 对数 #

d = false
d = a == b   # 等于 #
d = a >< b   # 不等于 #
d = a > b    # 大于 #
d = a >= b   # 大于等于 #
d = a < b    # 小于 #
d = a <= b   # 小于等于 #

d = true & false     # 逻辑与 #
d = true | false     # 逻辑或 #
d = ~true            # 逻辑非 #

基本集合类型

数组类型表示为 []type ，用 []type{ value, value, value...} 包裹元素初始化。

a []int = []int{1,2,3,4,5}

一般情况下可以自动推导类型，使用 {value,value,value...} 直接初始化即可。

a = {1,2,3,4,5}

字典类型表示为 [type]type，用 [type]type{ [value]value, [value]value, [value]value...} 包裹元素初始化。

b [str]int = [str]int{ ["1"]1, ["2"]2, ["3"]3 }

一样可以使用自动推导类型。

b = { ["1"]1, ["2"]2, ["3"]3 }

使用索引语法 id[value] 即可取得某个索引对应元素的值。

v = a[0]     # 数组索引从 0 开始 #
v = b["3"]   

选择结构

Lite 的选择结构很简单，不需要使用 if，else，elif，switch，select，case，default，break 这些关键字。

只需要用 ? 和指定的位置规则就可以进行多种操作。

纯分支结构用来对单纯的条件进行匹配，只会进入条件成立的分支 （ if else ）

a = 1
? a == 1 {
    # 执行逻辑 #
} a == 2 {
    # 执行逻辑 #
} _ {
    # 当上面条件都不满足时执行逻辑 #
}
? true {
    # 执行逻辑 #
}

值匹配结构用来对某个值进行多条件匹配，只会进入条件成立的分支 （ switch ）

a = 1
a ? 1 {
    # 执行逻辑 #
} 2,3,4 {
    # 合并多个条件执行逻辑 #
} _ {
    # 当上面条件都不满足时执行逻辑 #
}

循环结构

Lite 的循环结构很简单，不需要使用 for，foreach，while，loop，in，of，range 这些关键字。 只需要用 @ 和指定的位置规则就可以进行多种操作。 集合循环用来对集合进行遍历 （ foreach ）

a = 0
arr = { 1,2,3,4,5 }
id @ arr {    # 取出单个元素，定义为变量 id #
     a += id
}

如果需要同时取出元素的索引和值，可以使用 [id]id 语法。

[index]value @ arr {
    # 执行逻辑 #
}

计数循环用来对指定数字集合进行遍历，比如从 0 数到 100 （ for ）

计数需要引入特殊的范围表示语法 start ..< end : step，step 为步长，可以省略，默认为 1。中间的操作符可以指定 >，>=，<，<=四种，分别表示 降序，降序到达最后一位，升序，升序到达最后一位。

a = 0
i @ 0 ..< 100 {  # 0 到 99 #
    a += i
}
i @ 0 ..<= 100 {  # 0 到 100 #
    a += i
}
i @ 100 ..> 0 : 2 {  # 100 到 2，步长为 2 #
    a -= i
}

条件循环，满足条件时进行继续循环 （ loop ）

@ a > b {
    # 执行逻辑 #
}

无限循环，很简单，只用 @ 就可以了 （ while ）

@ {
    # 执行逻辑 #
}

跳过当前循环和跳出循环也很简单（ continue, break ）

i @ 0..<100 {
    ? i < 50 {
        # 跳过当前循环 #
        ..@
    } _ {
        # 跳出循环 #
        @..
    }
}

结尾

以上是 Lite 最基础的语法结构，对比起其它语言的语法是否更简洁呢？

下一次我们会来看看如何用简洁的语法表达函数和数据结构。

[dixeran]

“关键字”本身是有语义的，用各种符号来代替 for/in/continue，记忆成本加不少

[love]

建议放弃这个项目

[zhujinliang]

如何记住 @..和..@分别对应哪个？

[ech0x]

我就问一句有 sum types 吗？

[zifangsky]

建议放弃+1，太过花里胡哨，目测用这个语言做出来的项目在维护的时候会非常坑（不过楼主造轮子的积极性还是值得鼓励的

[jsjzyryuan]

@ 0 .. 这是啥？

[trait]

类型放后面又不给分隔符，过于丑陋

[Mistwave]

放弃了，把常用关键字用符号代替哪里简洁了

[ClarkAbe]

var qaq="->"
emmmm,在 PHP 的面向对象超多 qaq 过后就特别反感 qaq,感觉小拇指都要断了,然后在 Golang 终于解脱了.....

[hourann]

如果要精简，利用符号来表达其他语言依托于关键字才能表达的语义的话，可以参考 J 语言，大概是这条路走到极致的表现。

[pisc]

我觉得吧，一方面，虽然不是正经做 PL 的，所以有时候显得业余和幼稚，但是想造个语言，写个编译器玩玩的什么的还是值得鼓励的。

另一方面，我已经看到过很多次了，就是很多人会觉得会做编译器，造个编程语言是一件很了不起的事情，然后到处宣传，老忽悠，你不能拿一坨垃圾（可能你也不知道）来骗群众，让别人觉得 PL 就是这样的一个领域，这样的人已经够多了，导致现在风气特别差，或许是因为大家也不是这么了解 PL，经得起忽悠。

我是建议如果想好好干，就把书和论文好好读一遍，别那么无知，如果想玩玩也很好啊，把态度放端正，明确告诉大家这是我做的小玩具，大家讨论讨论，我觉得那样挺好的。

你可能也不服气，比如你把声明和赋值搞成一样，感觉非常简洁、聪明的 feature，然而放到 real world 场景下就是 bug 的温床。

我现在越来越觉得写编译器是一回事，如果是设计语言，最重要是要有好的 taste。

[vscode]

为什么一定要用符号顶替关键字呢？挑战程序员的语言习惯真的不好。
本身关键字就是有语义的，也符合阅读时候的脑回路习惯。
各种符号。。。。。。
港真，有些时候写到 a || b 我都想写成 a or b

[marcong95]

这么看下来，好像用符号代替关键字倒也不是不可取，消去了关键字本身的语义，提供了通过语法结构区分 if/switch，for/while 的可能性。go 强行用 for 来写 while 反而怪怪的，@就没有这种感觉了

不过我觉得 // %%不是很合理，有种强行往**靠的感觉

[marcong95]

@marcong95 #13 如果再动态类型一下，给小朋友玩，说不定还能有点搞头。

[GM]

号称关键字极少，事实上一堆 @ ！ ？特殊关键字，问题是大家不看文档还不知这些特殊关键字是什么意思。
纯粹是为了减少关键字而减少关键字。

[Leigg]

所以，让人们使用 lite 语言的理由是什么？ lite 语言的核心优势是什么？解决了什么问题？这个特点是否足以驱使人们使用 lite ？ 你重点好像没说。

[Kulics]

@marcong95
1. // 和 %% 在语言里也没其它用途，没有语法冲突，就索性把 root 和 log 功能都加上了。都是转成库函数来运行，其实不用操作符也可以不用。只是有个 ** ，不加上我有点强迫症。
2. 其实现在的语法去掉类型也是完全能放在动态语言上跑的，的确是挺好玩的。目前我是因为自己写项目要用，就一直折腾下来，以后有空可以捣鼓下动态类型和 shell。

[Kulics]

@GM 嗯，数的没错，的确是 1，2，3，一堆关键字，实在是太多了，都快比我手指都多了，太难记了。

[Kulics]

@ClarkAbe emmmmm。。。go 里面也一堆<-，解脱个啥

[Kulics]

@hourann 谢谢你的建议，我去看了，的确有意思

[GM]

@Kulics 是是是，非常少，我水平太低，不应该评论这么高大上的项目，告辞告辞。

[Kulics]

@Leigg 这些不是我现在关注的。
我关注的是如何用尽可能少的语法表达逻辑，还能用怎样少的字符组成功能完备的编程语言，还应该降低读写负担，尽可能把注意力留出来解决问题。
简单性、可读性、可理解性是设计目标（当然，因人而已，挑战旧习惯从来不是容易的事情，也不是每个人都会喜欢我的路线）。
现在只能依赖目标语言，这些能力都受目标语言影响。以后到 llvm，才有条件考虑自身的特性。