luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-10 22:00:54 +01:00
Code Issues Projects Releases Packages Wiki Activity

Suggestions on the HATRA paper from Robert Melly

Browse source
This commit is contained in:
ajeffrey@roblox.com 2021-07-20 11:06:15 -05:00
parent 7296033f23
commit 90d555c27f
3 changed files with 7 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
papers/hatra21/bibliography.bib
View file

@ -73,7 +73,7 @@
} }
@InProceedings{WellTyped, @InProceedings{WellTyped,
author = {Philip Wadler and Robert Bruce Findler}, author = {Philip Wadler and Robert B. Findler},
title = {Well-typed Programs Can’t be Blamed}, title = {Well-typed Programs Can’t be Blamed},
booktitle = {Proc. European Symp. Programming}, booktitle = {Proc. European Symp. Programming},
year = {2009}, year = {2009},
@ -81,7 +81,7 @@
} }
@InProceedings{Contracts, @InProceedings{Contracts,
author = {Robert B, Findler and Matthias Felleisen}, author = {Robert B. Findler and Matthias Felleisen},
title = {Contracts for Higher-order Functions}, title = {Contracts for Higher-order Functions},
booktitle = {Proc. Int. Conf. Functional Programming}, booktitle = {Proc. Int. Conf. Functional Programming},
year = {2002}, year = {2002},

BIN
papers/hatra21/hatra21.pdf
View file

Binary file not shown.

9
papers/hatra21/hatra21.tex
View file

@ -39,7 +39,7 @@
\begin{abstract} \begin{abstract}
Luau is the scripting language used in creating Roblox experiences. Luau is the scripting language used in creating Roblox experiences.
It is a statically-typed language based on the dynamically-typed Lua language, It is a statically-typed language based on the dynamically-typed Lua language,
and uses type inference to infer types. These types are used in the with type inference. These types are used in the
IDE, for example when providing autocomplete suggestions. In this IDE, for example when providing autocomplete suggestions. In this
paper, we describe some of the goals of the Luau type system, paper, we describe some of the goals of the Luau type system,
focusing on where the goals are different from those of other type systems. focusing on where the goals are different from those of other type systems.
@ -77,7 +77,7 @@ developers of experiences with billions of plays are on the same
platform as children first learning to code. Moreover, \emph{both of platform as children first learning to code. Moreover, \emph{both of
these groups are important}, as the professional development studios these groups are important}, as the professional development studios
bring high-quality experiences to the platform, and the beginning creators bring high-quality experiences to the platform, and the beginning creators
contribute to the energetic creative community. contribute to the energetic creative community, and will form the next generation of developers.
\subsection{Goal-driven learning} \subsection{Goal-driven learning}
@ -91,7 +91,8 @@ The user experience of developing a Roblox experience is primarily a
and deploys 3D assets such as terrain, parts and joints, and provides and deploys 3D assets such as terrain, parts and joints, and provides
them with physics attributes such as mass and orientation. The user them with physics attributes such as mass and orientation. The user
can interact with the experience in Studio, and deploy it to a Roblox can interact with the experience in Studio, and deploy it to a Roblox
server so anyone with the Roblox app can play it. server so anyone with the Roblox app can play it. Physics, rendering
and multiplayer are all immediately accessible to all creators.
\begin{figure} \begin{figure}
\includegraphics[width=0.48\textwidth]{studio-mow.png} \includegraphics[width=0.48\textwidth]{studio-mow.png}
@ -104,7 +105,7 @@ At some point during experience design, the user of Studio has a need
which can't be met by the physics engine alone. ``The stairs should which can't be met by the physics engine alone. ``The stairs should
light up when a player walks on them'' or ``a firework is set off light up when a player walks on them'' or ``a firework is set off
every few seconds.'' At this point they will discover the script every few seconds.'' At this point they will discover the script
editor, seen in Fig.~\ref{fig:studio}(b), and the Luau programming language. editor, seen in Fig.~\ref{fig:studio}(b).
This onboarding experience is different from many initial exposures to This onboarding experience is different from many initial exposures to
programming, in that by the time the user first opens the script programming, in that by the time the user first opens the script