Programming Languages
Luau型システムの目標
Author
Venue
「タイプと推論アシスタントの人間的側面」ワークショップ 2021
Abstract
Luauは、Robloxプラットフォーム上でユーザーが作成する体験を支えるスクリプト言語です。これは、動的型付け言語であるLuaをベースとし、型推論機能を備えた静的型付け言語です。これらの型は、Roblox体験を作成するためのIDEであるRoblox Studioにおいて、エディタ支援機能を提供するために使用されます。 Robloxのユニークで多様な開発者コミュニティのため、Luauは従来の静的型付け言語とは多少異なる方法で動作する必要があります。本論文では、Luauの型システムの目標の一部について、他の型システムとの違いに焦点を当てて説明します。
