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

Add citation to Elixir

Browse source
This commit is contained in:
ajeffrey@roblox.com 2023-09-08 16:49:54 -05:00
parent 21b2e5500f
commit 781345067a
1 changed files with 10 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
rfcs/new-nonstrict.md
View file

@ -270,6 +270,8 @@ Here, `T` is a testable type, that is a scalar type, singleton type,
As a further extension, we might allow users to explicitly provide `@checked` type annotations. As a further extension, we might allow users to explicitly provide `@checked` type annotations.
Checked functions are known as strong functions in Elixir.
## Drawbacks ## Drawbacks
This is a breaking change, since it results in more errors being issued. This is a breaking change, since it results in more errors being issued.
@ -318,13 +320,18 @@ The problem with doing this is what to do about recursive functions.
## References ## References
Lily Brown, Andy Friesen and Alan Jeffrey Lily Brown, Andy Friesen and Alan Jeffrey
*Position Paper: Goals of the Luau Type System* *Position Paper: Goals of the Luau Type System*,
In HATRA '21: Human Aspects of Types and Reasoning Assistants, in HATRA '21: Human Aspects of Types and Reasoning Assistants,
2021. 2021.
https://doi.org/10.48550/arXiv.2109.11397 https://doi.org/10.48550/arXiv.2109.11397
Giuseppe Castagna, Guillaume Duboc, José Valim
*The Design Principles of the Elixir Type System*,
2023.
https://doi.org/10.48550/arXiv.2306.06391
Tobias Lindahl and Konstantinos Sagonas, Tobias Lindahl and Konstantinos Sagonas,
*Practical Type Inference Based on Success Typings*, *Practical Type Inference Based on Success Typings*,
In PPDP '06: Principles and Practice of Declarative Programming, in PPDP '06: Principles and Practice of Declarative Programming,
pp. 167–178, 2006. pp. 167–178, 2006.
https://doi.org/10.1145/1140335.1140356 https://doi.org/10.1145/1140335.1140356