共计 1457 个字符，预计需要花费 4 分钟才能阅读完成。
前景提要：我自创了一门编程语言，可以看作另一个 TypeScript，但是比 TS 更简约，原文在：https://www.v2ex.com/t/1010934
经过几天与网友们的激烈对线（感谢这些网友们的意见建议），我承认我的自制编程语言有几个问题：类型表达能力不足，冒号太多，违逆一般认知等，吸取了这些教训后，我对 GreatScript 又进行了大刀阔斧的改革，以至于我不得不用一个新名字去命名它，这就是 JS#。
为什么命名为 JS#，因为我主要用 #符号去进行类型标注，大致语法在（如果感觉不错希望点个 Star）：greatscript.github.io/index.md at main · HeroIsUseless/greatscript.github.io
JS# 的特点在于：
- 代码量比 JS/TS 少
- 语法少，自洽
下面跟 TS 对比一下：
// 定义一个常量
const a : number = 1; // TS
a # number : 1 // JS#
与 TS 相比，取消了“const”符号，同时用 # 符号标注类型，因为在某些编程语言里 (例如 python，shell)，# 代表注释，所以我认为这样用很合理，直观，简约。
// 定义一个变量
let b : number | string = 1; // TS
b! # number | string : 1 // JS#
// 赋值一个变量
b = 2; // TS
b = 2 // JS#
变量在 JS# 中，用感叹号！定义，代表这是一个变量，需要警惕 / 注意。而赋值则与 JS/TS 相同。
// 定义一个 object
const c = {
d: 1 as number,
e: '' as string
}; // TS
c : {
d # number : 1,
e # string : ''
} // JS#
在定义一个结构体这里，JS# 就体现出了对 TS 甚至对 JS 的优越性：语法自洽。因为 JS# 保持了语法的一致性，为什么 JS# 非得用冒号赋值，其实就是为了兼容这里，相比之下，JS/TS 在赋值变量常量用等号 =，在赋值属性的时候用冒号：就不太能说得过去了吧？
// 定义一个函数
function add(a : number, b : number) : number {return a + b;} // TS
add(a # number, b # number) # number : (a + b) // JS#
// 函数执行
add(1, 2); // TS
add(1, 2) // JS#
对于函数，JS# 的观念是一个待执行的表达式，或者叫表达式模版，所以用圆括号包裹，函数执行时表示表达式立即执行，圆括号被解构掉，很完美啊，而且函数声明与常量 / 变量声明统一了。而执行则与 JS/TS 相同。
// 定义一个类
class Person {
id: number
name: string
} // TS
Person() : {
id # number : 0
name # string : ''
} // JS#
// 初始化一个类实例
const person = new Person(); // TS
person : Person() // JS#
对于类定义，JS# 则将其看作一个函数，或者说一个模版，在调用时，立即执行该表达式，由于该表达式是一个结构体，则立即返回一个结构体，达到初始化一个类的效果，我觉得很巧妙，但是还有一些并没有思考清楚，例如构造函数之类的（最差就是照搬 JS/TS）。
还有其他很多地方还没有思考，比如说泛型，接口，类型定义什么的，但是我认为问题不大，类型表达能力应该和 TS 相同，并且应该没有什么语法上的移进规约冲突之类的。
最后附一个类型定义的语法设计：
// 定义一个类型
type T = number | string; // TS
T #: number | string // JS#(草案)
