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

Update papers/hatra21/talk.tex

Browse source 
Co-authored-by: Andy Friesen <afriesen@roblox.com>
This commit is contained in:
Alan Jeffrey 2021-09-22 12:56:03 -05:00 • committed by GitHub
parent 4113b520fa
commit 626f71734b
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
papers/hatra21/talk.tex
View file

@ -186,7 +186,7 @@ Goal: \emph{support mixed strict/nonstrict development}.
Goal: \emph{provide benefits of type-directed tools to everyone}.
\begin{itemize}
\item \textbf{Infer types} for all variables, don't just give them type any.
\item \textbf{Infer types} for all variables. Resist the urge to give up and ascribe a top type when an error is encountered.
\item \textbf{System F} is in Luau, so everything is undecidable. Yay heuristics!
\item \textbf{Different modes} currently infer different types. Boo!
\end{itemize}