Lua (programming language) explained

Lua
Logo Size:128px
Screenshot Caption:Screenshot of Lua code from a Wikipedia Lua module using the MediaWiki Scribunto extension
Paradigm:Multi-paradigm

scripting, imperative (procedural, prototype-based, object-oriented), functional, meta, reflective

Designer:Roberto Ierusalimschy
Waldemar Celes
Luiz Henrique de Figueiredo
Typing:Dynamic, strong, duck
Implementations:[//www.lua.org/download.html Lua], LuaJIT, [//eliasdaler.github.io/luavela/ LuaVela], MoonSharp, [//luvit.io Luvit], [//www.luart.org LuaRT], Luau
Programming Language:ANSI C
Dialects:Metalua, Idle, GSL Shell
Influenced By:C++, CLU, Modula, Scheme, SNOBOL
Influenced:GameMonkey, Io, JavaScript, Julia, MiniD, Red, Ring,[1] Ruby, Squirrel, MoonScript, C--
Operating System:Cross-platform
License:MIT
File Ext:.lua

Lua is a lightweight, high-level, multi-paradigm programming language designed mainly for embedded use in applications.[2] Lua is cross-platform software, since the interpreter of compiled bytecode is written in ANSI C,[3] and Lua has a relatively simple C application programming interface (API) to embed it into applications.[4]

Lua originated in 1993 as a language for extending software applications to meet the increasing demand for customization at the time. It provided the basic facilities of most procedural programming languages, but more complicated or domain-specific features were not included; rather, it included mechanisms for extending the language, allowing programmers to implement such features. As Lua was intended to be a general embeddable extension language, the designers of Lua focused on improving its speed, portability, extensibility and ease-of-use in development.

History

Lua was created in 1993 by Roberto Ierusalimschy, Luiz Henrique de Figueiredo and Waldemar Celes, members of the Computer Graphics Technology Group (Tecgraf) at the Pontifical Catholic University of Rio de Janeiro, in Brazil.

From 1977 until 1992, Brazil had a policy of strong trade barriers (called a market reserve) for computer hardware and software, believing that Brazil could and should produce its own hardware and software. In that atmosphere, Tecgraf's clients could not afford, either politically or financially, to buy customized software from abroad; under the market reserve, clients would have to go through a complex bureaucratic process to prove their needs couldn't be met by Brazilian companies. Those reasons led Tecgraf to implement the basic tools it needed from scratch.[5]

Lua's predecessors were the data-description/configuration languages Simple Object Language (SOL) and data-entry language (DEL).[6] They had been independently developed at Tecgraf in 1992–1993 to add some flexibility into two different projects (both were interactive graphical programs for engineering applications at Petrobras company). There was a lack of any flow-control structures in SOL and DEL, and Petrobras felt a growing need to add full programming power to them.

In The Evolution of Lua, the language's authors wrote:[5]

Lua 1.0 was designed in such a way that its object constructors, being then slightly different from the current light and flexible style, incorporated the data-description syntax of SOL (hence the name Lua: Sol meaning "Sun" in Portuguese, and Lua meaning "Moon"). Lua syntax for control structures was mostly borrowed from Modula (if, while, repeat/until), but also had taken influence from CLU (multiple assignments and multiple returns from function calls, as a simpler alternative to reference parameters or explicit pointers), C++ ("neat idea of allowing a local variable to be declared only where we need it"[5]), SNOBOL and AWK (associative arrays). In an article published in Dr. Dobb's Journal, Lua's creators also state that LISP and Scheme with their single, ubiquitous data-structure mechanism (the list) were a major influence on their decision to develop the table as the primary data structure of Lua.[7]

Lua semantics have been increasingly influenced by Scheme over time,[5] especially with the introduction of anonymous functions and full lexical scoping. Several features were added in new Lua versions.

Versions of Lua prior to version 5.0 were released under a license similar to the BSD license. From version 5.0 onwards, Lua has been licensed under the MIT License. Both are permissive free software licences and are almost identical.

Features

Lua is commonly described as a "multi-paradigm" language, providing a small set of general features that can be extended to fit different problem types. Lua does not contain explicit support for inheritance, but allows it to be implemented with metatables. Similarly, Lua allows programmers to implement namespaces, classes and other related features using its single table implementation; first-class functions allow the employment of many techniques from functional programming and full lexical scoping allows fine-grained information hiding to enforce the principle of least privilege.

In general, Lua strives to provide simple, flexible meta-features that can be extended as needed, rather than supply a feature-set specific to one programming paradigm. As a result, the base language is light; the full reference interpreter is only about 247 kB compiled[3] and easily adaptable to a broad range of applications.

As a dynamically typed language intended for use as an extension language or scripting language, Lua is compact enough to fit on a variety of host platforms. It supports only a small number of atomic data structures such as Boolean values, numbers (double-precision floating point and 64-bit integers by default) and strings. Typical data structures such as arrays, sets, lists and records can be represented using Lua's single native data structure, the table, which is essentially a heterogeneous associative array.

Lua implements a small set of advanced features such as first-class functions, garbage collection, closures, proper tail calls, coercion (automatic conversion between string and number values at run time), coroutines (cooperative multitasking) and dynamic module loading.

Syntax

The classic "Hello, World!" program can be written as follows, with or without parentheses:[8] print("Hello, World!")print "Hello, World!"

A comment in Lua starts with a double-hyphen and runs to the end of the line, similar to Ada, Eiffel, Haskell, SQL and VHDL. Multi-line strings and comments are marked with double square brackets.-- Single line comment--Multi-line comment--

The factorial function is implemented in this example:function factorial(n) local x = 1 for i = 2, n do x = x * i end return xend

Control flow

Lua has one type of conditional test: [[Conditional_(computer_programming)#If–then(–else)|if then end]] with optional else and elseif then execution control constructs.

The generic if then end statement requires all three keywords:if condition then --statement bodyend

The else keyword may be added with an accompanying statement block to control execution when the if condition evaluates to false:if condition then --statement bodyelse --statement bodyend

Execution may also be controlled according to multiple conditions using the elseif then keywords:if condition then --statement bodyelseif condition then --statement bodyelse -- optional --optional default statement bodyend

Lua has four types of conditional loops: the while loop, the repeat loop (similar to a do while loop), the numeric for loop and the generic for loop.--condition = true

while condition do --statementsend

repeat --statementsuntil condition

for i = first, last, delta do --delta may be negative, allowing the for loop to count down or up --statements --example: print(i)end

This generic for loop would iterate over the table _G using the standard iterator function pairs, until it returns nil:for key, value in pairs(_G) do print(key, value)end

Loops can also be nested (put inside of another loop).local grid =

for y, row in pairs(grid) do for x, value in pairs(row) do print(x, y, value) endend

Functions

Lua's treatment of functions as first-class values is shown in the following example, where the print function's behavior is modified:do local oldprint = print -- Store current print function as oldprint function print(s) --Redefine print function. The usual print function can still be used through oldprint. The new one has only one argument. oldprint(s

"foo" and "bar" or s) endendAny future calls to print will now be routed through the new function, and because of Lua's lexical scoping, the old print function will only be accessible by the new, modified print.

Lua also supports closures, as demonstrated below:function addto(x) -- Return a new function that adds x to the argument return function(y) --When we refer to the variable x, which is outside the current scope and whose lifetime would be shorter than that of this anonymous function, Lua creates a closure. return x + y endendfourplus = addto(4)print(fourplus(3)) -- Prints 7

--This can also be achieved by calling the function in the following way:print(addto(4)(3))--This is because we are calling the returned function from 'addto(4)' with the argument '3' directly. This also helps to reduce data cost and up performance if being called iteratively.A new closure for the variable x is created every time addto is called, so that each new anonymous function returned will always access its own x parameter. The closure is managed by Lua's garbage collector, just like any other object.

Tables

Tables are the most important data structures (and, by design, the only built-in composite data type) in Lua and are the foundation of all user-created types. They are associative arrays with addition of automatic numeric key and special syntax.

A table is a set of key and data pairs, where the data is referenced by key; in other words, it is a hashed heterogeneous associative array.

Tables are created using the {} constructor syntax.

a_table = -- Creates a new, empty table

Tables are always passed by reference (see Call by sharing).

A key (index) can be any value except nil and NaN, including functions.

a_table = -- Creates a new table, with one entry mapping "x" to the number 10.print(a_table["x"]) -- Prints the value associated with the string key, in this case 10.b_table = a_tableb_table["x"] = 20 -- The value in the table has been changed to 20.print(b_table["x"]) -- Prints 20.print(a_table["x"]) -- Also prints 20, because a_table and b_table both refer to the same table.

A table is often used as structure (or record) by using strings as keys. Because such use is very common, Lua features a special syntax for accessing such fields.[9]

point = -- Create new tableprint(point["x"]) -- Prints 10print(point.x) -- Has exactly the same meaning as line above. The easier-to-read dot notation is just syntactic sugar.

By using a table to store related functions, it can act as a namespace.

Point =

Point.new = function(x, y) return -- return end

Point.set_x = function(point, x) point.x = x -- point["x"] = x;end

Tables are automatically assigned a numerical key, enabling them to be used as an array data type. The first automatic index is 1 rather than 0 as it is for many other programming languages (though an explicit index of 0 is allowed).

A numeric key 1 is distinct from a string key "1".

array = -- Indices are assigned automatically.print(array[2]) -- Prints "b". Automatic indexing in Lua starts at 1.print(#array) -- Prints 4. # is the length operator for tables and strings.array[0] = "z" -- Zero is a legal index.print(#array) -- Still prints 4, as Lua arrays are 1-based.

The length of a table t is defined to be any integer index n such that t[n] is not nil and t[n+1] is nil; moreover, if t[1] is nil, n can be zero. For a regular array, with non-nil values from 1 to a given n, its length is exactly that n, the index of its last value. If the array has "holes" (that is, nil values between other non-nil values), then #t can be any of the indices that directly precedes a nil value (that is, it may consider any such nil value as the end of the array).[10]

ExampleTable =print(ExampleTable[1][3]) -- Prints "3"print(ExampleTable[2][4]) -- Prints "8"

A table can be an array of objects.

function Point(x, y) -- "Point" object constructor return -- Creates and returns a new object (table)endarray = -- Creates array of points -- array = ;print(array[2].y) -- Prints 40

Using a hash map to emulate an array is normally slower than using an actual array; however, Lua tables are optimized for use as arrays to help avoid this issue.[11]

Metatables

Extensible semantics is a key feature of Lua, and the metatable concept allows powerful customization of tables. The following example demonstrates an "infinite" table. For any n, fibs[n] will give the n-th Fibonacci number using dynamic programming and memoization.fibs = -- Initial values for fibs[1] and fibs[2].setmetatable(fibs,)

Object-oriented programming

Although Lua does not have a built-in concept of classes, object-oriented programming can be emulated using functions and tables. An object is formed by putting methods and fields in a table. Inheritance (both single and multiple) can be implemented with metatables, delegating nonexistent methods and fields to a parent object.

There is no such concept as "class" with these techniques; rather, prototypes are used, similar to Self or JavaScript. New objects are created either with a factory method (that constructs new objects from scratch) or by cloning an existing object.

Creating a basic vector object:local Vector = local VectorMeta =

function Vector.new(x, y, z) -- The constructor return setmetatable(VectorMeta)end

function Vector.magnitude(self) -- Another method return math.sqrt(self.x^2 + self.y^2 + self.z^2)end

local vec = Vector.new(0, 1, 0) -- Create a vectorprint(vec.magnitude(vec)) -- Call a method (output: 1)print(vec.x) -- Access a member variable (output: 0)

Here, tells Lua to look for an element in the table if it is not present in the table., which is equivalent to, first looks in the table for the element. The table does not have a element, but its metatable delegates to the table for the element when it's not found in the table.

Lua provides some syntactic sugar to facilitate object orientation. To declare member functions inside a prototype table, one can use, which is equivalent to . Calling class methods also makes use of the colon: is equivalent to .

That in mind, here is a corresponding class with syntactic sugar:

local Vector = Vector.__index = Vector

function Vector:new(x, y, z) -- The constructor -- Since the function definition uses a colon, -- its first argument is "self" which refers -- to "Vector" return setmetatable(self)end

function Vector:magnitude -- Another method -- Reference the implicit object using self return math.sqrt(self.x^2 + self.y^2 + self.z^2)end

local vec = Vector:new(0, 1, 0) -- Create a vectorprint(vec:magnitude) -- Call a method (output: 1)print(vec.x) -- Access a member variable (output: 0)

Inheritance

Lua supports using metatables to give Lua class inheritance.[12] In this example, we allow vectors to have their values multiplied by a constant in a derived class.

local Vector = Vector.__index = Vector

function Vector:new(x, y, z) -- The constructor -- Here, self refers to whatever class's "new" -- method we call. In a derived class, self will -- be the derived class; in the Vector class, self -- will be Vector return setmetatable(self)end

function Vector:magnitude -- Another method -- Reference the implicit object using self return math.sqrt(self.x^2 + self.y^2 + self.z^2)end

-- Example of class inheritancelocal VectorMult = VectorMult.__index = VectorMultsetmetatable(VectorMult, Vector) -- Make VectorMult a child of Vector

function VectorMult:multiply(value) self.x = self.x * value self.y = self.y * value self.z = self.z * value return selfend

local vec = VectorMult:new(0, 1, 0) -- Create a vectorprint(vec:magnitude) -- Call a method (output: 1)print(vec.y) -- Access a member variable (output: 1)vec:multiply(2) -- Multiply all components of vector by 2print(vec.y) -- Access member again (output: 2)

Lua also supports multiple inheritance; can either be a function or a table.[13] Operator overloading can also be done; Lua metatables can have elements such as, and so on.[14]

Implementation

Lua programs are not interpreted directly from the textual Lua file, but are compiled into bytecode, which is then run on the Lua virtual machine (VM). The compiling process is typically invisible to the user and is performed during run-time, especially when a just-in-time compilation (JIT) compiler is used, but it can be done offline to increase loading performance or reduce the memory footprint of the host environment by leaving out the compiler. Lua bytecode can also be produced and executed from within Lua, using the dump function from the string library and the load/loadstring/loadfile functions. Lua version 5.3.4 is implemented in approximately 24,000 lines of C code.[2] [3]

Like most CPUs, and unlike most virtual machines (which are stack-based), the Lua VM is register-based, and therefore more closely resembles most hardware design. The register architecture both avoids excessive copying of values, and reduces the total number of instructions per function. The virtual machine of Lua 5 is one of the first register-based pure VMs to have a wide use.[15] Parrot and Android's Dalvik are two other well-known register-based VMs. PCScheme's VM was also register-based.[16]

This example is the bytecode listing of the factorial function defined above (as shown by the luac 5.1 compiler):[17]

function (9 instructions, 36 bytes at 0x8063c60) 1 param, 6 slots, 0 upvalues, 6 locals, 2 constants, 0 functions 1 [2] LOADK 1 -1 ; 1 2 [3] LOADK 2 -2 ; 2 3 [3] MOVE 3 0 4 [3] LOADK 4 -1 ; 1 5 [3] FORPREP 2 1 ; to 7 6 [4] MUL 1 1 5 7 [3] FORLOOP 2 -2 ; to 6 8 [6] RETURN 1 2 9 [7] RETURN 0 1

C API

Lua is intended to be embedded into other applications, and provides a C API for this purpose. The API is divided into two parts: the Lua core and the Lua auxiliary library.[18] The Lua API's design eliminates the need for manual reference counting (management) in C code, unlike Python's API. The API, like the language, is minimalist. Advanced functions are provided by the auxiliary library, which consists largely of preprocessor macros which assist with complex table operations.

The Lua C API is stack based. Lua provides functions to push and pop most simple C data types (integers, floats, etc.) to and from the stack, and functions to manipulate tables through the stack. The Lua stack is somewhat different from a traditional stack; the stack can be indexed directly, for example. Negative indices indicate offsets from the top of the stack. For example, −1 is the top (most recently pushed value), while positive indices indicate offsets from the bottom (oldest value). Marshalling data between C and Lua functions is also done using the stack. To call a Lua function, arguments are pushed onto the stack, and then the lua_call is used to call the actual function. When writing a C function to be directly called from Lua, the arguments are read from the stack.

Here is an example of calling a Lua function from C:

  1. include
  2. include // Lua main library (lua_*)
  3. include // Lua auxiliary library (luaL_*)

int main(void)

Running this example gives:$ cc -o example example.c -llua$ ./exampleResult: 8

The C API also provides some special tables, located at various "pseudo-indices" in the Lua stack. At LUA_GLOBALSINDEX prior to Lua 5.2[19] is the globals table, _G from within Lua, which is the main namespace. There is also a registry located at LUA_REGISTRYINDEX where C programs can store Lua values for later retrieval.

Modules

Besides standard library (core) modules it is possible to write extensions using the Lua API. Extension modules are shared objects which can be used to extend the functions of the interpreter by providing native facilities to Lua scripts. Lua scripts may load extension modules using require,[18] just like modules written in Lua itself, or with package.loadlib.[20] When a C library is loaded via Lua will look for the function luaopen_foo and call it, which acts as any C function callable from Lua and generally returns a table filled with methods. A growing set of modules termed rocks are available through a package management system named LuaRocks,[21] in the spirit of CPAN, RubyGems and Python eggs. Prewritten Lua bindings exist for most popular programming languages, including other scripting languages.[22] For C++, there are a number of template-based approaches and some automatic binding generators.

Applications

See main article: List of applications using Lua.

In video game development, Lua is widely used as a scripting language, mainly due to its perceived easiness to embed, fast execution, and short learning curve.[23] Notable games which use Lua include Roblox,[24] Garry's Mod, World of Warcraft, Payday 2, Phantasy Star Online 2, Dota 2, Crysis,[25] and many others. Some games that do not natively support Lua programming or scripting, have this function added by mods, as ComputerCraft does for Minecraft. Also, Lua is used in non-video game software, such as Adobe Lightroom, Moho, iClone, Aerospike, and some system software in FreeBSD and NetBSD, and used as a template scripting language on MediaWiki using the Scribunto extension.[26]

In 2003, a poll conducted by GameDev.net showed Lua was the most popular scripting language for game programming.[27] On 12 January 2012, Lua was announced as a winner of the Front Line Award 2011 from the magazine Game Developer in the category Programming Tools.[28]

Many non-game applications also use Lua for extensibility, such as LuaTeX, an implementation of the TeX type-setting language, Redis, a key-value database, ScyllaDB, a wide-column store, Neovim, a text editor, Nginx, a web server, and Wireshark, a network packet analyzer.

Through the Scribunto extension, Lua is available as a server-side scripting language in the MediaWiki software that runs Wikipedia and other wikis.[29] Among its uses are allowing the integration of data from Wikidata into articles,[30] and powering the .

Derived languages

Languages that compile to Lua

Dialects

In addition, the Lua users community provides some power patches on top of the reference C implementation.[42]

See also

Further reading

External links

Notes and References

  1. Web site: The Ring programming language and other languages . Ring Team . 5 December 2017 . ring-lang.net . 5 December 2017 . 25 December 2018 . https://web.archive.org/web/20181225175312/http://ring-lang.sourceforge.net/doc1.6/introduction.html#ring-and-other-languages . dead.
  2. Ierusalimschy. Roberto. de Figueiredo. Luiz Henrique. Filho. Waldemar Celes. Lua—An Extensible Extension Language. Software: Practice and Experience. June 1996. 26. 6. 635–652. 10.1002/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P. 61066194 . 24 October 2015.
  3. Web site: About Lua . Lua.org . 2011-08-11.
  4. Takhteyev . Yuri . 21 April 2013 . From Brazil to Wikipedia . . 25 April 2013.
  5. Book: Ierusalimschy . R. . Roberto Ierusalimschy . Figueiredo . L. H. . Celes . W. . 2007 . Proceedings of the third ACM SIGPLAN conference on History of programming languages . The evolution of Lua . https://www.lua.org/doc/hopl.pdf . 10.1145/1238844.1238846 . 2–1–2–26 . 978-1-59593-766-7 . 475143.
  6. Web site: The evolution of an extension language: a history of Lua. 2001. 2008-12-18.
  7. News: Figueiredo . L. H. . Ierusalimschy . R. . Celes . W. . December 1996 . Lua: an Extensible Embedded Language. A few metamechanisms replace a host of features . Dr. Dobb's Journal . 21 . 12 . 26–33 .
  8. Web site: Programming in Lua : 1.
  9. Web site: Lua 5.1 Reference Manual. 2014-02-27. 2014.
  10. Web site: Lua 5.1 Reference Manual. 2012-10-16. 2012.
  11. Web site: Lua 5.1 Source Code. 2011-03-24. 2006.
  12. Book: Programming in Lua, 4th Edition. 165. Roberto Ierusalimschy.
  13. Web site: Programming in Lua : 16.3. 2021-09-16. Lua.
  14. Web site: Metamethods Tutorial. 2021-09-16. lua-users wiki . dead . https://web.archive.org/web/20210916182214/http://lua-users.org/wiki/MetamethodsTutorial . September 16, 2021.
  15. Ierusalimschy . R. . Figueiredo . L. H. . Celes . W. . 2005 . The implementation of Lua 5.0 . J. Of Universal Comp. Sci. . 11 . 7 . 1159–1176 . 10.3217/jucs-011-07-1159 . free.
  16. Book: Texas Instruments . 1990 . PC Scheme: Users Guide and Language Reference Manual, Trade Edition . MIP Press . 0-262-70040-9.
  17. Web site: Man . Kein-Hong . 2006 . A No-Frills Introduction to Lua 5.1 VM Instructions .
  18. Web site: Lua 5.2 Reference Manual . Lua.org . 2012-10-23.
  19. Book: Roberto . Ierusalimschy . Luiz Henrique . de Figueiredo . Waldemar . Celes . 2011–2013 . Changes in the API . Lua 5.2 Reference Manual . Lua.org . 2014-05-09.
  20. Web site: Lua 5.4 Reference Manual . Roberto . Ierusalimschy . Luiz Henrique . de Figueiredo . Waldemar . Celes . 2022-06-01 . Lua.
  21. Web site: LuaRocks . luarocks.org . 2009-05-24.
  22. Web site: Binding Code To Lua . Lua-users wiki . 2009-05-24 . dead . https://web.archive.org/web/20090727080345/http://lua-users.org/wiki/BindingCodeToLua . Jul 27, 2009.
  23. Web site: Why is Lua considered a game language? . Stack Overflow . 2017-04-22 . dead . https://web.archive.org/web/20130820131611/http://stackoverflow.com/questions/38338/why-is-lua-considered-a-game-language . 20 August 2013.
  24. Web site: Why Luau?. 2022-03-23. Luau. en-US.
  25. Web site: Introduction to Crysis server-side modding . 23 March 2022.
  26. Web site: Lua Functions. 2021-03-01. wow.gamepedia.com. en-US.
  27. Web site: Poll Results . 2017-04-22 . bot: unknown . https://web.archive.org/web/20031207171619/http://gamedev.net/gdpolls/viewpoll.asp?ID=163 . 7 December 2003.
  28. Web site: Front Line Award Winners Announced . 2017-04-22 . dead . https://web.archive.org/web/20130615013638/http://www.gdmag.com/blog/2012/01/front-line-award-winners.php . 15 June 2013.
  29. Web site: Extension:Scribunto - MediaWiki . MediaWiki.org . 21 February 2019.
  30. Web site: Wikidata:Infobox Tutorial - Wikidata. www.wikidata.org. 2018-12-21.
  31. Web site: Language Guide - MoonScript 0.5.0. 2020-09-25. moonscript.org.
  32. Web site: leaf. leafo/moonscript. 2020-09-23. 2020-09-25.
  33. Web site: Languages that compile to Lua . AndreGarzia.com . Garzia . Andre Alves . 25 September 2020.
  34. Web site: Urn: A Lisp implementation for Lua Urn. 2021-01-12. urn-lang.com.
  35. Web site: Amulet ML. 2021-01-12. amulet.works. en-US.
  36. Web site: LuaJIT . LuaJIT.
  37. Web site: Extensions . LuaJIT.
  38. Web site: Why Luau? . 2024-08-03 . Luau . en . All of these motivated us to start reshaping Lua 5.1 that we started from into a new, derivative language that we call Luau. Our focus is on making the language more performant and feature-rich, and make it easier to write robust code through a combination of linting and type checking using a gradual type system..
  39. Web site: Ravi Programming Language . GitHub.
  40. Web site: Hundt . Richard . richardhundt/shine . . 2021-04-22.
  41. Web site: Garry's Mod Wiki . wiki.facepunch.com.
  42. Web site: Lua Power Patches . lua-users.org . 18 May 2021 . 18 May 2021 . https://web.archive.org/web/20210518114041/http://lua-users.org/wiki/LuaPowerPatches . dead.