[开源] 写了个仿 TypeScript 的静态编译型语言，前端朋友可以重点关注一下

[EulerChen]

背景介绍

TypeScript 现在已经成了前端项目的标配，但是现在的 TypeScript 实际上只是用于对前端代码的静态类型检查工作，它并没有自己真正的编译器或者运行时(runtime)，前端项目编译打包时都把 TypeScript 编译为了 JavaScript 。

即使号称 Node.js 的替代品的deno，也是内置了 tsc，内部执行 TypeScript 时先使用 tsc 编译到 JavaScript 再使用 v8 引擎执行。

当然，对于 TypeScript 运行时的讨论也是很激烈的，比如

• 随着 TypeScript 继续普及，会不会出现直接跑 TypeScript 的运行时

我的目标

作为一个爱瞎搞的前端工程师，我打算搞点有趣的东西。

我打算做一个能把 TypeScript 代码编译为可执行文件的编译器，就像 gcc 能够把 C/C++代码编译为可执行文件一样。

可行性分析

TypeScript 诞生自 2013 年，通过 7 年的发展，语言特性相当得多，而且从一门编程语言的角度来说，TypeScript 存在一些 unsound 的部分，比如交叉类型和联合类型，因此支持 TypeScript 的所有特性是不现实的，而我的目标很简单：够用就行

成果展示

肝了四个月，我终于做成了。

代码放在了下面的仓库中

https://github.com/StaticScript/StaticScript

安装

Ubuntu

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/StaticScript/StaticScript/master/install-ubuntu.sh)"

或者

wget https://raw.githubusercontent.com/StaticScript/StaticScript/master/install-ubuntu.sh
sudo chmod +x install-ubuntu.sh
sudo /bin/bash install-ubuntu.sh

• 对于其他的 Linux 发行版, 你需要修改安装脚本才能正常安装
• 安装脚本需要 sudo 权限

macOS

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/StaticScript/StaticScript/master/install-macos.sh)"

或者

wget https://raw.githubusercontent.com/StaticScript/StaticScript/master/install-macos.sh
sudo chmod +x install-macos.sh
sudo /bin/bash install-macos.sh

• 安装脚本需要 sudo 权限

Windows

暂不支持

使用

首先编写像下面这样一个合法的 StaticScript 代码文件

// test.ss

let content: string = "Hello World";

ss_println_string(content);

然后在命令行里执行下面这样的命令

staticscript test.ss -o test.exe
./test.exe

我们先试试写一个斐波那契额列函数

再来求一个 1-100 的和

Great!

技术分析

这个编译器基于 Antlr 和 LLVM 开发，整体工作流程如下图所示

这个项目的源码对初学者友好（我自己就是初学者），感兴趣的小伙伴可以看看我写的源码哦，提提建议。

后续更新

StaticScript 目前仅仅支持了 TypeScript 的基础特性，对于一些高级特性正在积极开发中

欢迎小伙伴们一起加入开发，也欢迎提出问题和建议

最后的最后，看了这么多，给个 star✨让我继续开发下去更有动力吧！

https://github.com/StaticScript/StaticScript

[agagega]

编译到 LLVM IR ？我记得已经有类似的从 TS 到 Wasm 的尝试了

[EulerChen]

@agagega 你说的是 AssemblyScript 吧，那个项目使用 Binaryen 把 TS 编译到 wasm

[zhwithsweet]

又有新玩具了。支持

[DiamondYuan]

@EulerChen


https://www.microsoft.com/en-us/research/uploads/prod/2019/09/static-typescript-draft2.pdf

你听说过 staic typescript 吗？把 ts 的子集编译到机器码。

[EulerChen]

@DiamondYuan 知道呀，我看过那篇论文，在那个知乎链接里讨论的最多的就是这个 STS

[chenpingan]

支持