Programming Languages
Luau 类型系统的目标
Author
Venue
2021年类型与推理助手的人文视角研讨会
Abstract
Luau 是驱动 Roblox 平台上用户生成体验的脚本语言。它是一种基于动态类型语言 Lua 并支持类型推断的静态类型语言。这些类型用于在 Roblox Studio（用于创作 Roblox 体验的集成开发环境）中提供编辑器辅助功能。 鉴于 Roblox 开发者社区的独特异构性，Luau 的运行方式必须与传统的静态类型语言有所不同。本文阐述了 Luau 类型系统的一些设计目标，重点探讨其与其他类型系统的差异所在。
