Pallene 是 Lua 的静态类型伴随语言,允许与 Lua 函数互相调用。Pallene 在语法上与 Lua 类似,但需要类型注解。类型系统包括 Lua 原始类型、字符串、数组、表、函数和记录,以及涵盖所有类型的 any 类型。Pallene 支持数组、表、函数、记录等数据结构,并提供类似 Lua 的语法。它还实现了部分 Lua 标准库函数,并支持自动类型转换和类型推断,方便开发者编写类型安全的 Lua 代码。