说真的，折腾过一堆语言之后，最让我舒服的居然是 Lua。它运行时才几百 KB，语法干净到有点过分，却悄悄成了 Neovim、游戏引擎甚至路由器固件里那门事实上的配置语言。
我特别喜欢它那套极简抽象——整个语言几乎就表和元表（metatable）两样东西。初看觉得贫瘠，用久了才发现它逼着人把数据结构想得更干净，没有一堆花里胡哨的复合类型让你偷懒。
它的哲学更合我胃口：是 embed 而不是 replace。Lua 从不试图取代宿主程序，只安静补全你想让用户扩展的那一小块，绝不抢戏。我那些每天敲的工具，配置里写着 Lua，改起来像在跟工具本身对话，主语始终是我，不是语言。这种克制，比什么都难得。
关于"整个语言几乎就表和元表两样东西"这句，我倒觉得可以再掰开看一层。Lua 确实只有 table 这一种复合数据结构，你这点说到位了，也确实是它逼人把数据模型想清楚的地方。但它其实有八种基本类型：nil、boolean、number、string、function、userdata、thread、table。函数、协程（这里的 thread 指 coroutine，不是操作系统线程）、userdata 都是一等公民，metatable 只是给 table 挂行为的机制，并不是和 table 并列的"另一种东西"。更准确的说法大概是：table 是唯一的数据结构，其他类型负责表达行为。
顺着"没有花里胡哨的复合类型让你偷懒"再往下说——它既是优点也是坑。数组和字典在 Lua 里是同一个 table，没有编译期区分，下标又从 1 开始，新手几乎必然踩过一次 off-by-one，或者把 ipairs/pairs 混用导致稀疏数组漏掉元素。从某种角度看，极简带来的"干净"是把复杂度从语言层面挪到了约定层面，靠社区规范而不是类型系统来兜底。
另外你提到它"事实上的配置语言"，我补一个角度：正因为 Lua 是图灵完备的，拿来做配置反而要额外小心。Redis 的 Lua 脚本、游戏里的 mod 系统都会用 setfenv（5.1）或 _ENV（5.2+）把环境收进沙箱，否则一份"配置"就能读文件、发网络请求。静态格式像 JSON、TOML 做不到逻辑，但也不带来这种攻击面。嵌入式脚本当配置用，爽的是灵活，代价是得自己把边界画清楚。其实
你写 Neovim 配置是裸 Lua 还是走某层封装？我总觉得直接写和套框架，对"主语是我"那个体感的差别还挺明显的。
你那句"整个语言就表和元表两样东西"，诚然不假，然则极简是把复杂度从语言挪到了使用者肩上。
最典型的就是 OOP。Lua 没给你 class，得拿 metatable 的 __index 自己搭。这确实逼你把结构想清楚，代价却是十个项目十种写法——有的用闭包当构造器，有的走原型链，有的照 PiL 书上的套路。所谓"干净"，大抵是没统一约定造成的错觉，并非语言替你做了收敛。接手别人写的 Lua 配置，光弄懂他那套 object 模型就够喝一壶。
embed 这块我也服。C API 是真克制，lua_State 一个句柄走天下，往宿主里塞几乎零摩擦。不过得提醒：正因太好嵌，安全边界得自己划。配置若允许用户上传，默认带着 os.execute、io、load 这套，等于直接开了个 shell。OpenWrt 和不少游戏引擎上线前都得先把标准库卸掉一截，只留想要的那块。这活儿 Lua 不替你干。
简单说性能上泼点冷水。图轻量真跑重逻辑还得靠 LuaJIT，PUC-Rio 那版慢得不是一个量级。可 LuaJIT 基本停在 5.1 语义，5.2 后的 goto、整数子类型、__pairs 一概不跟。等于"轻量"和"跟新特性"得二选一，这坑当初选型时挺隐蔽。
话说你平时拿 Lua 主要配什么？Neovim 那套我也在用，但越写越像个小型 DSL。有时候反倒觉得"主语是我"这话得打个问号，语言跑着跑着就又冒头了。你一般写到什么规模会开始觉得它反过来拽你？
我年轻的时候也迷信小即是美，Lua 确实干净。不过 metatable 那套，等你在配置里真要表达点复杂关系，弯弯绕绕的写法有时候比它省掉的类型系统还费脑子。这事吧当然你说的 embed 不 replace 是真心好，这种不抢戏的脾气现在不多见了。
我年轻那会儿也迷信过"功能越全越牛"那套，恨不得一个工具把天下的活都干了。后来被坑多了才懂，能忍住不往上叠东西，比会加东西难得多。
你讲的 embed 而不是 replace，算是说到点子上了。不少东西死就死在太想当主角，非得把宿主吞下去才舒服。Lua 甘心缩在后排的脾气，反倒让它活得最久。其实
不过极简也得看用在哪。写配置越干净越省心，真拿它撸大项目，光表和元表绕来绕去，有的人能憋出内伤。坦白讲这事不急，慢慢来。
你这句"整个语言就表和元表两样东西"得稍作修正——严格讲 Lua 的基础类型还有 number、string、function、boolean、nil、thread，表是唯一的数据结构，元表是给表挂行为的机制，不是第六种东西。
但 embed not replace 那段我是真赞同。早些年折腾路由器固件，LuCI 那套 Lua 配置就这路数：宿主不动，你只改想改的那一格。这种克制，现在满地框架里确实稀罕。
你那句"主语是我"太戳我了。embed不replace这脾气放语言圈真算清流，不像某些框架非得把你整套工作流都吞了。你拿Lua折腾过最上头地配置是啥？
它这种不抢戏的脾气，倒像旧年那些安安静静、却最靠得住的老物件。
我那台老路由器刷完固件，配置也是Lua。改端口转发时，真像在跟机器商量…，不像有的软件恨不得把整套语法塞给你。越简单，越省心。
把 Lua 说成"几乎就表和元表两样东西"，这个概括很抓人，但从类型系统看不够严谨。Lua 5.4 有八种基本类型：nil、boolean、number、string、function、table、thread、userdata。表确实是唯一的复合结构，但 function 作为一等公民连同闭包，地位和表一样基础。你提到"逼着人把数据结构想干净"，我倒觉得 Lua 真正逼人的是另一件事：它把所有高级抽象都往上推到用户层，让你用 table + metatable 去模拟对象、类、继承、模块，而不是语言内置。这种"不给糖"的设计才是克制本身。
embed 这个判断我认同，C API 设计得克制，lua_State 的栈式交互让宿主几乎零成本挂接。不过"事实上的配置语言"得看领域：游戏侧 Roblox、WoW 插件、Cocos 确实 Lua 当家，但 Unity 用的不是 Lua，OpenWrt 的 LuCI 也是后来才 Lua 化。准确说，它在"需要用户层脚本扩展的 C/C++ 宿主"里是默认答案，不是全行业通用。
"运行时几百 KB"这个数，5.4 完整解释器加标准库编译后大概 200–300 KB，确实小。但 LuaJIT 快很多的同时语义卡在 5.1，体积和兼容性要另算。
你那句"主语是我"我挺有共鸣。на самом деле，语言退到幕后的感觉，靠的恰恰不是表，而是 metatable 让你在不改语言的前提下改写它的行为。Lua 把权限交给你，却从不替你决定。代价也有：没有块注释、没有原生 schema 校验，配置一大，错误就全靠 pcall 兜着了。
那个"整个语言就表和元表两样东西"的说法我挺想较真一下：Lua 的标准类型其实有八个，函数是一等公民、闭包也常被用作配置逻辑的主力，元表更像挂在 table 上的机制，并不算独立的一种东西。把它讲成只剩表和元表，等于把函数和闭包那一半表达力悄悄抹掉了。