view website/src/diff.html.luan @ 447:0bd42e774c50

add assert_binary; improve wrong type messages;
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 04 May 2015 17:19:43 -0600
parents 2f5cc9c2cbf0
children eddf7c73373b
line wrap: on
line source

local Io = require "luan:Io"
local Html = require "luan:Html"
local Http = require "luan:web/Http"
local Shared = require "site:/Shared"


function service()
	Io.stdout = Http.response.text_writer()
%>
<html>
<head>
	<% Html.simply_html_head() %>
	<title>How Luan differs from Lua</title>
</head>
<body>

<div container>
<% Shared.header() %>
<h1>How Luan differs from Lua</h1>

<p>This document explains how Luan differs from <a href="http://www.lua.org">Lua</a> as described in the <a href="http://www.lua.org/manual/5.3/">Lua 5.3 Reference Manual</a>.</p>

<hr/>

<h2>Contents</h2>

<div margin-bottom="1em"><a href="#intro">Introduction</a></div>

<div margin-bottom="1em">
	<a href="#basic">Basic Concepts</a>
	<ul>
		<li><a href="#types">Values and Types</a></li>
		<li><a href="#env">Environments</a></li>
		<li><a href="#error">Error Handling</a></li>
		<li><a href="#meta">Metatables and Metamethods</a></li>
		<li><a href="#gc">Garbage Collection</a></li>
		<li><a href="#coroutines">Coroutines</a></li>
	</ul>
</div>

<div margin-bottom="1em">
	<a href="#lang">The Language</a>
	<ul>
		<li><a href="#lex">Lexical Conventions</a></li>
		<li>
			<a href="#stmt">Statements</a>
			<ul>
				<li><a href="#control">Control Structures</a></li>
				<li><a href="#for">For Statement</a></li>
				<li><a href="#logical">Logical Statements</a></li>
				<li><a href="#template-stmt">Template Statements</a></li>
			</ul>
		</li>
		<li>
			<a href="#expr">Expressions</a>
			<ul>
				<li><a href="#bit">Bitwise Operators</a></li>
				<li><a href="#local-ops">Logical Operators</a></li>
				<li><a href="#fn-call">Function Calls</a></li>
				<li><a href="#template-expr">Template Expressions</a></li>
			</ul>
		</li>
	</ul>
</div>

<hr/>

<h2 margin-top="1em"><a name="intro">Introduction</a></h2>

<p>Lua is one of the simplest languages available, but Luan is even simpler.  This means Luan removes more than it adds.  Most of what is added is added in the library, not in the language itself.</p>

<p>Luan is implemented in Java and is tightly integrated with Java.  This makes it an excellent scripting language for Java.</p>

<h2 margin-top="1em"><a name="basic">Basic Concepts</a></h2>

<h3 margin-top="1em"><a name="types">Values and Types</a></h3>

<p>Luan does not have the Lua <i>thread</i> type.  Luan add a <i>binary</i> type that Lua doesn't have.  This is because Lua strings can represent binary while Luan strings cannot.</p>

<p>The Luan <i>Nil</i> type is implemented as the Java <i>null</i>.  The Luan <i>Boolean</i> type is implemented as the Java <i>Boolean</i> type.  The Luan <i>Number</i> type is implemented as the Java <i>Number</i> type.  The Luan <i>String</i> type is implemented as the Java <i>String</i> type.  Actual numbers may be any subclass of the Java <i>Number</i> class.</p>

<p>Luan functions may be written in Luan or may be wrappers around native Java methods.  Any Java method may be called as a Luan function.</p>

<p>Luan <i>userdata</i> is nothing more than a Java object that doesn't fall into one of the other recognized types.</p>

<p>The Luan <i>binary</i> type is the Java <i>byte[ ]</i> type which is an array of bytes.</p>

<p>The Luan <i>table</i> type is just like its Lua equivalent, but implemented in Java.</p>

<h3 margin-top="1em"><a name="env">Environments</a></h3>

<p>Luan has an <tt>_ENV</tt> which is like its Lua equivalent.  However Luan has no global environment at all, no <tt>_G</tt>.</p>

<p>Every module is initialized with two local functions: <tt>require</tt> and <tt>java</tt>.  The module then uses these functions to get access to whatever else it needs.</p>

<h3 margin-top="1em"><a name="error">Error Handling</a></h3>

<p>Luan has the functions <tt>error</tt> and <tt>pcall</tt> but does not have <tt>xpcall</tt>.  Luan adds the function <tt>try</tt> which looks and acts like try-catch blocks in other languages.</p>

<h3 margin-top="1em"><a name="meta">Metatables and Metamethods</a></h3>

<p>to document later...</p>

<h3 margin-top="1em"><a name="gc">Garbage Collection</a></h3>

<p>Luan uses Java garbage collection.  Luan has no special garbage collection methods.</p>

<p>Luan does not yet have weak tables but this will be added.</p>

<h3 margin-top="1em"><a name="coroutines">Coroutines</a></h3>

<p>Luan does not have coroutines.  Coroutines is a complex concept that isn't needed in a simple language, so it was left out.</p>

<h2 margin-top="1em"><a name="lang">The Language</a></h2>

<h3 margin-top="1em"><a name="lex">Lexical Conventions</a></h3>

<p>Unlike Lua, Luan generally considers the end of a line to be the end of a statement.  This catches errors and encourages readability.  The exception to this is in paranthesis ( <i>(...)</i>, <i>[...]</i>, and <i>{...}</i> ) where the end of line is treated as white space.</p>

<p>Luan has exactly the same set of keywords as Lua and has the same other lexical conventions.</p>

<h3 margin-top="1em"><a name="stmt">Statements</a></h3>

<p>Most statements in Luan are the same as Lua.  Only those statements that differ will be listed here.</p>

<h4 margin-top="1em"><a name="control">Control Structures</a></h4>

<p>The Luan <b>if</b>, <b>while</b>, and <b>repeat</b> statement are the same as in Lua except that the condition expression must return a boolean value.  Any other value type will produce an error.  This helps catch errors and makes code more readable.</p>

<p>Luan does not have a <b>goto</b> statement.</p>

<h4 margin-top="1em"><a name="for">For Statement</a></h4>

<p>Luan has no numeric <b>for</b> statement.  Luan only has generic <b>for</b> statement.  Instead of the numeric <b>for</b> statement, Luan uses the <tt>range</tt> function in a generic <b>for</b> statement like this:</p>

<p><tt><pre>
	for i in range(from,to,step) do <i>block</i> end
</pre></tt></p>

<p>The Luan generic <b>for</b> statement is simpler than the Lua version because Luan only uses and expression, not an explist.  So a <b>for</b> statement like:</p>

<p><tt><pre>
	for var_1, &middot;&middot;&middot;, var_n in exp do block end
</pre></tt></p>

<p>is equivalent to the code:</p>

<p><tt><pre>
	do
		local f = exp
		while true do
			local var_1, &middot;&middot;&middot;, var_n = f()
			if var_1 == nil then break end
			block
		end
	end
</pre></tt></p>

<h4 margin-top="1em"><a name="logical">Logical Statements</a></h4>

<p>Unlike Lua, Luan allows <b>or</b> and <b>and</b> expressions to be stand-alone statements.  This is useful in cases like this:</p>

<p><tt><pre>
	x==5 or error "x should be 5"
</pre></tt></p>

<h4 margin-top="1em"><a name="template-stmt">Template Statements</a></h4>

<p>Template statements are based on <a href="#template-expr">template exressions</a> and provide the full equivalent of <a href="http://en.wikipedia.org/wiki/JavaServer_Pages">JSP</a> but in a general way.  Template statements write the equivalent template exression to standard output.  For example:</p>

<p><tt><pre><%=Html.encode[[
	local name = "Bob"
	%>
	Hello <%=name%>!
	Bye <%=name%>.
	<%
]]%></pre></tt></p>

<p>is equivalent to the code:</p>

<p><tt><pre><%=Html.encode[[
	local name = "Bob"
	require("luan:Io").stdout.write( %>
	Hello <%=name%>!
	Bye <%=name%>.
	<% )
]]%></pre></tt></p>

<h3 margin-top="1em"><a name="expr">Expressions</a></h3>

<h4 margin-top="1em"><a name="bit">Bitwise Operators</a></h4>

<p>Bitwise operators appear to be new addition to Lua 5.3 and didn't exist in Lua 5.2.  Luan does not support bitwise operators, but these can be added if there is a need.</p>

<h4 margin-top="1em"><a name="local-ops">Logical Operators</a></h4>

<p>The only change in Luan is that <b>not</b> must take a boolean argument.  This helps catch errors and makes code more readable.</p>

<h4 margin-top="1em"><a name="fn-call">Function Calls</a></h4>

<p>Luan does not support Lua's <tt>v:name(args)</tt> style object-oriented function call.  Object oriented programming is done in Luan using closures, so this feature is not needed.</p>

<h4 margin-top="1em"><a name="template-expr">Template Expressions</a></h4>

<p>Luan adds a new type of expression based on <a href="http://en.wikipedia.org/wiki/JavaServer_Pages">JSP</a> called template expressions.  Template expressions return multiple values.  Here is an example:</p>

<p><tt><pre><%=Html.encode[[
	local name = "Bob"
	write( %>Hello <%=name%>!<% )
]]%></pre></tt></p>

<p>This is equivalent to the code:</p>

<p><tt><pre>
	local name = "Bob"
	write( "Hello ", name, "!" )
</pre></tt></p>

<p>The strings in template expressions may be multiple lines.</p>

</div>
		
<% Html.simply_html_body_bottom() %>
</body>
</html>
<%
end