发现各种软件替代方案,找到更适合您的选择
实现了一个方案,提供解释器、编译器、源代码调试器、集成的类Emacs编辑器以及庞大的运行时库。
Lean 是一种基于依赖类型理论的函数式编程语言和交互式定理证明器。依赖类型理论将程序与证明的世界统一起来,因此 Lean 也是一种编程语言。
TinyScheme 是一个轻量级的 Scheme 解释器,实现了尽可能多的 R5RS 子集,而无需变得过大或复杂。它旨在作为其他程序的嵌入式脚本解释器使用。
与C/C++类似,Terra是一种静态类型、编译型语言,具有手动内存管理。但与C/C++不同的是,Terra从一开始就被设计为可由Lua进行元编程。
Wren 是一种小巧、快速、基于类的并发脚本语言。它就像一个体积如 Lua 般的小型 Smalltalk,融入了一点 Erlang 的特性,并采用熟悉且现代的语法包装而成。
一种快速、友好且功能强大的语言。
Beef 是一种开源的、面向性能的编译型编程语言,其开发与集成开发环境(IDE)同步进行。
Mussel 是一种用 Rust 编写的解释型编程语言。它被设计为一种简单灵活的语言,注重易读的语法和强大的表达式求值能力。Mussel 支持基本数据类型、变量绑定、函数、闭包、控制流……
MicroPython旨在实现Python 3.4标准(包含后续版本的部分特性)的语言语法,其大部分功能与docs.python.org上“语言参考”文档所描述的内容相同。



















