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

Another draft

Browse source
This commit is contained in:
ajeffrey@roblox.com 2023-07-17 13:29:43 -07:00
parent 4720d333ef
commit 98c40a0cfb
2 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
papers/hatra23/hatra23.pdf
View file

Binary file not shown.

7
papers/hatra23/hatra23.tex
View file

@ -103,8 +103,11 @@ inference~\cite{PT00:LocalTypeInference}.
Currently, non-strict mode operates in the style of gradual type
systems by inferring $\ANY$ as the type for local variables. This does
not play well with type-directed tooling, for example $\ANY$ cannot
provide autocomplete suggestions. We plan to improve non-strict mode's
type inference and interaction with error-suppression.
provide autocomplete suggestions.
We hope that, together with error suppression, these changes will
result in a significant improvement to type inference and type error
reporting in non-strict mode.
\bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}