Factor（编程语言）

Factor 是一种以栈为基础的连接式编程语言，程序由一连串按顺序执行、隐式传递数据栈的词（word）组合而成，无需显式命名变量即可完成运算。它由斯拉瓦·佩斯托夫在 2003 年发起，最初运行于 Java 虚拟机，后来发展为拥有独立本地编译器的完整语言。

概述

Factor 属于连接式语言家族，思想上继承自 Forth 和 Joy。与 Forth 的低层风格不同，Factor 提供了动态类型对象系统、自动内存管理、模块化的词汇表（vocabulary）体系，以及内置的交互式监听器（listener）。它自带一个图形化的开发环境，可即时查看栈状态、浏览文档、单步调试，被认为是连接式语言中工具链最完善的实现之一。

核心特点

• 连接式与无点风格：函数组合通过并置表达，程序即数据流管线，鼓励小而可复用的词。
• 栈效果声明：每个词以栈效应注释描述输入输出，编译器据此做静态检查。
• 对象系统：支持元组、泛型词、多重分派，兼具面向对象与函数式风格。
• 自举编译器：Factor 用自身语言实现了优化编译器，可生成本地机器码。
• 丰富标准库：涵盖网络、图形界面、正则、数据库、Web 框架等大量词汇表。

应用场景

Factor 主要用于语言研究、脚本编写、快速原型和教学演示，展示连接式范式如何以极简语法表达复杂逻辑。其交互式环境也适合探索式编程与算法验证。由于社区规模较小，它在工业生产中的应用有限，更多作为一门思想实验性质的实用语言而受到程序语言爱好者关注。

常见问题

问：连接式编程和函数式编程有什么区别？答：函数式编程以函数应用和命名参数为核心，连接式编程则以函数组合为核心，通过隐式的数据栈串联操作，通常不出现具名变量，程序读起来像一条数据流水线。

问：Factor 和 Forth 是什么关系？答：两者都基于栈，但 Factor 引入了动态对象系统、垃圾回收、模块系统和现代工具链，抽象层次更高，更接近通用高级语言，而 Forth 更贴近硬件与嵌入式场景。