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

Some ideas wrt mixing strict and nonstrict code.

Browse source
This commit is contained in:
Andy Friesen 2021-07-16 14:02:22 -07:00
parent 77c70d142e
commit 1e052dc450
1 changed files with 14 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
papers/hatra21/hatra21.tex
View file

@ -301,12 +301,24 @@ Related work: success types~\cite{???} and incorrectness logic~\cite{???}.
Goal: \emph{support mixed strict/nonstrict development}.
Real Luau programs contain many scripts, each of which may have its own mode,
so we need to support a mixture of strict and nonstrict development.
Like every active software community, Roblox developers share code
with one another constantly. First- and third-party developers alike
frequently share entire software packages written in Luau. To add to
this, many Roblox games are authored not by just one developer, but a
whole team.
It is therefore crucial that we offer first-class support for mixing
code written in strict and nonstrict modes.
Some issues raised by mixed-mode types:
\begin{itemize}
\item How much feedback can we offer for a nonstrict script that is
importing strict-mode code?
\item In strict mode, how do we talk about values and types that are
drawn from nonstrict code?
\item How can we combine the goals of strict and nonstrict types?
\item Can we have strict and non-strict mode infer the same types,