Thrilled to announce that Luau, a gradually typed language derived from Lua we've been working on for a few years now, is open-source! 🎉
You can read the full announcement here: luau-lang.org/2021/11/03/lua
And get the repository here: github.com/Roblox/luau ⭐
Conversation
Replying to
Awesome that you are open sourcing this! When you say gradually typed do you mean it is using type inference similar to say Haskell, or something else?
2
2
Replying to
We have two inference modes, strict and non-strict (per-module); in strict mode the type checker & inference work a bit like Haskell but in non-strict they are much more forgiving and often infer 'any' type. "Gradually" refers to the fact that parts of the program are untyped.
5
19
Show replies
Replying to
This is very cool, congratulations on the release! I'm curious about how the gradual type system operates: is there any runtime type checking for soundness when values cross from the `any` type to a static type, or are types erased like in TypeScript, Flow, etc?
1
1
7
Replying to
Types are erased right now, so we don't guarantee runtime soundness. This will likely change once we go further with our JIT plans.
1
22
Replying to
This is surreal to see happen! Congratulations to yourself and the team for this insane accomplishment. It's a huge inspiration for us to keep learning and growing our skills as well!
1
7
