[开源] 写了个仿 TypeScript 的静态编译型语言,前端朋友可以重点关注一下 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
爱意满满的作品展示区。
EulerChen
V2EX    分享创造

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

  •  2
     
  •   EulerChen
    ApsarasX 2020-12-20 15:17:42 +08:00 2346 次点击
    这是一个创建于 1830 天前的主题,其中的信息可能已经有所发展或是发生改变。

    背景介绍

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

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

    当然,对于 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

    6 条回复    2020-12-23 13:34:10 +08:00
    agagega
        1
    agagega  
       2020-12-20 15:36:59 +08:00 via iPhone
    编译到 LLVM IR ?我记得已经有类似的从 TS 到 Wasm 的尝试了
    EulerChen
        2
    EulerChen  
    OP
       2020-12-20 15:40:11 +08:00
    @agagega 你说的是 AssemblyScript 吧,那个项目使用 Binaryen 把 TS 编译到 wasm
    zhwithsweet
        3
    zhwithsweet  
       2020-12-21 10:59:24 +08:00
    又有新玩具了。支持
    DiamondYuan
        4
    DiamondYuan  
       2020-12-21 12:46:03 +08:00
    @EulerChen


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

    你听说过 staic typescript 吗?把 ts 的子集编译到机器码。
    EulerChen
        5
    EulerChen  
    OP
       2020-12-21 12:47:34 +08:00
    @DiamondYuan 知道呀,我看过那篇论文,在那个知乎链接里讨论的最多的就是这个 STS
    chenpingan
        6
    chenpingan  
       2020-12-23 13:34:10 +08:00
    支持
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     1117 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 30ms UTC 17:57 PVG 01:57 LAX 09:57 JFK 12:57
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86