aatxe
commented
3 weeks ago I'm very confused by what you're suggesting here. Luau already includes a type system that supports both automatic type inference and explicit type annotations.
If you're specifically asking about inserting runtime typechecking based on explicit type annotations, TypeScript doesn't do this either. It is possible to do, but runtime typechecking comes at considerable costs, particularly when you're dealing with higher-order functions which are reasonably common in Luau.
Strokkur424
It would be really sick if you could explicetly define types for variables, as to prevent unsafe operations by accident.
Where would this be a case?
The most obvious usecase would be for variables:
Another place I would put this, is into function declarations, like this:
Why?
A runtime error could be thrown if a explicetly typed variable would be:
Some more information
This would not replace the current in-set dynamic typing. It would incorporate the possibility to use both at once, if wanted. Similar to how TypeScript merely adds type checking to JavaScript, in order to enhance code readability.
Afterword
If you have questions or further ideas, please comment down below. I will respect all feedback about it. If this is seen as a positive idea, I might even try to implement it myself (but don't get your hopes up though).