mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-10 22:00:54 +01:00
41 lines
814 B
TeX
41 lines
814 B
TeX
\documentclass[acmsmall]{acmart}
|
|
|
|
\setcopyright{rightsretained}
|
|
\copyrightyear{2021}
|
|
\acmYear{2021}
|
|
\acmConference[HATRA '21]{Human Aspects of Types and Reasoning Assistants}{October 2021}{Chicago, IL}
|
|
|
|
\begin{document}
|
|
|
|
\title{The Goals of the Luau Type System}
|
|
|
|
\author{Alan Jeffrey}
|
|
\author{Other People?}
|
|
\affiliation{
|
|
\institution{Roblox}
|
|
\city{San Mateo}
|
|
\state{CA}
|
|
\country{USA}
|
|
}
|
|
|
|
\begin{abstract}
|
|
A position paper about the goals Luau type system.
|
|
\end{abstract}
|
|
|
|
\maketitle
|
|
|
|
\section{Introduction}
|
|
|
|
The Luau Programming Language~\cite{Luau}
|
|
is the scripting language used by developers of Roblox
|
|
experiences.
|
|
|
|
\section{Infallible types}
|
|
\section{Strict types}
|
|
\section{Nonstrict types}
|
|
\section{Conclusions}
|
|
|
|
\bibliographystyle{ACM-Reference-Format}
|
|
\bibliography{bibliography}
|
|
|
|
\end{document}
|