io.write() doesn't add implicit spaces between arguments. io.writeln() does, but its name implies no difference other then appending trailing newline.
I think it's better to not add automatic spacing, at least not with generic io.write* routines which aren't only useful to print console messages. For pretty-printing, other functions may be introduced, e.g. io.put or io.print.
io.write()
doesn't add implicit spaces between arguments.io.writeln()
does, but its name implies no difference other then appending trailing newline.I think it's better to not add automatic spacing, at least not with generic
io.write*
routines which aren't only useful to print console messages. For pretty-printing, other functions may be introduced, e.g.io.put
orio.print
.