发现各种软件替代方案,找到更适合您的选择
Lean 是一种基于依赖类型理论的函数式编程语言和交互式定理证明器。依赖类型理论将程序与证明的世界统一起来,因此 Lean 也是一种编程语言。
TXR是一种实用且便捷的数据处理语言,专注于从文件或流中处理文本,采用多种编程范式。它受到awk或perl等文本处理语言概念的影响,并借鉴了逻辑/人工智能领域的模式匹配思想。
TinyScheme 是一个轻量级的 Scheme 解释器,实现了尽可能多的 R5RS 子集,而无需变得过大或复杂。它旨在作为其他程序的嵌入式脚本解释器使用。
与C/C++类似,Terra是一种静态类型、编译型语言,具有手动内存管理。但与C/C++不同的是,Terra从一开始就被设计为可由Lua进行元编程。
Wren 是一种小巧、快速、基于类的并发脚本语言。它就像一个体积如 Lua 般的小型 Smalltalk,融入了一点 Erlang 的特性,并采用熟悉且现代的语法包装而成。
一种用Zig编写的轻量级静态类型脚本语言。
一种快速、友好且功能强大的语言。
Beef 是一种开源的、面向性能的编译型编程语言,其开发与集成开发环境(IDE)同步进行。
Mussel 是一种用 Rust 编写的解释型编程语言。它被设计为一种简单灵活的语言,注重易读的语法和强大的表达式求值能力。Mussel 支持基本数据类型、变量绑定、函数、闭包、控制流……
一种用于构建类型安全、可扩展系统的友好语言。


















