Lua operators, why isn’t +=, -= and so on defined?

by

This is just guesswork on my part, but:

1. It’s hard to implement this in a single-pass compiler

Lua’s bytecode compiler is implemented as a single-pass recursive descent parser that immediately generates code. It does not parse to a separate AST structure and then in a second pass convert that to bytecode.

This forces some limitations on the grammar and semantics. In particular, anything that requires arbitrary lookahead or forward references is really hard to support in this model. This means assignments are already hard to parse. Given something like:

foo.bar.baz = "value"

When you’re parsing foo.bar.baz, you don’t realize you’re actually parsing an assignment until you hit the = after you’ve already parsed and generated code for that. Lua’s compiler has a good bit of complexity just for handling assignments because of this.

Supporting self-assignment would make that even harder. Something like:

foo.bar.baz += "value"

Needs to get translated to:

foo.bar.baz = foo.bar.baz + "value"

But at the point that the compiler hits the =, it’s already forgotten about foo.bar.baz. It’s possible, but not easy.

2. It may not play nice with the grammar

Lua doesn’t actually have any statement or line separators in the grammar. Whitespace is ignored and there are no mandatory semicolons. You can do:

io.write("one")
io.write("two")

Or:

io.write("one") io.write("two")

And Lua is equally happy with both. Keeping a grammar like that unambiguous is tricky. I’m not sure, but self-assignment operators may make that harder.

3. It doesn’t play nice with multiple assignment

Lua supports multiple assignment, like:

a, b, c = someFnThatReturnsThreeValues()

It’s not even clear to me what it would mean if you tried to do:

a, b, c += someFnThatReturnsThreeValues()

You could limit self-assignment operators to single assignment, but then you’ve just added a weird corner case people have to know about.

With all of this, it’s not at all clear that self-assignment operators are useful enough to be worth dealing with the above issues.

Related Contents:

  1. Why are there no ||= or &&= operators in C#?
  2. Is Lua based primarily on well-established programming-language ideas? [closed]
  3. Lua string to int
  4. Why does Lua have no “continue” statement?
  5. How to get number of entries in a Lua table?
  6. How to dump a table to console?
  7. Most efficient way to determine if a Lua table is empty (contains no entries)?
  8. Inline conditions in Lua (a == b ? “yes” : “no”)?
  9. How to remove a lua table entry by its key?
  10. How to iterate individual characters in Lua string?
  11. Concatenation of strings in Lua
  12. Shortcut “or-assignment” (|=) operator in Java
  13. Why doesn’t Java have compound assignment versions of the conditional-and and conditional-or operators? (&&=, ||=)
  14. How to check if a table contains an element in Lua?
  15. How do I append to a table in Lua
  16. How to check if two Torch tensors or matrices are equal?
  17. How can I create a secure Lua sandbox?
  18. How do you copy a Lua table by value?
  19. Lua os.execute return value
  20. Is there a better way to require file from relative path in lua
  21. Why is LuaJIT so good?
  22. Load Lua-files by relative path
  23. Torch – How to change tensor type?
  24. What does # mean in Lua?
  25. Concatenation of tables in Lua
  26. Is LuaJIT really faster than every other JIT-ed dynamic languages? [closed]
  27. Get back the output of os.execute in Lua
  28. How to format a lua string with a boolean variable?
  29. lua: retrieve list of keys in a table
  30. What is a good game engine that uses Lua? [closed]
  31. Lua print on the same line
  32. How to read data from a file in Lua
  33. Safely remove items from an array table while iterating
  34. How to exit a Lua script’s execution?
  35. What is the relationship between PyTorch and Torch?
  36. Why is “final” not allowed in Java 8 interface methods?
  37. Benefits of prototypal inheritance over classical?
  38. Why doesn’t String switch statement support a null case?
  39. For Loop on Lua
  40. Does any other language other than JavaScript have a difference between brace start locations (same line and next line)?
  41. What is the motivation for Scala assignment evaluating to Unit rather than the value assigned?
  42. Why can’t I inherit from int in C++?
  43. How to check if matching text is found in a string in Lua?
  44. Why does Python assignment not return a value?
  45. Purpose of “let expression” (LetExpr) in the Java compiler?
  46. Bounding generics with ‘super’ keyword
  47. Why does the power operator in F# only work for floating point numbers?
  48. Could a final variable be reassigned in catch, even if assignment is last operation in try?
  49. Why does Python’s itertools.permutations contain duplicates? (When the original list has duplicates)
  50. The forgotten assignment operator “=” and the commonplace “:=”

Leave a Comment