自荐一个编程语言： Lite

[Kulics]

• 项目地址： https://github.com/kulics/lite

• 类别：编程语言

• 项目后续更新计划： 语法设计已经稳定（ 1.0-alpha ），后续主要精力将放在编译器实现改进迭代，扩展到更多场景。

• 项目描述： Lite 是一个专注于工程化的开源通用编程语言。

  这门语言的设计目标是简单性、可读性、可理解性。

  通过去除关键字，减少语法特性，统一表达规范，这门语言可以有效降低读写负担，让使用者能够把真正的注意力放在解决问题上。

  目前支持输出到 C#/Go/TypeScript，借助它们的资源，已经可以在非常广泛的场景下使用这门语言。

• 推荐理由：精心设计的语法，易于编写和阅读。可能是目前世界上语法最精简的静态编程语言。

• 示例代码：

Main(->) {
    print("Hello, world!")
    greetings = get_greetings("love lite!")
    greetings @ [index]value {
        ? index == 0 {
            print(value)
        } index == 1 {
            print(value + ", 世界!")
        } _ {
            print(value + ", world!")
        }
    }
}

get_greetings(first str -> result []str) {
    <- first + {"你好", "Hola", "Bonjour",
                "Ciao", "こんにちは", "안녕하세요",
                "Cześć", "Olá", "Здравствуйте",
                "Chào bạn"}
}

[no1xsyzy]

问题是关键词没少啊，如果你能明白 pascal.h 就知道为什么说关键词没变少了
#define begin {
#define end }
#define if if(
#define then )
……

私以为，简洁的核心是 “匹配”，就像 erlang / elixir 做的那样。
那一段循环，我觉得设计成这样更好：
foreach(greetings) {
0:value {
print(value)
}
1:value {
print(value + ", 世界!")
}
_:value {
print(value + ", world!")
}
}

[secondwtq]

@no1xsyzy 为什么 foreach 要带 pattern matching 的功能？ do one thing and do it well 就不是简洁了？

[chenjau]

关键词多寡从来不是真正的痛点. 且关键词比符号更易读, 直观. 使用符号代替关键词是南辕北辙.
减少语言表达力的后果是代码繁琐, 增加读写负担. 极端的例子是 brainfuck.

[no1xsyzy]

@ihciah 我觉得你说反了，编译器没有 bin 只有 src。
三个 releases 链接都是 “ There aren ’ t any releases here ”
@pisc 同上，只有源代码。
go 还可以 go run 一站式解决问题，姑且算问题不大
C# 还得自己开编译器编译后再使用
typescript 竟然还需要 Java 环境并 curl 一个 jar 包

[no1xsyzy]

@secondwtq 不如说 foreach 只有 pattern match，整个语言基本围绕 pattern match 发挥，连赋值都实质是 pattern match 的特形，函数调用也是 pattern match （函数定义是那个 pattern ）。
new_dict = {**dict, 'add_key': new_value}
{**newer_dict, 'remove_key': extracted_value} = new_dict
{**newest_dict, 'remove_key': extracted_value} = newer_dict // throws
func({'what_i_need':the_value, **other_params_that_can_passthrough}){doSomething(the_value, other_params_that_can_passthrough)}
这样反而不违背 do one thing，不是吗？

不过 pattern match 的一个重要核心是有 atom 或者 symbol，不存在的话只能用字符串脏一下。

[secondwtq]

@no1xsyzy 这个比楼主现在的东西有意思多了

我觉得 symbol 还是要加的

[dandycheung]

我觉得挺好，不算难看，不用管别人，自己喜欢就好，不好再改

[hwdef]

@pisc 开源了。。。。

[no1xsyzy]

另外，看 spec 的结论是和 go 一样强制 “{” 在前一行行尾不得新行
还有，你说这是静态语言？为什么会有判断类型的语法？
https://github.com/kulics/lite/blob/master/book-zh/document.md#%E6%A8%A1%E5%BC%8F%E5%8C%B9%E9%85%8D

[no1xsyzy]

@secondwtq 其实如果区分左值和右值的话最新 ES 就已经基本符合了，甚至 'a':a 可以被糖成 a。
不区分左右就必然是函数式或者类函数式，不然的话 a,b,c = b,c,a 有歧义。
区分的话不能 {'type':'addValue', 'content':value_to_add, 'received':true} = msg 这样做双向传递了
if(msg['type']=='addValue'){value_to_add=msg['content'];msg['received']=true}
不过可以
[{'type':'addValue', 'content':value_to_add}|msgq] = msgq // 如果第一个消息类型是 addValue 就会被提取并移除。
各有好坏吧。

[pisc]

@no1xsyzy 核心不是 coc 么，pattern match 不过就是个 eliminator 而已，而且跟 Atom, 和 symbol 有啥关系。
@hwdef LZ 给的 repo 没有，是放其他地方了么。。。

[Kulics]

@surewen
1. 我没有特意追求 typing 效率，这不是 Lite 的目标，追求的人可以不用。
2.3. 得完整看完文档之后才能真的理解是不是增加了复杂性，只看我贴出来的样板代码内容太有限。

[Kulics]

@cnxobo 不太算是 dsl

[Kulics]

@Vegetable 关键词跟功能没有意义上的相等，看怎么理解，有人觉得是操作符，有人觉得是关键字，我只想精简，怎么定义都行。

[Kulics]

@vscode
不是因为符号=>简单，是因为语法设计，就算把符号换成关键字，它也依然很精简。

[Kulics]

@ihciah 文档里有提到开源仓库，反而我还没提供 binary。

[Kulics]

@liuxey 有仇的，因为我们的姿势不一样

[Kulics]

@no1xsyzy
关键词被操作符替代了，数量上的确是没变少，我也没说过它门槛低，还是需要学习的，没有降低编程难度。
那一段其实可以写的更短，但是没那么做，判断语法那里有提到另一种写法。

[hwdef]

@pisc 因为支持输出到 C#/Go/TypeScript，无法放在一个仓库里，所以分开放在其他仓库了，在文档里有说明，有兴趣可以了解一下

[Kulics]

@chenjau
去掉关键字不是设计目标，目标是精简，Lite 跟 c# 基本无缝互操作，表达力没少多少。