View source for Guide

[http://{{SERVERNAME}}/index.html [[Image:img/IokeLogo.png|Ioke Logo]]]
Programming Guide
[http://{{SERVERNAME}}/index.html About Ioke]
[http://{{SERVERNAME}}/guide.html Guide]
[http://{{SERVERNAME}}/download.html Download]
[http://ioke.kenai.com Project page]
[http://{{SERVERNAME}}/dok/index.html Reference]
[http://ioke.org/wiki Wiki]
# [http://{{SERVERNAME}}/#introduction Introduction]
## [http://{{SERVERNAME}}/#vision Vision]
## [http://{{SERVERNAME}}/#gettingStarted Getting started]
### [http://{{SERVERNAME}}/#runningScripts Running scripts]
### [http://{{SERVERNAME}}/#interactive Interactive mode]
# [http://{{SERVERNAME}}/#syntax Syntax]
## [http://{{SERVERNAME}}/#literals Literal values]
### [http://{{SERVERNAME}}/#literalText Text]
### [http://{{SERVERNAME}}/#literalRegexps Regular expressions]
### [http://{{SERVERNAME}}/#literalIntegers Integers]
### [http://{{SERVERNAME}}/#literalDecimals Decimals]
### [http://{{SERVERNAME}}/#literalSymbols Symbols]
## [http://{{SERVERNAME}}/#operatorShuffling Operator shuffling]
## [http://{{SERVERNAME}}/#assignmentShuffling Assignment shuffling]
## [http://{{SERVERNAME}}/#invertedOperators Inverted operators]
# [http://{{SERVERNAME}}/#executionModel Execution model]
# [http://{{SERVERNAME}}/#objects Objects]
## [http://{{SERVERNAME}}/#base Base]
## [http://{{SERVERNAME}}/#ground Ground]
## [http://{{SERVERNAME}}/#origin Origin]
## [http://{{SERVERNAME}}/#defaultBehavior DefaultBehavior]
## [http://{{SERVERNAME}}/#nilTrueFalse nil, true, false]
# [http://{{SERVERNAME}}/#assignment Assignment]
## [http://{{SERVERNAME}}/#let Let]
# [http://{{SERVERNAME}}/#controlFlow Control flow]
## [http://{{SERVERNAME}}/#comparison Comparison]
## [http://{{SERVERNAME}}/#conditionals Conditionals]
### [http://{{SERVERNAME}}/#cond cond]
### [http://{{SERVERNAME}}/#case case]
## [http://{{SERVERNAME}}/#iteration Iteration]
### [http://{{SERVERNAME}}/#comprehensions Comprehensions]
# [http://{{SERVERNAME}}/#code Code]
## [http://{{SERVERNAME}}/#methods Methods]
## [http://{{SERVERNAME}}/#macros Macros]
## [http://{{SERVERNAME}}/#blocks Blocks]
## [http://{{SERVERNAME}}/#lecros Lecros]
## [http://{{SERVERNAME}}/#syntax Syntax]
## [http://{{SERVERNAME}}/#destructuring Destructuring]
## [http://{{SERVERNAME}}/#messageChains Message chains]
# [http://{{SERVERNAME}}/#introspection Introspection and reflection]
# [http://{{SERVERNAME}}/#aspects Aspects]
# [http://{{SERVERNAME}}/#importing Importing]
# [http://{{SERVERNAME}}/#coreKinds Core kinds]
## [http://{{SERVERNAME}}/#conditions Conditions]
## [http://{{SERVERNAME}}/#text Text]
## [http://{{SERVERNAME}}/#numbers Numbers]
## [http://{{SERVERNAME}}/#lists Lists]
## [http://{{SERVERNAME}}/#dicts Dicts]
## [http://{{SERVERNAME}}/#sets Sets]
## [http://{{SERVERNAME}}/#rangesAndPairs Ranges and Pairs]
## [http://{{SERVERNAME}}/#enumerable Enumerable]
## [http://{{SERVERNAME}}/#regexps Regexps]
## [http://{{SERVERNAME}}/#filesystem FileSystem]
## [http://{{SERVERNAME}}/#other_things Other things]
# [http://{{SERVERNAME}}/#libraries Libraries]
## [http://{{SERVERNAME}}/#iik IIk]
## [http://{{SERVERNAME}}/#ispec ISpec]
## [http://{{SERVERNAME}}/#dokgen DokGen]
# [http://{{SERVERNAME}}/#missing What is missing]
# [http://{{SERVERNAME}}/#futurePlans Future plans]

-----

=== Introduction ===

Ioke is a general purpose language. It is a strongly typed, extremely dynamic, prototype object oriented language. It is homoiconic and its closest ancestors are Io, Smalltalk, Ruby and Lisp - but it's quite a distance from all of them. It looks a lot like Io, to a limit.

Ioke is a ''folding'' language. This means it folds in on itself. You can create new abstractions covering any of the existing abstractions in the language. You can abstract over these, over and over again, until you have a language that lets you express what you want to express in a succinct and readable way. Ioke allows you to fold your code.

Ioke is targeted at the Java Virtual Machine and is tightly integrated with the platform. Why the JVM? It's available everywhere, it gives several important features such as world class garbage collectors, capable thread schedulers and an amazing JIT compiler. All of these are things that serves Ioke well, without requiring direct development resources from the Ioke team. Access to the Java platform also means access to all existing libraries and functionality, with all that entails. The JVM is just a very pragmatic choice.

You're probably reading this guide at [http://ioke.org/guide.html ioke.org]. That is the official home of the project, although some of the project functionality is hosted at [http://ioke.kenai.org Kenai], where such things as mailing lists and a bug tracker is available. The canonical source repository for Ioke exists at GitHub, at [http://github.org/olabini/ioke/tree/master http://github.org/olabini/ioke/tree/master].

The current version of Ioke is called Ioke S. The naming of Ioke will change regularly with major revisions. There are two different versions in play here. Ioke S is the name and version of the language and core libraries. The initial implementation for Ioke S is called ikj 0.2.0, and the version numbers are not interdependent. The next major version of Ioke will be called Ioke E, and you can find information about it in the chapter on [http://{{SERVERNAME}}/#futurePlans future plans].

This programming guide -- together with the reference for your current version -- should be the complete document needed to understand Ioke S, how to program in it, how to understand the names and concepts used, and also to give an initial inkling on what I think is good taste.

Note that I will use many names that aren't necessarily the same as the ones traditional programming languages use. These names will be made clear sooner or later in this document, but it might help some to jump forward to [http://{{SERVERNAME}}/#objects Objects], skim that bit, and then start over once words like Origin, cell and mimic make sense.

==== Vision ====

The evolution of programming languages is a steady progression of finding new ways to express abstractions naturally - in a way that doesn't stray to far away from the smaller details. A programming language have to make it possible to abstract away common things, while making it easy to customize these abstractions in very detailed ways. A programming language should be able to do this well without sacrificing readability and understandability. This tension lies at the core of programming.

How do you create a language that makes it easy to express powerful concepts in a succinct way, while still making it easy to maintain and work with after the fact, without turning it into a new compression mode? How do you make it easy for a programmer to express high level abstractions that are abstractions of abstractions of abstractions?

There are many open problems in programming language design. Concurrency is one of them, performance another. These are two areas Ioke does not address. Instead, Ioke is a remodeling of the core concepts and ideas embodied in other programming languages.

Are still Lisp and Smalltalk the most powerful languages around, or are there ways of providing more expressiveness without sacrificing understandability? Is there a way to combine all the lessons learned from languages like Ruby and Python, and patch them back into a Lisp and Smalltalk core? Is it possible to do this while taking some of the benefits of Io? Can a language be both small, regular, homoiconic, reflective and easy to understand? I hope that Ioke is just that.

Simplicity doesn't mean lack of power. Small, simple, orthogonal functionality can be more powerful than larger, complicated abstractions that doesn't fit together.

Io explicitly states that the goal of the language is to refocus attention on expressiveness, and with Ioke I want to take that philosophy one step further.

It's important to realize that an experiment like this doesn't necessarily have to mean the language can't be used for real projects. By wedding Ioke to the Java Virtual Machine, I make it easy to get access to good libraries and existing implementations on most platforms. In that way, Ioke can be used to create real systems, even though the ecosystem will initially be very small. And I think that this is necessary. How can you know if a language really is worthwhile or not, if you can't use it as a general purpose programming language? The Java platform makes this possible.

==== Getting started ====

Ioke is very easy to get started with. The first step is to download a package. Which one you choose depends on what platform you're on, and whether you want to build Ioke yourself, or just start using it. This guide will only cover using a prebuilt version. Go to the download page at [http://ioke.org/download.html http://ioke.org/download.html], and download one of the distributions. At the time of writing the full version of Ioke is Ioke S ikj 0.2.0. Choose the latest download in the 0.2-series for this document to apply. In later revisions of the document, any major change will be noted inline.

Once you have downloaded the distribution, you need to unpack it somewhere, and finally add the bin-directory to your PATH environment variable. There is also a jar-download that can be run directly. If you choose this option you don't get the benefits of having a home for Ioke, which in some cases be inconvenient. Ioke can be run directly from the jar-file, though.

===== Running scripts =====

To run an Ioke script, you can generally just use the ioke-command:

<pre>$ ioke helloWorld.ik
Hello world</pre>
You can also execute snippets of code on the command line using the -e argument to the ioke-command. You can have several of these one the same line too:

<pre>$ ioke -e'&quot;Hello world&quot; println' -e'&quot;Goodbye world&quot; println'
Hello world
Goodbye world</pre>
When using -e, be careful about what quoting style you use, since the shell sometimes can munge up your commands if you don't surround them correctly.

The ioke command has several helpful command line options, that can change what happens during execution. These are:

; -Cdirectory
: Switch to directory before executing any files and command line scripts. This will make the directory the initial current working directory for Ioke during the execution of the JVM.
; -d
: Enable debug output.
; -e script
: Execute script, as describe above. May occur more than once on a command line.
; -h<br />
--help
: Display help information, including descriptions of these command line options.
; -Idirectory
: Add directory to the load path of Ioke. May occur more than once on a command line.
; -JjvmOptions
: Pass on options to the JVM. This can be used to change any runtime parameters that your JVM takes. May occur more than once. The options are provided directly after the -J, so if you want to change the maximum amount of memory used, you can do that writing -J-Xmx128M.
; --copyright
: Print copyright information and exit.
; --version
: Print version information and exit
; --server
: Run the JVM in server Hotspot mode
; --client
: Run the JVM in client Hotspot mode (the default)
; --
: Mark the end of options to the ioke script, anything after this is options that will be sent to the code running.
If you provide the name of a script file on the command line, it should come after all the arguments to the ioke script. Everything after the script will be added as data to the 'System programArguments' cell. You can use both one-line scripts with -e and specify a script file. If so, the script file will be run after the one-line scripts.

===== Interactive mode =====

If no code to execute has been specified to the ioke script, IIk - Interactive Ioke - will start. This is a REPL that allow the execution of arbitrary code at a shell that immediately displays the result. The main difference between running Ioke from a file and interactively, is that the interactive prompt will show a notice of the result of the last operation, after each execution. IIk will also invoke a debugger when a condition is encountered. This debugger gives you the possibility to closer inspect what happened. The final difference with IIk is that it does not execute code directly in Ground - which the top level inside an Ioke script will do. This difference is crucial, when considering namespacing issues.

IIk will try to use Readline through JLine if your platform supports it.

IIk will be more closely described in the section on it, [http://{{SERVERNAME}}/#iik here], but just to give a glimpse, this is how a small session could look like:

<pre>iik&gt; &quot;hello world&quot; println
hello world
+&gt; nil

iik&gt; 10 * 20
+&gt; 200

iik&gt; 3/2
+&gt; 3/2

iik&gt; 3/2 + 3/2
+&gt; 3

iik&gt; 3/2 * 3    
+&gt; 9/2

iik&gt; foo = &quot;hello&quot;
+&gt; &quot;hello&quot;

iik&gt; foo
+&gt; &quot;hello&quot;

iik&gt; exit
Bye.</pre>
When you see the prompt &quot;iik&gt;&quot;, you know that IIk is waiting for input. The result of a computation is shown after the &quot;+&gt;&quot; sigil. You can exit from IIk by calling either &quot;exit&quot; or &quot;quit&quot;. There is also a restart named &quot;quit&quot; that can be invoked to quit IIk.

=== Syntax ===

Ioke has no keywords or statements. Everything is an expression composed of a chain of messages. A piece of code is represented as a chain of messages that links to the next message. The result of one message will be the receiver of the next message, until a &quot;.&quot; message is received. The &quot;.&quot; message is a terminator that throws away the current receiver. A newline will serve as a &quot;.&quot; message in the circumstances where it feels natural.

An informal BNF description of Ioke looks like this:

<pre>    program       ::=  messageChain?
    messageChain  ::=  expression+
    expression    ::=  message | brackets | literal | terminator
    literal       ::=  Text | Regexp | Number | Decimal | Unit
    message       ::=  Identifier ( &quot;(&quot; commated? &quot;)&quot; )?
    commated      ::=  messageChain ( &quot;,&quot; messageChain )*
    brackets      ::=  ( &quot;[&quot; commated? &quot;]&quot; ) | ( &quot;{&quot; commated? &quot;}&quot; )
    terminator    ::=  &quot;.&quot; | &quot;\n&quot;
    comment       ::=  &quot;;&quot; .* &quot;\n&quot;</pre>
What isn't visible here is that all whitespace -- except for newlines -- will work only as separators of messages, and is otherwise ignored. That means that message sending does not use the dot, as in most other languages. A phrase such as &quot;foo().bar(quux(42)).baaz()&quot; would be expressed as &quot;foo() bar(quux(42)) baaz()&quot;, or more succinctly &quot;foo bar(quux(42)) baaz&quot; in Ioke.

All the types of literals are actually turned into a message to create that literal, so the canonical form of the message chain contains no literals, just a message to create that literal. Any message can have zero or more arguments given to it. Arguments are separated with comma. If there are no arguments to a message, the parenthesis can be left off, but they need to be there if there are arguments. Mostly any combination of characters can be used as an Identifier, with some exceptions.

There used to be a parsing element called operators, but these have now been included into identifiers. They are not parsed differently at all, but the operator shuffling step will handle them differently. Specifically, operators can be used in infix, including having different precedence rules. Assignment is a specific form of operator which gets its own kind of shuffling. These are both described below.

An identifier in Ioke can be one of several things. Ioke takes the rules for Java identifiers, and adds some more to them. All Unicode letters and digits can be part of an identifier, except for the first entry. Underscores are allowed, just like in Java. Ioke also allows colons as an identifier. Exclamation mark and question mark is allowed anywhere in the identifier except for in the beginning. Identifiers can be broadly classified into identifiers and operators, where operators can be any combination of several sigils. There are also some special operators that have restructions. These are: Opening and close brackets are not allowed, except together with its counterpart, so [ is not a valid identifier, while [] is. So is {}. () is not valid either. Two or more dots is a valid identifier. A hash sign can be followed by any operator char, but isn't parsed as an identifier by itself. Slash is not an operator char, but can be used as it except in combinations that look like regular expressions. The operator chars are: +, -, *, %, &lt;, &gt;, !, ?, ~, &amp;, |, ^, $, =, @, ', ` and :. These can be combined together in any order, and any number, except for the caveats noted before. That means the available operator space is infinite, and very wide. Combinations of letters and operator characters are generally not allowed, except for the exceptions with :, ! and ?. This is to make it possible to have infix operations without spaces in some situations.

The two forms of brackets will get turned into a canonical form. Surrounding comma-separated message chains with square brackets is the same as calling the method [], giving it those message chains as argument. So [foo, bar, quux] is exactly the same as [](foo, bar, quux). The same is true for curly brackets.

Comments start with semicolon and end at the first newline. They can be used mostly anywhere, except inside of literal texts. The hash sign followed by an exclamation mark is also a comment, to allow the shebang line in Unix scripts.

How and when the actual evaluation of messages happen depend on what kind the message type is. If it's inactive, the value reflecting that cell will be returned. If it's active, the cell will be activated and the result of that activation returned. How the activation depends on what kind of code the cell contains. The various kinds of code is described more closely in the chapter about [http://{{SERVERNAME}}/#code code].

==== Literal values ====

Ioke currently contains four different kinds of literals. There is a fifth quasi literal, that isn't exactly parsed as a literal, but will be evaluated differently based on its name. These literals are texts, regular expressions, integers and decimal numbers. Symbols are actually parsed as regular identifiers, but they are handled a bit differently during evaluation.

===== Text =====

A literal text in Ioke is what is generally called strings in most languages. As in most languages, text is written inside of double quotes. Any characters are valid inside of those double quotes. That includes newlines - so you can write a literal text that extends to several lines. There is no alternate syntax for text. As in most other languages, several escapes are valid inside of a text. Escapes are preceded by the backslash, and insert the character corresponding to the escape values. These escapes are:

; \b
: Inserts the bell character, that is represented in ASCII by the decimal value 8.
; \e
: Inserts the character that is represented in ASCII by the decimal value 27. This value is used for sending escape values to the TTYs in some operating systems.
; \t
: Inserts the TAB character - ASCII decimal 9.
; \n
: Inserts the newline character - ASCII decimal 10.
; \f
: Inserts the form feed character - ASCII decimal 12.
; \r
: Inserts the carriage return character - ASCII decimal 13.
; \&quot;
: Inserts the double quote character - ASCII decimal 34.
; \\
: Inserts the backslash character - ASCII decimal 92.
; \[newline]
: Inserts nothing at all. Used to escape necessary newlines, without having them show up in the output text.
; \#
: Inserts a literal hash character - ASCII decimal 35.
; \uABCD
: Inserts the Unicode codepoint corresponding to the hexadecimal value of the four characters following the &quot;u&quot;. All four hexadecimal characters need to be specified.
; \7, \12, \316
: Inserts the Unicode codepoint corresponding to the octal value of the one, two or three octal characters. The maximum value allowed is \377, and the minimum is obviously \0.
Ioke also supports an alternative text syntax that can be used when the text in question contains many scare quotes. The alternative syntax starts with #[ and ends with ]. A right bracket will have to be escaped, but scare quotes doesn't have to be.

The parsing of text will generate a message with name &quot;internal:createText&quot;. This message will get one argument that is the raw Java String corresponding to the text.

Ioke allows automatic interpolation of arbitrary values in the same manner as Ruby. It uses the same syntax for this, which is the #{} syntax inside a text. These can be nested in any way. The elements will be parsed and sent as arguments to the message with name &quot;internal:concatenateText&quot;. So an Ioke text such as &quot;foo bar#{flux} will #{1+2}&quot; will generate the message internal:concatenateText(&quot;foo bar&quot;, flux, &quot; will &quot;, 1+(2), &quot;&quot;). As you can see, there is a small amount of waste in the way this is generated -- but the simple model makes it easy to understand. It's not guaranteed that this will remain the same, although the message will definitely remain.

Some examples:

<pre>&quot;foo&quot;

&quot;flax \
mux&quot;

&quot;one two #{three} \b four&quot;

#[you don't really  &quot;#{1+2+3}&quot; believe that?]</pre>
===== Regular expressions =====

Ioke has very capable regular expressions. Exactly what you can do with them can be found further down in this guide. The literal syntax allows regular expressions to be embedded in code directly. The syntax for this starts with a #/ and ends with another /. The last slash can optionally be followed by some flags that change the behavior of the expression. Regular expressions can also use an alternative syntax that starts with #r[ and ends with ]. Just as with Text, regular expressions can contain interpolation. This interpolation will be transformed into regular expressions and then combined with the outer regular expression. A few examples might be in order here:

<pre>#//
#r[]

#/foo/
#r[foo]

#/fo+/x
#r[fo+]x

#/bla #{&quot;foo&quot;} bar/
#r[bla #{&quot;foo&quot;} bar]</pre>
The first example is an empty regular expression. The second is an expression matching the word &quot;foo&quot;. The third expression matches an &quot;f&quot; followed with one or more &quot;o&quot;. It also allows extended regular expression syntax, due to the x flag. The flags supported in Ioke are o, x, p, n, i, u, m and s. The meaning of these match the meaning of corresponding Ruby flags. Regular expressions allow most of the same escapes as Ioke text. Specifically, these escapes are supported: b, t, n, f, r, /, \ and newline. Unicode and octal escapes also work. The fourth example shows the insertion of a literal text inside of a regular expression.

Ioke regular expressions will be transformed into a call to internal:createRegexp. This message expects two Java strings, one with the actual pattern, and one with the flags.

===== Integers =====

Ioke supports arbitrarily sized numbers. It also contains a numerical tower that can be more closely explored in the reference documentation. The numerical tower is based in Number. Number Real mimics Number. Number Rational mimics Number Real, and so does Number Decimal. Finally, Number Integer and Number Ratio both mimics Number Rational. The interesting parts of this tower is Number Integer, which corresponds to integers, Number Ratio, which is any ratio between two integers, and Number Decimal, which corresponds to decimal numbers. These are arbitrarily sized and exact. There are no floats or doubles in Ioke. There is also a potential place for Number Complex at the same layer as Number Real, although complex numbers are not currently implemented. There are also plans for implementing a unit system further down the line.

Literal integers can be written using either decimal or hexadecimal notation. Hexadecimal notation begins with 0x or 0X and are then followed by one or more hexadecimal letters. They can be either upper or lower case. A decimal literal number is written using one or more decimal letters, but nothing else.

There is no literal to create ratios - these can only be created by division of integers. Negative numbers have no literal syntax, but preceding a number with a minus sign will call the message - on the number and generate the negative value.

A literal integer will be transformed into a call to internal:createNumber, which takes one native Java String from which to create the number.

Some examples:

<pre>1234444444444444444444444444444444444444235234534534

0

0xFFFFF</pre>
===== Decimals =====

Literal decimal values can be written either using exponential notation, or using a decimal dot. A decimal dot notation can be combined with exponential notation. Exponential notation starts with a number or a decimal number, followed by lower or upper case E, followed by an optional sign, and then followed by one or more decimal letters.

A literal decimal will be transformed into a call to internal:createDecimal, which takes one native Java String from which to create the decimal.

Some examples:

<pre>0.0

1E6

1E-32

23.4445e10</pre>
===== Symbols =====

Symbols aren't exactly syntax, but they aren't exactly messages either. Or rather, they are messages that will evaluate to the symbol that represent themselves. Symbol is a kind in Ioke. There are two kinds of symbols - the first one is simple symbols that can be parsed as is. The second is symbols that can't be parsed as is. Symbols are preceded by a colon and then directly followed by the symbol text. If it can't be parsed correctly, the value should be surrounded by quotes, and this will be turned into a call to the method :, which takes the text as argument. That means that you can actually get dynamic symbols by calling the : method.

Some examples:

<pre>:foo

:flaxBarFoo

:&quot;&quot;

:&quot;mux mex mox \n ::::::::&quot;</pre>
==== Operator shuffling ====

One exception to the way message handling works in Ioke is operators. All the so called operators in this section is possible to call directly in message passing position too -- but to make it possible to use them in a more natural way, the parsing step will handle them a bit differently, and then do a shuffling step that actually takes operator precedence into account. So all the common operators will generally work as you expect them too -- although I recommend adding parenthesis when something is possibly unclear.

Ioke has a slightly larger amount of operators than most other languages. Most of these are currently unused, but they are certainly available for use for any purpose the programmer wants to use it for. Many adherents of other languages (Java, I'm looking at you) claim that operator overloading is evil. I don't believe that is true, seeing as how it works so well in Ruby, so Ioke instead allow you quite large freedom with regards to operators.

The precedence rules for regular operators can be found in the cell 'Message OperatorTable operators', which is a regular Dict that can be updated with new values. The new values will obviously not take effect until the current code has run, and a new parse is started.

Note that the below is only the operators that have defined precedence rules. As noted in the section on syntax, you can use any operator you want really. It is easy to add new precedences to the table, either temporarily or permanently.

At the time of writing, the available operators - in order of precedence - are these:

* !
* ?
* $
* ~
* #
* **
* *
* /
* %
* +
* -
* &lt;&lt;
* &gt;&gt;
* &lt;=&gt;
* &gt;
* &lt;
* &lt;=
* &gt;=
* &lt;&gt;
* &lt;&gt;&gt;
* ==
* !=
* ===
* =~
* !~
* &amp;
* ^
* |
* &amp;&amp;
* ?&amp;
* ||
* ?|
* ..
* ...
* =&gt;
* &lt;-&gt;
* -&gt;
* +&gt;
* !&gt;
* &amp;&gt;
* %&gt;
* #&gt;
* @&gt;
* /&gt;
* *&gt;
* ?&gt;
* |&gt;
* ^&gt;
* ~&gt;
* -&gt;&gt;
* +&gt;&gt;
* !&gt;&gt;
* &amp;&gt;&gt;
* %&gt;&gt;
* #&gt;&gt;
* @&gt;&gt;
* /&gt;&gt;
* *&gt;&gt;
* ?&gt;&gt;
* |&gt;&gt;
* ^&gt;&gt;
* ~&gt;&gt;
* =&gt;&gt;
* **&gt;
* **&gt;&gt;
* &amp;&amp;&gt;
* &amp;&amp;&gt;&gt;
* ||&gt;
* ||&gt;&gt;
* $&gt;
* $&gt;&gt;
* +=
* -=
* **=
* *=
* /=
* %=
* and
* nand
* &amp;=
* &amp;&amp;=
* ^=
* or
* xor
* nor
* |=
* ||=
* &lt;&lt;=
* &gt;&gt;=
* &lt;-
* return
And as mentioned above, all of these can be used for your own purpose, although some of them already have reserved meanings. This document will cover most of the used operators, while the rest can be found in the reference.

Since this operator shuffling happens, that also means that an Ioke program has a canonical inner form that can differ from the source text. When you use introspection of any kind, you will get back that canonical form which might not look exactly like you expected. Similarly, if you ask some code to print itself, it will use the canonical form instead of the operator skin. Macros that modify message chains should work against the canonical form, and nothing else.

What an operator does depends on the result of sending the message of that name to the receiver, just like regular messages. In fact, to Ioke there really isn't any difference, except that the parsing takes special notice about operators and assignment operators.

==== Assignment shuffling ====

Much like with regular operators, trinary - assignment - operators are subject to a kind of shuffling. This shuffling differs from regular operator shuffling, in that it will shuffle around two things - the left hand side and the right hand side. This is true for every assignment operator except for the unary ones, which will only reshuffle one message.

A few examples might make the translation easier to perceive. The first item is the readable form, while the second form is the canonical form:

<pre>foo = 1 + 2
=(foo, 1 +(2))

Ground foo *= &quot;text&quot;
Ground *=(foo, &quot;text&quot;)

bar foo(123) = 42
bar =(foo(123), 42)

flux++
++(flux)</pre>
These examples show some more advanced details -- specifically the fact that assignment operators generally work on &quot;places&quot;, not on names or cells. This will be more explored in the chapter on [http://{{SERVERNAME}}/#assignment assignment]. The important thing to notice from the above examples is that for most assignments two things will be rearranged. For the unary operators only one thing will be moved.

Just as with regular operators, the assignment operators have information in the 'Message OperatorTable' cell. The specific cell is 'Message OperatorTable trinaryOperators', and it matches an assignment operator to either the integer 1, or the integer 2. Everything with 1 will be matched as being unary assignment.

The currently available assignment operators are:

* =
* ++
* --
* +=
* -=
* /=
* **=
* *=
* %=
* &amp;=
* &amp;&amp;=
* |=
* ||=
* ^=
* &lt;&lt;=
* &gt;&gt;=
Just as with regular operators, what an assignment operator does depend on what the result is from sending the message of that name to the receiver object, just like with any type of message.

==== Inverted operators ====

In addition to the regular binary operators and the trinary assignment operators, Ioke also sports inverted operators. These aren't actually used anywhere in the core distribution, but they might be useful at some time or another. The basic idea is that sometimes you want to have the right hand side of an expresssion become the receiver of an operator call, and the left hand side become the argument to the operator. Inverted operators allow this.

As with both the binary and trinary operators, you can find and update information about inverted operators in the cell 'Message OperatorTable invertedOperators'. To make this a little less abstract, let us look at two simple examples and what they translate into:

<pre>&quot;foo&quot; :: [1, 2, 3, 4] map(asText) 
;; will be translated to
[1, 2, 3, 4] map(asText) ::(&quot;foo&quot;)

;; provided we have an inverted
;; operator called 'doit'
abc foo quux doit another time
;; will be translated to
another time doit(abc foo quux)</pre>
=== Execution model ===

The way an Ioke program work is very simple. Everything executes based on two things. The first is the context, or the ground, and the second is the receiver. The first message sent in each message chain will have the ground as receiver. The default ground in Ioke source files is an object called Ground. This object is in the mimic chain for most regular objects created in Ioke, which means that things defined at the top level will generally be available in most objects. Inside of methods and blocks, the ground will be different. Exactly in what way is defined by the type of code executing.

Every message in a chain will be sent to the receiver of that message. That receiver is the result of the last message, or the current ground if there was no previous message, or if that previous message was a terminator. So Ioke code like &quot;foo bar(flux bar) quux&quot; involves 5 different messages.

# The message &quot;foo&quot; is sent to Ground, which is the current ground and also the default receiver.
# The message &quot;bar&quot; is sent to the result of the &quot;foo&quot; message. The value returned will be activated.
# The cell &quot;bar&quot; contains a method in this case, and that method expects one argument, so that forces evaluation of the arguments.
# The message &quot;flux&quot; is sent to Ground, since it's the ground and there is no prior message inside of an argument list.
# The message &quot;bar&quot; is sent to the result of the &quot;flux&quot; message.
# The result of the &quot;bar&quot; message is used as the argument value given to the outside &quot;bar&quot; method.
# The message &quot;quux&quot; is sent to the result of the initial &quot;bar&quot; message.
# The result of the quux message is thrown away, unless this code is part of a larger piece of code.
This description generally describes what happens in the case of this code. The more general control flow is this:

# A message is encountered
# If the message is a symbol message, the corresponding symbol will be returned.
# Otherwise the name of the message will be looked up in the receiver, or in the receivers mimics.
# If the name is found and is not activatable, the value of that name (the cell) is returned.
# If the name is found and is activatable, it will be activated, with the current ground, receiver and message sent to the activatable object.
# If the name is not found, a second search is done for the name &quot;pass&quot;. If a pass is found, use that instead of the name of the original message, and go back to 4.
# If a pass is not found, signal a Condition Error NoSuchCell condition.
Exactly what happens when an object is activated depends on what kind of code gets activated. It's really up to the method, block or macro to handle evaluation of arguments in any way it likes - including not evaluating them. For a description of the default models available, see the chapter on [http://{{SERVERNAME}}/#code code]

=== Objects ===

The object model of Ioke is quite simple. Everything in Ioke is an object that follows these same rules. An object is something with an identity. It can have zero or more mimics, and zero or more cells. An object can also have a documentation text. Some objects can have a native data component. This acts more or less like a hidden cell that contains information that can't be directly represented in Ioke - for example the actual text in a Text. Or the actual number in a Number. Or the actual regular expression in a Regexp. These objects are the core types that contain primitive information.

A cell is the main way of representing data in Ioke. A cell has a name and a value. Every value in Ioke is a cell - every time you send a message, a cell is looked up for the value of that cell. Cells can contain any kind of data. In other languages, cells are generally called properties or slots. They are quite close to instance variables that also can contain methods. Cells can be added and removed at any time during runtime.

A mimic could also be called the parent of the object. Ioke is a prototype based language, which means that there is no distinction between classes of objects, and the objects themselves. In fact, any object can be used as the &quot;class&quot; of a new object. The word for that is mimicking, since the word &quot;class&quot; loses it's meaning in this kind of language. It's most common for an object to mimic one other object, at least initially. It's impossible to create an object that doesn't mimic anything, but you can remove all mimics for an object after the fact. You can also add more mimics. This turns out to be useful to represent shared functionality in the manner of Ruby mixins, for example. The actual effect of a mimic is that when a cell can't be found in the current object, all mimics will be searched for that cell (depth-first). So all cells available in an object's mimic is available to the object too. This is the inheritance part of Object-Oriented Programming.

In many places you will find the word &quot;kind&quot; being used. A Kind is by convention an object that is used primarily to use as a mimic for other objects. The convention is that kinds are named with an initial upper case letter, while everything else starts with a lower case letter. The assignment process of Ioke also uses this convention to automatically set a cell called &quot;kind&quot; on any object that gets assigned to a name matching this convention.

The rest of this chapter will discuss the kinds that are the basis of the object system.

==== Base ====

The kind called Base is the top of the mimic chain. It's not generally useful in itself as it only defines the bare minimum of cells to make it possible to add new cells to it, mimic it, and so on. But if you want an object that is possible to use but not include most of the other stuff, Base is place to begin. Be careful when defining methods in Base, since it doesn't have access to most of the namespace. In fact, it doesn't even know about its own name. Base can act as a kind of blank slate, if needed, but it's probably easier to just create a regular object and remove all mimics from it after the fact.

Base defines these cells:

; kind
: returns the kind of the object, which is &quot;Base&quot;.
; notice
: returns the short notice of the object, which is &quot;Base&quot;. Refer to [http://{{SERVERNAME}}/#introspection Introspection] for more information about notice.
; =
: Takes two values, the first a place and the second a value, and assigns the place named to that value. Refer to [http://{{SERVERNAME}}/#assignment Assignment] for more information about it.
; ==
: Compares this object against the argument. Returns true if they are the same, otherwise false.
; cell
: Takes one argument that should be the name of a cell that exists, and returns the value of the cell unactivated.
; cell=
: Sets a cell to a specific value. Used to set cells that can't be set using the regular assignment model. Refer to [http://{{SERVERNAME}}/#assignment Assignment] for more information about it.
; cell?
: Takes one argument that should be the name of a cell to check if it exists in this objects mimic chain.
; cellNames
: Returns a List containing the names of all cells this object contains.
; cells
: Returns a Dict with all cells this object contains. The key is the name and the value is the cell value.
; cellOwner
: Returns the closest mimic that has a cell with the name given as argument to the message. A condition will be signalled if you try to find the owner of a cell that doesn't exist in this mimic tree. This method will only return the closest cell owner for the named cell. It will not use &quot;pass&quot;, so it's the responsibility of pass-implementers to make it return a correct result for those names.
; cellOwner?
: Takes the name of a cell and returns true if the receiver of the message defines a cell by that name, otherwise false. Note that there can be more than one cell owner in a message chain. This just returns true if the current receiver is the closest one.
; removeCell!
: Removes the named cell from the current object. This means that if the current cell shadowed cells in mimics, those can be called again. It only removes a cell if the receiver is the owner of that cell. Otherwise it is an error to call this method.
; undefineCell!
: Makes it impossible to find a cell from the receiver. In all ways it looks like this cell doesn't exist in the mimic chain at all, even if mimics define several implementations of it. The use of undefining can make an object conceptually totally clean from cells, although it might be hard to use the objec after that. An interesting side-effect of the way these methods work is that removeCell! can be used to remove the undefine. So if you call removeCell! with a cell name and a receiver that has been called with undefine earlier, that undefine-status will be removed, and access to mimic versions of the cell will be possible again. Look at the specs for a better understanding.
; documentation
: Returns the documentation text for this object, or nil if no documentation exists for it.
; documentation=
: Sets the documentation text for this object.
; mimic
: Returns a newly created object that has the receiver as mimic. This is the magic way of creation new objects in Ioke. It is also the ''ONLY'' way to do it.
All of these methods are described further in the reference.

==== Ground ====

As mentioned above, Ground is the default ground/context for evaluation. Ground mimics Base and DefaultBehavior. Ground is also special in that this is the place where all top level kinds are defined. If you want to create a top level kind, you should put it in Ground. If you take a look in Ground, you will see that it contains cells for Text, Dict, List, Base, Origin, itself and many other. Ioke doesn't have any global state at all, but Ground is as close as it gets. Ground should in most cases not be mimicked directly.

==== Origin ====

Origin should be the place where most objects in Ioke start from. It is specifically created to be the origin of objects. As such it doesn't contain many cells for itself, but it mimics Ground and has access to everything from Base, DefaultBehavior and Ground in that way. When adding new more or less global functionality, Origin is probably the best place to put it. Currently, the only cells Origin contains is for purposes of printing itself.

Origin also happens to be the point where initialization is defined. This is really done as an aspect on 'mimic'. If you want an object to be able to be initialized every time a new mimic of it is created, just create a method called initialize in your kind. It will be called by the mimic-aspect. Any arguments given to mimic will be ignored and passed along to initialize. An example:

<pre>Foo = Origin mimic
Foo initialize = method(&quot;New foo created!&quot; println))
Foo mimic
Foo mimic

Foo initialize = method(arg1, key:, self value = [arg1, key])
Foo mimic(42, key: 15)
Foo mimic(key: &quot;blarg&quot;, 42)</pre>
There is nothing special with the initialize method, so if you want more initialization to happen in a deep hierarchy, you will have to use super-calls and so on.

==== DefaultBehavior ====

DefaultBehavior is a mixin - meaning it should never be the sole mimic of an object. Mixins are generally not grounded in Base, and doesn't contain most of the things you would expect from an object. DefaultBehavior contain almost all the general methods you use when programming Ioke. It contains the internal methods to create values from literals, and most other functionality specified in this document. In short, DefaultBehavior is the work horse, and you should have a pretty good reason to not have it in the mimic chain of an object. Since Ground mimics DefaultBehavior, any object you create from Origin, will have DefaultBehavior in its mimic chain.

==== nil, true, false ====

The three values nil, true and false are the only values that are considered kinds, even though they start with lower case letters. They are not like the other kinds in the other important way either - these values can not be mimicked, and you will get a condition if you try it. The reason is that Ioke's basic boolean system revolves around these values. It is not entirely certrain that these values will forever be the only boolean values, but for now they are. nil should be used to represent the absence of a value, including the absence of a reasonable return value. false is the quintessential false value, and true is the quintessential true value. The value true isn't strictly necessary since any value except for nil and false are true. This notion of truthness mimics Ruby. The cells nil, true and false are defined in Ground, and they can actually be overridden or changed - but I don't recommend it. I can guarantee lots of chaos and non-working programs from doing it. More info on how these values interact can be found in the section on [http://{{SERVERNAME}}/#comparison Comparison].

=== Assignment ===

Superficially, Ioke's assignment model is quite simple. But there exists some subtleties too. One of the main reasons for this is that assigning a cell that doesn't exist will create that cell. Where it gets created is different based on what kind of context the assignment happens in. The main difference here is between a method activation context, or a lexical block context.

Ioke also supports assignment of places, which makes assigning much more flexible. A third feature of Ioke assignment is that it will check for the existence of an assignment method before assigning a specific name. This chapter will make all these things clear, and show some examples.

Let's start with a small example of simple assignment:

<pre>foo = Origin mimic
foo x = 42
foo y = 13
foo x += 2</pre>
The first line creates a new Origin mimic, and then assigns that to the name foo. Since this code executes at the top level, &quot;foo&quot; will be a new cell created in Ground. The second line creates a new cell called &quot;x&quot; inside the &quot;foo&quot; object. It gets assigned the value 42. The third line creates a &quot;y&quot; cell, and the fourth line sends the += message, which will first call +, and then assign using =. So at the end of this program, &quot;foo&quot; will contain two cells: &quot;x&quot; with value 44, and &quot;y&quot; with value 13. As mentioned above, cells get created the first time they are assigned to. If you need to create a cell in a specific object, just namespace it. For example, if you want to make sure that you create a cell in Ground, just do &quot;Ground foo = 42&quot;.

Inside of a method, the situation is exactly the same. If you assign something, it will be assigned in the current context, which is the local activation context (meaning it's the place where local variables are available). There are two situations where this doesn't hold true. The first one is within the special method &quot;do&quot;. This method will take any code as argument and execute that with the receiver of the &quot;do&quot; message as the ground/context of the code inside it. That means &quot;do&quot; is a good way to create new cells inside an object.

This is a bit academic, so lets take a look at an example:

<pre>Foo = Origin mimic
Foo x = method(
  ;; this creates a local variable in the method activation
  foo = 42
)

Foo = Origin mimic
Foo do(
  ;; this creates the cell foo inside of Foo
  foo = 42
)</pre>
Here you can see a method defined called x. This method will just create a new local cell, which means calling the method will not make any difference on its receiver at all. The call to &quot;do&quot; in contrast will immediately execute the code inside it, and this code will create the cell &quot;foo&quot; inside of &quot;Foo&quot;.

The second exception to the general rule is when executing inside of a lexical context. A lexical context is basically established inside of a block, but can also be created transparently when sending code to a method. A lexical block will try to not create new cells. When you assign a cell without a specific place to assign it, a lexical block will first see if there is any cell with that name further out, and if so it will make the assignment there instead. Only when no such cell exists, a new cell will be created in the lexical context. This code shows this in action:

<pre>x = 42
fn(x = 43. y = 42) call
x ;; =&gt; 43
y ;; =&gt; Condition Error NoSuchCell</pre>
The &quot;fn&quot; message creates a new lexical block. The chapter on [http://{{SERVERNAME}}/#code code] will talk more about this. But as you can see, this block assigns 43 to the cell &quot;x&quot;, and 42 to the cell &quot;y&quot;. But since the cell &quot;y&quot; doesn't exist, it will only be created inside the lexical context, while &quot;x&quot; exists outside, and will be assigned a new value instead. The basic idea is that code like this should behave like you expect it to behave.

The canonical form of assignment is a bit different from the way you usually write code in Ioke. The section on the syntax of assignments talked a bit about this. Specifically, something like &quot;foo = 42&quot; will get translated into &quot;=(foo, 42)&quot;. That also means that assignment is just a regular method call, and can be overridden or removed just like any other method. That is exactly how both lexical context, and local method context make it possible to have different logic here. This is true for all assignment operators.

All assignment operators take as their first argument the place to assign to. This place will be unevaluated. Only the second argument to an assignment will be evaluated. In most cases, a place is the same thing as a cell name, but it doesn't have to be. Let's look at the case of assigning a cell with a strange name. Say we want to assign the cell with the no name. We can do it like this:

<pre>cell(&quot;&quot;) = 42</pre>
What happens here is a bit subtle. Since the left hand side of the assignment takes arguments, the &quot;=&quot; method figures out that the assignment is not to a simple cell name, but to a place. The parsing step will change &quot;cell(&quot;&quot;) = 42&quot; into &quot;=(cell(&quot;&quot;), 42)&quot;. Notice here that the argument comes along into the specification of the place. When this happens, the assignment operator will not try to create or assign a cell - instead it will in this case call the method cell=. So &quot;cell(&quot;&quot;) = 42&quot; will ultimately end up being the same as &quot;cell=(&quot;&quot;, 42)&quot;. This way of transforming the name will work the same for all cases, so you can have as many arguments as you want to the place on the left hand side. The equals sign will be added to the method name, and a message will be sent to that instead.

This makes assignment of places highly flexible, and the only thing you need to do is implement methods with the right names. This feature is used extensively in Lists and Dicts to make it easy to assign to specific indexes. So, say we have a list called x. Then this code: &quot;x[13] = 42&quot; will be transformed into &quot;x =([](13), 42)&quot; which will in turn be transformed into &quot;x []=(13, 42)&quot;. Ioke lists also has an at= method, so you can do &quot;x at(13) = 42&quot; which will call at=, of course.

The second transformation that might happen is that if you try to assign a cell that has an assigner, you will call that assigner instead of actually assigning a cell. So, for example, if you do &quot;foo documentation = 42&quot;, this will not actually create or assign the cell &quot;documentation&quot;. Instead it will find that Base has a cell called &quot;documentation=&quot;, and instead send that message. So the prior code would actually be equivalent to &quot;foo documentation=(42)&quot;.

All of these assignment processes together make it really easy to take control over assignment, while still making it very obvious and natural in most cases.

==== Let ====

Sometimes you really need to change the value of something temporarily, but then make sure that the value gets set back to the original value afterwards. Other situations often arise when you want to have a new name bound to something, but maybe not for a complete method. This might be really useful to create closures, and also to create localized helper methods. For example, the Ioke implementations for Enumerable use a helper syntax macro. This macro is bound temporarily, using a let form. This ensures that the syntax doesn't stay around and pollute the namespace.

A let in Ioke can do two different things, that on the surface look mostly the same but are really very different operations. The first one is to introduce new lexical bindings, and the second is to do a dynamic rebind of a specific place. The easiest way of thinking about it is that the lexical binding introduces a local change or addition to the available names you're currently using, while a dynamic rebinding will change the global state temporarily, and then set it back.

This sounds really academic, so let us go for some examples. We begin with lexical bindings.

<pre>;; put everything in a method to show explicit scope
foo = method(x, y,
  x println ; =&gt; argument value of x
  let(x, 14,
    x println ; =&gt; 14
  )
  x println ; =&gt; argument value of x

  y println ; =&gt; argument value of y
  y = 13
  y println ; =&gt; 13
  let(y, 14,
    y println ; =&gt; 14
  )
  y println ; =&gt; 13

  z println ; will signal condition
  let(z, 42,
    z println ; =&gt; 42
  )
  z println ; will signal condition
)</pre>
Here a new method is created that has two arguments, x and y. The first let-expression will create a new scope where a binding from x to 14 is established. This binding is valid until the end of the let-form (but it can be changed, doing an assignment will set the value to something else, but only until the end of the let form). The same thing is true with y. We can change the value of y outside of the let form. That changes the actual argument variable. But a let form that binds y will only have it active for a limited time. Finally, a let form can also create totally new variables, as when creating z.

I didn't show any example of it, but the first part of a let-name can be any kind of place, not just a simple name. Anything you can use with =, can be used as a name for let. So you could do something like let(cell(&quot;&quot;), 42, nil) if you wanted to.

OK, so that's lexical binding. What about dynamic rebinding? The main difference in a dynamic binding is that the scope you work in is something that is referencable from other scopes. In most cases this will be global places, but not necessarily. You can also rebind cells inside of other objects with the dynamic binding feature.

<pre>bar = method(
  let(Origin foo, method(&quot;haha&quot; println),
    &quot;x&quot; foo
    Origin foo
    [1,2,3] foo
  )

  let(Text something, 42,
    &quot;abc&quot; something println ; =&gt; 42
  )
  &quot;abc&quot; something println ; will signal condition

  let(Text inspect, &quot;HAHA&quot;,
    &quot;foo bar qux&quot; inspect println ; =&gt; &quot;HAHA&quot;
  )
  &quot;foo bar qux&quot; inspect println ; =&gt; #[&quot;foo bar qux&quot;]

  let(Text asRational, method(42),
    (3 + &quot;haha&quot;) println ; =&gt; 45
  )
)</pre>
This example actually changes things quote a lot. The first and second examples introduce new cells into existing places, uses them and then doesn't do anything. The third example actually overrides an existing cell in Text - inspect - and then uses it inside of the let code. Finally, after the let block is over, we see that the original method is back. The fourth example shows that our changes with let actually are global. There is no asRational on Text, but we add it temporarily and can then use it in arithmetic with numbers. This is once again a temporary change that will disappear afterwards.

Ioke's let-form is incredibly powerful, and it allows very nice temporal and localized changes. Of course, it's a power that can be abused, but it gives lots of interesting possibilities for expression.

=== Control flow ===

Ioke has some standard control flow operators, like most other languages. In Ioke, all of these are regular method calls though, and they can usually be implemented in terms of Ioke. This chapter will chiefly talk about comparisons, conditionals and iteration constructs.

==== Comparison ====

There are several comparison operators in Ioke, but the most important is called the spaceship operator. This operator is &lt;=&gt;. It takes one argument and returns -1, 0 or 1 depending on the ordering of the receiver and the argument. If the two objects can't be compared, it returns nil. If you implement this operator and mixin Mixins Comparing, you get the operators ==, !=, &lt;, &lt;=, &gt; and &gt;= implemented in terms of the spaceship operator. There are two other common operators in Ioke. The first =~, which can also be called the match operator. It's only implemented for Regexp right now. The === operator also exists, but isn't implemented for most objects. This operator doesn't do much right now, but is planned to be the basis of a Ruby-like case-statement further down the line. The contract of comparison operators is that they should return a true value (not necessarily the true) if the comparison is true, and otherwise return either false or nil.

The contract for === should be matching or not matching. It is among other things used in Ranges to see if something is included in that range or not.

<pre>iik&gt; 1 + 2 &lt; 4
+&gt; true

iik&gt; 3 + 2 &lt; 4
+&gt; false

iik&gt; &quot;foo&quot; &lt;=&gt; &quot;fop&quot;
+&gt; -1</pre>
==== Conditionals ====

Ioke has two different ways of doing conditionals. The first one is the default, and is also the traditional conditional from other languages. The second version looks more like Smalltalk conditionals.

As with everything else, these conditionals are all methods, and can be overridden and changed if need be. They can also be polymorphic.

The default conditionals are called &quot;if&quot; and &quot;unless&quot;. They both take an initial evaluated argument that is used to check which branch should be taken. The &quot;if&quot; method will execute it's second argument if the first argument is true, and the third argument if the first argument is false. The &quot;unless&quot; method does the inverse -- executing the second argument if the first argument is false, and the third argument if the first argument is true. One or both of the branches can be left out from the statement. If no else-part is around and the conditional part evaluates to a false value, that false value will be returned.

A few examples are in order:

<pre>if(42 &lt; 43,
  &quot;wow, math comparison works&quot; println,
  &quot;we have some serious trouble&quot; println)

if(42 &lt; 43,
  &quot;wow, math comparison works&quot;,
  &quot;we have some serious trouble&quot;) println

unless(42 &lt; 43,
  &quot;convoluted math&quot; println)</pre>
It is good style to not use &quot;unless&quot; with an else branch. It generally tends to not be so readable that way. Remember that &quot;if&quot; and &quot;unless&quot; return their values, which means they are expressions like everything else. The middle example show that you can just call println on the result of the if-call, instead of doing it twice inside. This is also good style. Assigning the result of an if-call is likewise not a problem.

In some languages you see a pattern such as &quot;if(foo = someExpensiveMethodCall(), foo println)&quot;, where a variable is assigned in the condition evaluation so the value doesn't have to be evaluated twice. This works in Ioke too, but there is a more idiomatic way of doing it. Both &quot;if&quot; and &quot;unless&quot; establish a lexical context, where a variable called &quot;it&quot; is available. This variable will be bound to the result of the conditional. So the above idiom could instead be written &quot;if(someExpensiveMethodCall(), it println)&quot;. This is the preferred way of handling regular expression matching.

The Smalltalk inspired way of doing conditionals rest on the methods called ifTrue and ifFalse. Both of these methods are only defined on true and false, which means they are not as general as the if and unless statements. They can also be chained together, so you can write:

<pre>(42 &lt; 43) ifTrue(&quot;wowsie!&quot; println) ifFalse(&quot;oh noes&quot; println)</pre>
As should be obvious from these examples, these conditionals can not return any value. They must only rely on side effects to achieve anything.

Ioke also supports the expected short circuiting boolean evaluators. They are implemented as regular methods and are available on all objects. All of the expected combinators are available, including &quot;and&quot;, &quot;&amp;&amp;&quot;, &quot;or&quot;, &quot;||&quot;, &quot;xor&quot;, &quot;nor&quot; and &quot;nand&quot;.

==== cond ====

Ioke doesn't have any else-if expression, which means that when you want to do several nested checks, you end up with lots of indentation. Cond is a macro that expands to that code. The code using cond will not have more indentation, which means it might be easier to read. A cond has one or more conditional expressions followed by an action part to execute if that condition is true. As soon as a condition has evaluated to true cond will not evaluate any more conditions or actions. If no conditions evaluate to true, nil will be returned, unless there is an action part following the last action-part. In other terms, if the cond-expression has an odd number of arguments, the last argument is the default case to execute if nothing else matches.

Some examples of cond:

<pre>cond(
  x == 1, &quot;one&quot; println,
  x == -1, &quot;minus one&quot; println,
  x &lt; 0, &quot;negative&quot; println,
  x &gt; 0, &quot;positive&quot; println,
  &quot;zero&quot; println
)</pre>
As you can see, it becomes quite clear what happens here. Keep in mind that cond is an expression, just like anything else in Ioke, and will return the last value evaluated.

==== case ====

A thing that you very often want to do is to check one value against several different conditions. The case expression allows this to be done succinctly. The core to the case-expression is the === method, that is used for matching. The expression takes one value, then one or more conditionals followed by actions, and then an optional default part. Once something matches, no more conditionals will be executed. The conditional part should not be a complete conditional statement. Instead it should return something that implements a fitting ===. So, a small example follows:

<pre>case(value,
  Text, &quot;it is a text!&quot; println,
  1..10, &quot;it is a low number&quot; println,
  :blurg, &quot;it is the symbol blurg&quot; println,
  fn(c, (c+2) == 10), &quot;it is 8&quot; println,
  &quot;we don't know it!&quot; println)</pre>
The above example shows several different things you can match against, including a lexical block. The implementation of === for a lexical block will call the block with the value and then return true or false depending on the truth-value of the result of the call to the block.

A thing that can be inconvenient in some languages is to do combinations of several of these. Say you want to check that something is a Text and matches a regular expression, or it is either 5..10 or 15..20. In most cases you will end up having to write several conditional parts for at least one of those two. But Ioke allows you to use combiners in the conditional part of a case expression. These combiners will be rewritten before executed, so a combiner called &quot;else&quot; will actually use the method &quot;case:else&quot;, that in turn returns an object that responds correctly to ===. The end result is that using combiners read really well, and you can define your own by prefixing the name with &quot;case:&quot;. There are several standard ones. Using a few of them looks like this:

<pre>case(value,
  and(Text, #/o+/), &quot;it's a text with several oos&quot; println,
  or(5..10, 15..20), &quot;numberific&quot; println,
  else, &quot;oh no!&quot; println)</pre>
Combiners can be combined with each other and nested, so you could do and(foo, or(1, 2, 3), not(x)) if you want.

The available combiners are these:

; and
: Returns a matcher that returns true if all the arguments return true when calling ===. This is short circuiting.
; or
: Returns a matcher that returns true if any of the arguments return true when calling ===. This is short circuiting.
; not
: Takes one argument and returns the false if calling === on the argument returns true, and the other way around.
; nand
: The nand operation applied to === combiners.
; nor
: The nor operation applied to === combiners.
; xor
: The xor operation applied to === combiners.
; else<br />
otherwise
: Returns a matcher that always returns true. This is useful to make the default argument read better.
==== Iteration ====

Ioke supports most of the expected control flow operations for iteration. The one thing that is missing is the for-loop. Since the for-loop encourages low level stepping, and canbe replaced by other kinds of operations, I don't see any reason in having it in Ioke. In fact, the for-statement in Ruby is generally considered bad form too. And if someone really wants a for-loop it's really easy to implement. For now I'm reserving the name if I would like to add comprehensions at some point.

===== loop =====

For creating infinte loops, the &quot;loop&quot;-method is the thing. It will just take a piece of code and execute it over and over again until some non-local flow control rips the execution up. Using it is as simple as calling it:

<pre>loop(&quot;hello&quot; println)

x = 0
loop(
  if(x &gt; 10, break)
  x++
)</pre>
The first example will loop forever, printing hello over and over again. The second example will increment a variable until it's larger then 10, and then it will break out of the loop.

===== while =====

The Ioke while loop works exactly like while-loops in other languages. It takes one argument that is a condition to reevaluate on each iteration, and another argument that is the code to evaluate each iteration. The result of the while-loop is the result of the last executed expression in the body.

<pre>x = 0
while(x &lt; 10,
  x println
  x++
)</pre>
===== until =====

The until-loop works the same as the while-loop, except it expects it's condition argument to evaluate to false. It will stop iterating when the conditional is true for the first time.

<pre>x = 0
until(x == 10,
  x println
  x++
)</pre>
===== times =====

A very common need is to iterate something a certain number of times. The Number Integer kind defines a method called &quot;times&quot; that does exactly this. It's got two forms - one with one argument and one with two arguments. With one argument, it will just run the argument code the specified number of times, and with two arguments the first argument should be the name of a cell to assign the current iteration value to and the second is the code to execute.

<pre>3 times(&quot;hello&quot; println)

4 times(n,
  &quot;#{n}: wow&quot; println)</pre>
The first example will print hello three times, while the second example will count up from 0 to 3, printing the number followed by &quot;wow&quot;.

===== each =====

For most iteration needs, you want to traverse a collection in some way. The standard way of doing this is with the &quot;each&quot;-method. It's defined on all central collection classes and is also the basis of the contract for Mixins Enumerable. The contract for each has three different forms, and all should be implemented if you decide to implement the each method.

The each method should -- as the name implies -- do something for each entry in the collection it belongs to. So calling each on a set would do something with each entry, etc. Exactly what that is depends on how many arguments are given to &quot;each&quot;.

If one argument is given, it should be a message chain. This message chain will be applied to each element.

<pre>[:one, :two, :three] each(inspect println)

;; the above would execute:
:one inspect println
:two inspect println
:three inspect println</pre>
Another way of saying it is that the message chain will be executed using each element of the collection as receiver, in turn. The return value will be thrown away in this case, so to achieve anything, the code need to mutate data somewhere.

The second -- and most common -- form, takes two arguments. The first argument should be the name of a cell to assign each element to, and the second argument should be the code to execute. Under the covers, this form will establish a new lexical context for the code to run in. As with the first version, each return value will be trown away.

<pre>[2, 4, 6] each(x, (x*x) println)</pre>
Here, the name &quot;x&quot; will be used as the name of each element of the list in turn, while executing the code.

The final form of each takes three arguments, where the first is the name of a cell to assign the current index, and the other two arguments are the same as the above.

<pre>[2, 4, 6] each(i, x, &quot;#{i}: #{(x*x)}&quot; println)</pre>
The above code would print:

<pre>0: 4
1: 16
2: 36</pre>
===== break, continue =====

When executing loops it is sometimes important to be able to interrupt execution prematurely. In this cases the break and continue methods allow this for &quot;loop&quot;, &quot;while&quot; and &quot;until&quot;. Both break and continue work lexically, so if you send code to another method that uses these methods, they will generally jump out of a lexically visible loop, just like expected.

The break method takes an optional value to return. If no value is provided it will default to nil. When breaking out of a loop, that loop will return the value given to break. The continue method will not break out of the execution, but will instead jump to the beginning and reevaluate the condition once again.

<pre>while(true,
  break(42))</pre>
This code will immediately return 42 from the while-loop, even though it should have iterated forever.

<pre>i = 0
while(i &lt; 10,
  i println
  if(i == 5,
    i = 7
    continue)
  i++
)</pre>
This code uses continue to jump over a specific number, so it will only print 0 to 5, and 7 to 9.

==== Comprehensions ====

Ioke's Enumerable mimic makes it really easy to use higher order operations to transform and work with collections of data. But in some cases the code for doing that might not be as clear as it could be. Comprehensions allow a list, set or dict to be created based on a more abstract definition of what should be done. The specific parts of a comprehension is generators, filters and the mapping. The generators are what data to work on, the filters chooses more specifically among the generated data, and the mapping decides what the output should look like.

The following example does three nested iterations and returns all combinations where the product of the number is larger than 100:

<pre>for(
  x &lt;- 1..20, 
  y &lt;- 1..20, 
  z &lt;- 1..20, 
  val = x*y*z, 
  val &gt; 100, 
  [x, y, z, val])</pre>
This code neatly shows all things you can do in a comprehension. The final argument will always be the output mapping, which in this case is a list of the three variables, and their product. The generator parts is first a name, the &lt;- operator followed by an expression that is Enumerable. You can also see that one of the expressions is an assignment, that can be used later. Finally, there is a conditional that limits what the output will be. The more or less equivalent expression using Enumerable methods would be 1..20 flatMap(x, 1..20 flatMap(y, 1..20 filter(z, x*y*z &gt; 100) map([x,y,z,x*y*z]))). In my eyes, the for-comprehension is much more readable.

There are two variations on this. The first one is when you want the output to be a Set of things instead of a List. The code is exactly the same, except instead of using for, you use for:set. There is also a for:dict version, for more esoteric usages.

=== Code ===

Many of the things you do in Ioke will directly manipulate code. Since the messages that make up code is really easy to get hold of, this manipulation comes easy too. Ioke takes the Lisp philosophy of &quot;code is data&quot; to heart. The basic unit of a piece of code is a Message. A Message has a name, a next and prev pointer, and any number of arguments. When you manipulate a message, the argument list will contain messages too - and if the next or prev pointers are not nil, they will point to other messages. It serves well to remember that except for the message itself, all code will be evaluated in the context of a receiver and a ground. The ground is necessary because arguments to be evaluated need to be run in some specific context, even though the current receiver is not the same as the ground.

The current types of code can be divided into three different categories. These are methods, macros and blocks. Native methods are all of the kind JavaMethod, but can have any kind of semantics - including semantics that look like macros. Most native methods do have the same semantics as regular methods, however.

==== Methods ====

A method in Ioke is executable code that is activatable. A method can take arguments of several different types. The arguments to a method will always be evaluated before the code in the method starts to execute. An Ioke method is defined using the &quot;method&quot; method. All Ioke methods have the kind DefaultMethod. This leaves the room open to define other kinds of methods, if need be. DefaultMethod's could be implemented using macros, but at this point they aren't. A DefaultMethod can have a name - and will get a name the first time it is assigned to a cell.

It is really easy to define and use a simple method. The easiest case is to define a method that is empty. This method will just return nil:

<pre>m = method()
m ;; call the method</pre>
Since methods are activatable, when you name a cell that contains a method, that method will be invoked. To stop that behavior, use the &quot;cell&quot; method.

The definition of a method can take several different pieces. These are a documentation string, definitions of positional required arguments, definitions of positional optional arguments, definitions of keyword arguments, definition of a rest argument, definition of a keyword rest argument and the actual code of the method.

Let's take these one by one. First, if the the first element of a call to &quot;method&quot; is a literal text, and there is at least one more argument in the definition, then that text will be the documentation text for the method:

<pre>;; a method that returns &quot;foo&quot;
m = method(&quot;foo&quot;) 

;; a method that returns nil, but
;; has the documentation text &quot;foo&quot;
m = method(&quot;foo&quot;, nil)</pre>
A method can take any number of required positional arguments. These will be checked when a method is called, and if not enough -- or too many -- arguments are provided, an error will be signalled.

<pre>m = method(x, x println)
m = method(x, y, z,
  x * y + z)</pre>
The first method takes one argument and prints that argument. The second method takes three arguments and return the product of the two first added to the third.

A method can also have optional positional arguments. In that case the optional arguments must follow the required arguments. Optional arguments need to have a default value -- in fact, that is how you distinguish them from required arguments. The arity of method calls will still be checked, but using minimum and maximum values instead. The default value for an argument should be code that can be executed in the context of the running method, so a default value can refer to earlier positional arguments. A default value can also do quite complex things, if need be, although it's not really recommended.

<pre>;; takes zero or one arguments
m = method(x 42, x println)

;; takes one to three arguments
m = method(x, y 42, z 25, 
  x*y + z)</pre>
The syntax for optional arguments is to just write a space after the name of the argument, and then write the code to generate the default value after it.

A method can also have keyword arguments. Keyword arguments are checked, just like regular arguments, and you can't generally give keyword arguments to a method not expecting it. Nor can you give unexpected keyword arguments to a method that takes other keywords. Keyword arguments can never be required. They can have default values, which will default to nil if not provided. They can be defined anywhere among the arguments -- the only reason to reorder them is that default values of other optional arguments can use prior defined keyword arguments.

A keyword argument is defined just like a regular argument, except that it ends in a colon.

<pre>m = method(foo:, bar: 42,
  foo println
  bar println
)</pre>
Just as with regular optional arguments, you supply the default value of the keyword argument after a space. The cells for the keyword arguments will be the same as their names, without the ending colon. The above code would print nil and 42 if no arguments were specified. It's important to remember that keyword arguments and positional arguments do not interact -- except for when calculating default values. When assigning values it's always possible to see what is positional and what is a keyword argument.

Ioke methods can collect positional arguments into a list. This allow methods to take variable number of arguments. The rule is that all other positional arguments are first calculated, and the remaining positional arguments will be added to the rest argument. If no positional arguments are available, the rest argument will be empty. A rest argument is defined by preceding it with a plus sign in the argument definition. For clarity a rest argument should be defined last in the list, although it doesn't exactly matter anyway.

<pre>m = method(+rest,
  rest println)

m = method(x, y 42, +rest,
  rest println)</pre>
The above code defines one method that only takes one rest argument. That means the method can take any number of arguments and all of them will be collected into a list. The second method takes one required argument, one optional argument and any number of extra arguments. So if four arguments are given, the rest argument will contain two.

The final type of argument is keyword rest arguments. Just like positional rest arguments, a keyword rest argument can collect all keywords given to a method, no matter what. If a keyword rest argument is used, no conditions will be signalled if an unknown keyword is given to a method. If other keywords are defined, these keywords will not show up in the keyword rest argument. The keyword rest argument is defined by preceding the name with a +: sigil, and the keyword rest argument will be a Dict instead of a list. The keys will be symbols but without the ending colon.

<pre>m = method(+:krest,
  krest println)

m = method(x, y:, +rest, +:krest,
  [x, y, rest, krest])</pre>
The above code first creates a method that can take any number of keyword arguments but nothing else. The second method takes one required positional argument, one keyword argument, rest arguments and keyword rest arguments, and returns a new list containing all the arguments given to it.

The final argument to the method method should always be the code to execute. This code will be executed in the context of a receiver, that is the object the method is activated on. A method execution also happens in the context of the method activation context, where local variables are stored. This activation context contain some predefined variables that can be used. These are &quot;self&quot;, &quot;@&quot;, &quot;currentMessage&quot; and &quot;surroundingContext&quot;. Both &quot;self&quot; and &quot;@&quot; refer to the receiver of the method call. &quot;currentMessage&quot; returns the message that initiated the activation of the method, and &quot;surroundingContext&quot; returns the object that represents the context where this method was called from. Both &quot;self&quot; and &quot;@&quot; can be used to specify that something should be assigned to the receiver, for example.

<pre>createNewCell = method(
  @foo = 42
)</pre>
The method create above will create assign the value 42 to the cell &quot;foo&quot; on the object the method was called on.

When calling a method, you specify positional arguments separated with commas. You can provide keyword arguments in any order, in any place inside the braces:

<pre>;; the method foo takes any kind of argument
foo
foo()
foo(1, 2, 3)
foo(blarg: 42, 2, 3, 4)
foo(quux: 42*2)</pre>
To give a keyword argument, you just write it exactly like you define keyword arugments - a name followed by a colon.

Sometimes it can be useful to be able to take a list of values and give them as positional arguments. The same can be useful to do with a dict of names. You can do that using splatting. This is done by preceding a list or a dict with an asterisk. This will result in the method getting the values inside of it as if the arguments were given directly. You can splat several things to the same invocation.

<pre>dc = {foo: 42, bar: 13}
ls = [1, 2, 3, 4]
ls2 = [42, 43, 44]

foo(*dc)
;; the same as:
foo(foo: 42, bar: 13)

foo(*ls)
;; the same as:
foo(1, 2, 3, 4)

foo(*ls2, 111, *dc, *ls)
;; the same as:
foo(42, 43, 44, 111, foo: 42, bar: 13, 1, 2, 3, 4)</pre>
If you try to splat something that can't be splatted, a condition will be signalled.

==== Macros ====

The main difference between a macro and a method in Ioke is that the arguments to a macro is not evaluated before they are sent to the macro. That means you have to use macros to send raw message chains in an invocation. In most languages, this kind of feature is generally called call-by-name. When a macro gets called, it will get access to a cell called &quot;call&quot; which is a mimic of the kind Call. This gives access to information about the call and makes it possible to evaluate the code sent as arguments, check how many arguments are supplied, and so on.

A macro is created using the &quot;macro&quot; cell on DefaultBehavior. This will return a mimic of DefaultMacro. Since macros can't define arguments, it's a bit easier to describe than mathods, but the things that can be done with macros is also a bit more interesting than what can be achieved with methods. One important thing to keep in mind is that most macros can not receive splatted arguments. In most cases keyword arguments aren't available either - but they could be faked if needed. Macros should generally be used to implement control structures and things that need to manipulate code in different ways.

Just like a method, a macro gets evaluated on a specific receiver. It also gets the same kind of method activation context, but the contents of it is a bit different. Specifically, the context for a macro contains cells named &quot;self&quot;, &quot;@&quot;, &quot;currentMessage&quot;, &quot;surroundingContext&quot; and &quot;call&quot;. It's the &quot;call&quot; cell that is most important. It is a mimic of Call, and Call defines several important methods for manipulating the call environment. These are:

; arguments
: This method returns a list containing the unevaluated arguments given to this message. Any kind of manipulation can be done with these arguments.
; ground
: Returns the ground in which the call was initiated. This is necessary to evaluate arguments in their own environment.
; message
: The currently executing message. This is the same as the &quot;currentMessage&quot; cell in the macro activation context.
; evaluatedArguments
: Returns a list containing all arguments, evaluated according to the regular rules (but not handling splatting or keywords).
; resendToMethod
: Allows a specific message to be resent to another method, without manually copying lots of information.
These methods are a bit hard to understand, so I'll take some examples from the implementation of Ioke, and show how macros are used here.

<pre>Mixins Enumerable map = macro(
  &quot;takes one or two arguments. if one argument is given,
it will be evaluated as a message chain on each element
in the enumerable, and then the result will be collected
in a new List. if two arguments are given, the first one
should be an unevaluated argument name, which will be
bound inside the scope of executing the second piece of
code. it's important to notice that the one argument
form will establish no context, while the two argument form
establishes a new lexical closure.&quot;,
  
  len = call arguments length
  result = list()
  if(len == 1,
    code = call arguments first
    self each(n, result &lt;&lt; code evaluateOn(call ground, cell(:n))),

    code = LexicalBlock createFrom(call arguments, call ground)
    self each(n, result &lt;&lt; code call(cell(:n))))
  result)</pre>
The code above implements map, one of the methods from Enumerable. The map method allows one collection to be mapped in a predefined way into something else. It can take either one or two arguments. If one argument is given, that is a message chain to apply, and then collect the results. If two arguments are given, the first is the argument name to use, and the second is the code to execute for each entry.

The first step is to figure out how many arguments have been given. This is done by checking the length of the &quot;call arguments&quot; cell. If we have a length of one, we know that the first argument is a piece of code to apply, so we assign that argument to a cell called &quot;code&quot;. Now, &quot;code&quot; will be a mimic of Message, and Message has a method called &quot;evaluateOn&quot;, that can be used to fully evaluate a message chain. And that's exacty what we do for each element in the collection we are in. The result of evaluateOn is added to the result list. We use &quot;call ground&quot; to get the correct ground for the code to be evaluated in.

If we get two arguments, it's possible to take a shortcut and generate a lexical block from those arguments, and then use that. So we call &quot;LexicalBlock createFrom&quot; and send in the arguments and the ground, and then call that piece of code once for each element in the collection.

It is a bit tricky to figure out how macros work. I recommend looking at the implementations of some of the core Ioke methods/macros, since these use much of the functionality.

==== Blocks ====

A lexical block allows the execution of a piece of code in the lexical context of some other code, instead of in a dynamic object scope. A lexical block does not have a receiver. Instead, it just establishes a new lexical context, and executes the code in that. The exact effect that has on assignments has been described earlier.

A lexical block can be created using either the &quot;fn&quot; or the &quot;fnx&quot; methods of DefaultBehavior. The main difference between the two is that a block created with &quot;fnx&quot; will be activatable, while something created with &quot;fn&quot; will not. Lexical blocks handle arguments exactly the same way as methods, so a lexical block can take optional arguments, keyword arguments, rest arguments and so on. Both &quot;fn&quot; and &quot;fnx&quot; also take optional documentation text.

A block can be invoked using the &quot;call&quot; method. A block can also be activated just like a method, if it is activatable. The default is to use &quot;fn&quot; to create inactive blocks though, since blocks are generally used to pass pieces of code around.

<pre>x = fn(z, z println)
y = fnx(z, z println)

x call(42)
y(42)</pre>
A lexical block is a regular kind of object that can be assigned to any cell, just like other objects. Lexical blocks mimic LexicalBlock, and blocks don't have names. In contrast to methods and macros, no extra cells will be added to the activation context for a lexical block.

==== Lecros ====

A macro works exactly like a method, in that it always has a receiver, and that receiver is available inside the macro as 'self' and '@'. In some circumstances it can be really useful to have a macro that behaves like a lexical block instead - being lexical so it can use cells defined outside of the definition of the macro. These macros won't have access to 'self' or '@', since they don't have a receiver in that way. Where such a macro is called is only based on namespacing.

Ioke supports these kind of macros. They are all mimics of the kind LexicalMacro, and they are created using the method 'lecro'. A LexicalMacro is activatable by default, but a non-activatable lecro can be created using lecrox. The 'lecro' method takes the same arguments as 'macro', and the only real difference is the way it handles outside cells and the receiver value. A lecro also has a cell called outerScope that can be used if you need to explicitly access something in the outer name space - such as call.

==== Syntax ====

Ioke supports loads of stuff with the standard macro, but sometimes these macros are a bit too low level for commonly used operations. Syntax is one of those cases you can achieve with macros, but you don't really want too. Many features in Ioke S is implemented using syntax.

You can define syntax using the 'syntax' method. This returns a mimic of DefaultSyntax. You can use the same kind of cells in a syntax as you can in a macro. What is different with syntax is that syntax can only return one of two things. The first is nil, and the second is a message chain. A syntax will only be executed once at every point in the message chains, because after a syntax executes the first time, it will replace itself with thte result of that evaluation. If that evaluation returns nil, syntax will just remove itself from the message chain.

You can use this for many things, but one of the more useful things you can do is translate a high level declarative definition of something into a low level executable version. That is exactly how for comprehensions are implemented.

The syntactic macros are fairly advanced, and takes some time to grok. They are incredibly useful though, and they are used all over the standard library to achieve all manner of interesting things. Take a look there and things should hopefully become clearer. It's also a must to read the section on message chain manipulation and quoting later on to make syntax macros readable.

==== Destructuring ====

A common problem with macros is that you want to take several different combinations of arguments, and do different things depending on how many you get. Say you might want to take one code argument, but also two optional arguments that should be evaluated. All of that code turns out to be highly repetetive, so Ioke contains a collection of syntax macros that make it easier to write these things. These are collectively called destructuring syntax.

Let us say we have a macro that either [code], [evaluatedArgument, code], or [evaluatedArgument, code, evaluatedArgument]. The stuff that should happen is totally different for each of these cases. With a regular macro the code would look something like this:

<pre>foo = macro(
  len = call arguments length
  case(len,
    1,
    code = call arguments[0]
    ; do something with the code
    ,
    2,
    arg1 = call argAt(0)
    code = call arguments[1]
    ; do something with the code and arg
    ,
    3,
    arg1 = call argAt(0)
    code = call arguments[1]
    arg2 = call argAt(2)
    ; do something with the code and args
    ))</pre>
As you can see it's really a lot of code to see what happens here, and it is very imperative in style. But, if I instead use dmacro - which is the destructuring version of macro - it looks like this:

<pre>foo = dmacro(
  [code]
  ; do something with the code
  ,
  [&gt;arg1, code]
  ; do something with the code and arg
  ,
  [&gt;arg1, code, &gt;arg2]
  ; do something with the code and args
)</pre>
dmacro will automatically check the length and extract the different arguments. The right arrow before the names of arg1 and arg2 marks that these should be evaluated. And what is more, dmacro will generate code that also generates a good condition if no argument matching works out. If you give zero arguments to the first version, it will fail silently. The dmacro will complain immediately. The dmacro destructuring syntax actually supports several more ways of ripping arguments apart. You can find this information in the doks for dmacro. Also, there are equivalent versions of dmacro for lecro, lecrox and syntax, called dlecro, dlecrox and dsyntax. They do the same thing, except they act like lecros or syntax instead.

==== Message chains ====

In many cases a macro will take code that is not wrapped up inside of a method, macro or block. These pieces of code is called message chains, since their representation will be to a raw Message mimic. The chains are quite flexible, since they can be taken apart, modified and put together again. They can also be unevaluated and used as data definitions of some kind. That's how the argument handling to methods are implemented, for example. Since the call to &quot;method&quot; can be seen as a regular call to a macro, the argument descriptions are actually just unevaluated message chains that are picked apart to tease out the argument names. The same technique is applicable in any macro usage.

The term message chain fragment is also used to specifically mean a message chain that is meant to be put together with something and evaluated. Picture a daisy chain that gets added at the end of another chain and then executed. That's what happens if you execute something like &quot;[1, 2, 3] map(*2)&quot;. In this case the call to &quot;*&quot; with the argument 2 will be a message chain fragment that will be put together with a new receiver before execution.

To handle syntax correctly - but also to generally handle manipulation of message chains - it is important to know about the available methods to do this. I have added quite a lot of nice stuff that makes it easy to work with message chains.

First, messages are actually Enumerable, so you can use any Enumerable methods on them. The enumeration always starts at the receiver. It will not proceed into arguments, just following the next-pointer. To create a new message or message chain, there are several helpful methods and operators. The first method is called 'message' and takes an evaluated name and returns a new message with that name. 'Message from' takes one argument that will not be evaluated and returns a message chain corresponding to that argument. 'Message fromText' parses text and returns the message chain for it. 'Message wrap' takes an evaluated argument and returns a message that will always return that value. As will be mentioned later, Message has 'next=' and 'prev=' methods that you can use to set the next and previous pointers. Message also has 'appendArgument' and 'prependArgument' that allow you to add new arguments to the message arguments.

The most used versions for creating message chains are short cuts for the above. Let us begin with creation. Instead of 'Message from' you can use '. That is a single quote mark. The message after that will be unevaluated and returned as a message chain. If you use a `, a backtick, that is equivalent to 'Message wrap'. And then we have '', that is two single quotes after each other. This message is generally called metaquote or quasiquote. It works the same as ', except that it will find any place where ` is used and insert the value of evaluating the message after the ` and insert that into the current message chain. Finally, '' will replace a `` with a literal ` message.

You can add new arguments to a message by using the &lt;&lt; operator. This operator returns the receiver.

If you want to chain together a message chain, using next= and prev= is pretty tedious. You can instead use the -&gt; operator. This will chain together the left hand side and the right hand side messages, and return the right hand side message.

I think it is time for some examples:

<pre>; create a new message with name foo
x = 'foo

; add two arguments to the foo message
arg = '(bar quux)
(x &lt;&lt; arg) &lt;&lt; 'baz

; what we have done so far could be done with:
x = '(foo(bar quux, baz))


y = 'blurg
; chain together x and y
x -&gt; y

; the above is equivalent to
if(y prev,
  y prev next = nil)
x next = y
y prev = x

val = 42

; insert the message chain in x
''(foo bar(`val) `x)

; the above will return the same as
'(foo bar(42) foo(bar quux, baz))</pre>
To understand these operators, you need to have a clear understanding of how the internals of message chains work. Once that clicks, these should be fairly straight forward to understand.

=== Introspection and reflection ===

Ioke supports quite fancy introspection and reflection capabilities. In Ioke, reflection includes the ability to change data dynamically, as well as introspect on it. Since the message based structure of a program is available at runtime, most things can be changed dynamically. The internal structure of a program is also very easy to inspect.

All objects in Ioke have some core methods that are used to look at them. Some come from Base, and some come from DefaultBehavior. The rest of the reflection and metaprogramming capabilities belong to the Message kind.

===== kind =====

Should be a text that gives the full name of the kind this object is closest mimic to. Except for nil, true and false, this will return a text that starts with a capital letter.

<pre>Foo = Origin mimic
Foo mimic kind println

Foo Bar = Origin mimic
Foo Bar mimic kind println</pre>
This code will first print &quot;Foo&quot;, and then print &quot;Foo Bar&quot;, since an object assigned to a cell with a capital initial letter will get a new kind value.

===== kind? =====

Takes one text argument and returns true if the object has that kind anywhere in its mimic chain.

<pre>Foo = Origin mimic
foo = Foo mimic
foo kind?(&quot;foo&quot;) ;; false
foo kind?(&quot;Foo&quot;) ;; true
foo kind?(&quot;Text&quot;) ;; false
foo kind?(&quot;Origin&quot;) ;; true
foo kind?(&quot;Ground&quot;) ;; true
foo kind?(&quot;DefaultBehavior&quot;) ;; true
foo kind?(&quot;Base&quot;) ;; true</pre>
As you can see in this example, &quot;kind?&quot; can return true for several different texts.

===== notice =====

When looking at objects, there are two ways to get information about them, notice and inspect. If you want a brief description of an object where it's important that the description doesn't take up much space, notice should be used. If an exhaustive description is needed, inspect should be used instead. For some objects these both return the same thing, but for Origin mimics, the difference is large.

<pre>Foo = Origin mimic
Foo x = &quot;blarg&quot;
Foo y = 42
Foo notice ;; Foo_0x7CBDE6</pre>
The default notice for Origin mimics will combine the kind and the unique hex id for the object, and create a text of that. The &quot;notice&quot; method should be overridden to provide better information in most cases.

===== inspect =====

In contrast to notice, inspect is used to get exhaustive information. If a composite object is asked for its inspect, a quite large dump of information will often be shown. For a new object the output will be smaller, but usually still larger than the notice for it.

<pre>Foo = Origin mimic
Foo x = &quot;blarg&quot;
Foo y = 42
Foo inspect println</pre>
This will print:

<pre> Foo_0x7CBDE6:
  kind                         = &quot;Foo&quot;
  x                            = &quot;blarg&quot;
  y                            = 42</pre>
If another representation makes more sense for inspection, &quot;inspect&quot; should definitely be overridden by custom objects.

===== uniqueHexId =====

This method is used to return a text that contains a unique hex identity for an object. This text is guaranteed to be unique within a virtual machine for any object, and is the mechanism that &quot;inspect&quot; and &quot;notice&quot; uses.

===== cellSummary =====

Calling &quot;inspect&quot; on any Origin mimic will dispatch to &quot;cellSummary&quot;, which displays all the cell information about a specific object.

===== cell =====

The &quot;cell&quot; method can be used for two different things. The first one is to get access to a value without activating it, and the second is to get access to a cell based on a name that you don't know at the time you're writing the program. The &quot;cell&quot; method takes one argument that is the name of the cell to fetch. The fetching works the same as regular cell lookup, except that activation doesn't happen. This means that a condition will still be signalled if you try to get something that doesn't exist.

<pre>x = 42
cell(:x) ;; 42

x = method()
cell(:x) ;; the method object

name = :foo
cell(name) ;; the value of foo</pre>
===== cell= =====

Just as with &quot;cell&quot;, &quot;cell=&quot; can be used to set cells that you don't know the name of at the time of writing the program. As discussed in the chapter on assignment, cell= can also be used to set cells that can't be set in the regular way due to naming strangeness.

===== cell? =====

If you're not sure if a cell exists, using &quot;cell?&quot; is the way to find out. Give it a name and it returns true or false depending on if that cell exists.

===== cellNames =====

If you want to get the names of all the cells an object contains, you can get that with cellNames. By default, cellNames will only return the names of cells that belong to the receiver, but if an argument of true is sent to the call, the resulting list will contain the names of all cells of all mimics too.

<pre>x = Origin mimic
x f = 42
x cellNames ;; return [:f]

x cellNames(true) ;; return a long list, including :f</pre>
===== cells =====

Just like cellNames return the names of all the cells, the &quot;cells&quot; method will return a Dict of all the cells with their values. And just like cellNames, cells take an optional boolean argument on whether to include the cells of mimics too.

<pre>x = Origin mimic
x f = 42
x cells ;; return {f: 42}

x cells(true) ;; return a large dict, including f: 42</pre>
===== mimics =====

Returns a list of all direct mimics of the receiver.

===== mimics? =====

Takes one object as argument and returns true or false depending on if the argument is anywhere in the receiving objects mimic chain.

===== message =====

Takes one symbol argument and creates a new Message mimic with that argument as its name.

===== Message code =====

Returns a text that describes the code this message chain represents. It will hide some of the internal shuffling, but operators will be displayed using canonical form.

===== Message formattedCode =====

Returns a text that is formatted and indented in a canonical way. This method is used to generate the documentation code for DokGen, among other things.

===== Message evalArgAt =====

Takes the index of the argument to evaluate, and the ground to evaluate it on - returns the result of evaluating the argument.

===== Message fromText =====

Takes one text argument that should contain Ioke code, and returns the parsed message chain from that code, without evaluating it.

===== Message doText =====

Takes one text argument that should contain Ioke code, and returns the result of evaluating that code in the current context.

===== Message filename =====

Returns the filename where the receiving message was defined.

===== Message line =====

Returns the line number where the receiving message was defined.

===== Message position =====

Returns the position in the line where the receiving message was defined.

===== Message name =====

Returns the name of the message. The name of the message is what you generally talk about when saying you send a message. It can also be called the selector in other languages.

===== Message name= =====

Update the message with a new name. From this point on the message will only have that name, so doing this on a message that is part of an existing message chain will change the behavior of that code:

<pre>msg = Message fromText(&quot;2 + 1&quot;)
msg next name = &quot;-&quot;
msg code ;; &quot;2 -(1)&quot;</pre>
===== Message prev =====

Returns the prev pointer of this message, or nil if no prev pointer exists.

===== Message prev= =====

Sets the prev pointer of a message. The new value should be either nil or another message.

===== Message next =====

Returns the next pointer of this message, or nil if no next pointer exists.

===== Message next= =====

Sets the next pointer of a message. The new value should be either nil or another message.

===== Message sendTo =====

Sends a message to an object. It's important to realize that sendTo will not evaluate the whole message chain -- it will only send one message with arguments to an object.

===== Message keyword? =====

Returns true if this message is a keyword message, and false otherwise.

There are many more methods that can be used to do interesting introspection and reflection in Ioke. The reference documentation includes them all. Most of the interesting stuff can be found on the Message kind.

===== send =====

In many cases you want to activate something activatable in a cell, with a specific receiver. You can do this using send. You can send messages to most objects. Send takes one argument that should evaluate to the name of the message to send, and then sends along all other arguments given to send to the new message. These arguments will remain unevaluated, and will be evaluated at the leisure of the final method activated.

=== Aspects ===

In many circumstances you might want to do several different things in a specific method. That generally goes against good software engineering, that says every piece of code should only have one responsibility. Aspect oriented programming tackles this by allowing you to slice code along a different dimension compared to the regular object oriented paradigm. Ioke has a small version of this, that allow you to add advice to cells. This advice can be before, after or around. All of them will get access to the arguments given in the original message, but after-advice also gets access to the value returned from the main cell. Finally, around-advice also gets the responsibility to invoke the original cell, so an around-advice could choose to not invoke it at all, or it could invoke it with different arguments, or maybe invoke it several times.

Ioke currently only allows you to add or remove advice. To be able to remove advice, you need to name it when adding it. Unnamed advice can not be removed. Advice can be wrapped. It will be applied in an outside-in approach, where the most recently added advice will execute first.

The return value of before and after advice doesn't matter, but the return value of around-advice will be interpreted as the new return value of the message send.

To manipulate advice in Ioke, you need to describe what to manipulate. This description will return a Pointcut, that can then be used to inject advice at that point. Pointcuts can be defined in several ways. The easiest is to define it in terms of a cell name. Using this approach is the only way to define advice for non-existent cells.

To create a Pointcut, call before, after or around on the receiver where the Pointcut should belong. The arguments specify what should be matched by the pointcut. You can see some examples of pointcuts here:

<pre>; matches cells foo and bar
Text before(:foo, :bar)

X = Origin mimic
; will not match anything
X around(matching: :anyFromSelf)

X foo = 123
; will now match foo
X around(matching: :anyFromSelf)

; any cell name matching the regexp
X after(matching: #/foo/)

; matches any at all, except foo
X before(matching: :any, except: :foo)
; matches any at all, except anything that matches foo
X before(matching: :any, except: #/foo/)

; use a block for matching
X around(matching: fn(x, x == :blurg))

; use a list to provide alternatives
X before(matching: [#/foo/, #/bar/])</pre>
As you can see from these examples, the pointcuts can be fairly advanced and specific in what they match. The option to send in a block makes it possible to check any property while matching.

OK, once you have a Pointcut, there are three different methods you can call. These are &lt;&lt;, add, and remove!. The first one adds an unnamed advice, the second adds a named advice and the third one removes a named advice. Advice is any object that can be activated or called, so a method, a block, a macro or a syntax is fine.

It's time to see what it looks like to add advice. Before-advice is the easiest kind. The important thing to remember is that the code will get the same arguments as the original call, which means it will also signal an error if the arguments doesn't match.

<pre>X before(:foo) &lt;&lt; method(x, &quot;got #{x}&quot; println)
X before(matching: :anyFromSelf) &lt;&lt; macro(
  &quot;called #{call message name}&quot; println)</pre>
This code doesn't do anything strange at all.

Next up we have after-advice. The only difference here is that after-advice automatically gets a cell that is set to adviceResult, that can used inside the method.

<pre>X after(:foo) &lt;&lt; method(+args,
  &quot;foo resulted in: #{aspectResult}&quot; println)</pre>
Remember that the result value of before and after advice doesn't count. It is thrown away. But these methods can still affect things by side effects. They can also be used for validation. A condition signalled inside of an advice would have the same effect as if done in the method itself - namely interrupting the flow of control.

The final advice is around advice. These are different in two ways. First, they get access to a cell called aspectCall, which can be used to invoke the real cell (and the next chain of advice, of course). The second difference is that the result of the around advice will be the return value from the cell. So, you can imagine the around-advice executing instead of the original code. If you forget to invoke it, the original cell won't be invoked at all.

<pre>X around(:non_existant) &lt;&lt; method(
  42)

X around(:foo) &lt;&lt; macro(arg1, arg2,
  &quot;before&quot; println
  res = aspectResult(arg2, arg1)
  &quot;got: #{res}&quot; println
  42)</pre>
The first piece of code show that you can actually use an around advice around something that doesn't exist. But if you do call aspectCall inside of it, that will generate a NoSuchCell condition, of course. In the second example we first log some information, then invoke the original code with switched argument order, saves away the result, prints the result, and finally returns 42. There you can see most of the things that can be done inside of an around macro.

The aspect system in Ioke is implemented in Ioke itself, and is fairly small at the moment. The guiding principle behind it is that it shouldn't have an impact on code that doesn't use it. It is a highly useful feature that makes it possible to decompose code substantially. As an example of a common place for aspect usage is initialization. This is defined as an around-advice that looks like this:

<pre>Origin around(:mimic) &lt;&lt; method(+rest, +:krest, 
  newMimic = aspectCall
  if(newMimic cell?(:initialize),
    newMimic initialize(*rest, *krest))
  newMimic)</pre>
Note first that the around advice takes any kind of arguments, but doesn't send them along to mimic. Instead it checks if there is an initialize-cell, and in that case invokes it with the arguments given to the mimic call. It finally returns the original result.

=== Importing ===

To import new code into Ioke, the method &quot;use&quot; should be used. The terminology is that you give &quot;use&quot; a name of a module to include, and if that module has already been included it will not be evaluated again. If it has not been included, &quot;use&quot; will try to find the module using several different heuristics. It will add an &quot;.ik&quot; to the name and try to look up a file of that name - but it will also try to look it up without a &quot;.ik&quot;, if a full file name has been given. Several different places will be searched, and the exact order and what will be searched can be found by calling the &quot;System loadPath&quot; method. This will return a list of all the places to search for modules. This list can be modified to add more directories to the load path.

If a module of the specified name can't be found, a condition will be signalled.

=== Core kinds ===

Ioke obviously contains lots of different data types, but there are some that are much more important than others. In this chapter I'll take a look at these and talk about how to work with them correctly.

==== Conditions ====

One of the major parts of Ioke is the condition system. Unlike most other programming languages, Ioke doesn't have exceptions. Instead it has conditions, where errors are a specific kind of condition. The condition system comprises several different things. Specifically, the condition system uses the kinds Condition, Restart, Handler and Rescue. Restarts are mostly orthogonal to the rest of the system.

The way the condition system works is this. When something happens, a program can elect to signal a condition. This can be done using &quot;signal!&quot;, &quot;warn!&quot; or &quot;error!&quot;. Both &quot;warn!&quot; and &quot;error!&quot; uses &quot;signal!&quot; under the covers, but do some other things as well. A condition will always mimic Condition. Each of these three methods can be called in three different ways. First, you can call them with a text argument. In that case the signalled condition will be the default for that type. (The default for &quot;signal!&quot; is Condition Default. The default for &quot;warn!&quot; is Condition Warning Default and the default for &quot;error!&quot; is Condition Error Default). A new mimic of the default condition will be created, and a cell called text will be set to the text argument. The second variation is to give an instance of an existing condition to one of the methods. In that case that condition will be signalled unmodified. Finally, the third version gives a condition mimic and one or more keyword arguments with data to set on that condition. In that case a mimic of the condition will be created, and then cells with data set based on the arguments.

If a signal is not handled, nothing happens.

If a warning is not handled, a message will be printed with the text of that warning.

If an error is not handled, the debugger will be invoked - if a debugger is available. Otherwise the program will be terminated.

A Rescue allows conditions to unwind the stack to the place where the rescue is established. Combining rescues and conditions looks a lot like regular exception handling in other programming languages.

A Handler on the other hand will run code in the dynamic context of the place where the condition was signalled. A handler can invoke restarts to handle an error state at the place it happened, and as such doesn't have to actually unwind the stack anywhere. Any number of handlers can run - the last handler to run will be either the last handler, the handler that activates a restart, or the last handler before a valid rescue for that condition.

A restart is a way to allow ways of getting back to a valid state. Take the example of referring to a cell that doesn't exist. Before signalling a condition, Ioke will set up restarts so you can provide a value to use in the case a cell doesn't exist. This restart will use that new value and continue execution at the point where it would otherwise have failed.

A restart can have a name. If it doesn't have a name it can only be used interactively. You can use findRestart to get hold of the closest restart with a given name. You can invoke a given restart with invokeRestart, which takes either the name of a restart or a restart mimic. Finally, you can get all available restarts using availableRestarts.

Both handlers, rescues and restarts are established inside a call to the bind macro. All arguments to this macro need to be either handlers, rescues or restarts, except for the last argument which should be the code to execute.

You create a new handler by calling the method &quot;handle&quot;. You create a new rescue by calling the method &quot;rescue&quot;. You create a new restart by calling the method &quot;restart&quot;. These all take funky arguments, so refer to the reference to better understand how they work.

This small example doesn't necessarily show the power of conditions, but it can give an idea about how it works.

<pre>;; to handle any problem
bind(
  rescue(fn(c, nil)), ;; do nothing in the rescue
  
  error!(&quot;This is bad!!&quot;)
)

;; to print all conditions happening, but not do anything
bind(
  handle(fn(c, c println)),
  
  signal!(&quot;something&quot;)
  signal!(&quot;something more&quot;)

  warn!(&quot;A warning!!&quot;)
)

;; rescue either of two conditions
C1 = Condition Error mimic
C2 = Condition Error mimic

bind(
  rescue(C1, C2, fn(c, &quot;got an error: #{c}&quot; println)),
  
  error!(C1)
)


;; invoke a restart when no such cell is signaled
bind(
  handle(Condition Error NoSuchCell, fn(c, invokeRestart(:useValue, 42))),

  blarg println) ;; will print 42


;; establish a restart
bind(
  restart(something, fn(+args, args println)),
  
  invokeRestart(:something, 1, 2, 3)
)</pre>
The code above shows several different things you can do with the condition system. It is a very powerful system, so I recommend trying to understand it. It lies at the core of many things in Ioke, and some parts will not make sense without a deep understanding of conditions. For more information on what such a system is capable of, look for documentation about the Common Lisp condition system, which has been a heavy influence on Ioke. Also, the debugger in IIk uses the condition system to implement its functionality.

There are many conditions defined in the core of Ioke, and they are used by the implementation to signal error conditions of different kinds. Refer to the reference to see which conditions are available.

Finally, one thing that you might miss if you're used to exceptions in other languages, is a construct that makes it possible to ensure that code gets executed, even if a non-local flow control happens. Don't despair, Ioke has one. It is called ensure, and works mostly like ensure in Ruby, and finally in Java. It takes one main code argument, followed by zero or more arguments that contain the code to always make sure executes. It looks like this:

<pre>ensure(
  conn = Database open
  conn SELECT * FROM a_table,
  conn close!,
  conn reallyClose!,
  conn reallyReallyReallyClose!)</pre>
This code uses a hypothetical database library, opens up a connection, does something, and then in three different ensure blocks tries to ensure that it really is closed afterwards. The return value of the ensure block will still be the return value of the last expression in the main code. Non local flow control can happen inside of the ensure block, but exactly what will happen is undefined -- so avoid it, please.

==== Text ====

In Ioke, the equivalent of Strings in other languages are called Text. This better describes the purpose of the type. Ioke Text is immutable. All operations that would change the text returns a new object instead. If you are used to Java strings or Ruby strings, then most operation available on Ioke Texts will not come as a surprise.

To create a new Text, you use the literal syntax as described in the syntax chapter. You can use interpolation to include dynamic data.

You can do several things with Ioke text. These examples should show some of the methods:

<pre>;; repeat a text several times
&quot;foo&quot; * 3  ;; =&gt; &quot;foofoofoo&quot;

;; concatenate two texts
&quot;foo&quot; + &quot;bar&quot;  ;; =&gt; &quot;foobar&quot;

;; get the character at a specific index
&quot;foo&quot;[1]  ;; =&gt; 111

;; get a subset of text
&quot;foo&quot;[1..1]  ;; =&gt; &quot;o&quot;
&quot;foo&quot;[0..1]  ;; =&gt; &quot;fo&quot;
&quot;foo&quot;[0...1]  ;; =&gt; &quot;f&quot;

&quot;foxtrot&quot;[1..-1] ;; =&gt; &quot;oxtrot&quot;
&quot;foxtrot&quot;[1...-1] ;; =&gt; &quot;oxtro&quot;

;; is a text empty?
&quot;foo&quot; empty?  ;; =&gt; false
&quot;&quot; empty?  ;; =&gt; true

;; the length of the text
&quot;foo&quot; length  ;; =&gt; 3
&quot;&quot; length  ;; =&gt; 0

;; replace the first occurrence of something with something else
&quot;hello fox fob folk&quot; replace(&quot;fo&quot;, &quot;ba&quot;)
  ;; =&gt; &quot;hello bax fob folk&quot;

;; replace all occurrences of something with something else
&quot;hello fox fob folk&quot; replaceAll(&quot;fo&quot;, &quot;ba&quot;)
  ;; =&gt; &quot;hello bax bab balk&quot;

;; split around a text
&quot;foo bar bax&quot; split(&quot; &quot;)
  ;; =&gt; [&quot;foo&quot;, &quot;bar&quot;, &quot;bax&quot;]</pre>
The Text kind contains lots of useful functionality like this. The purpose is to make it really easy to massage text of any kind.

One important tool for doing that is the &quot;format&quot; method. This is a mix between C printf and Common Lisp format. At the moment, it only contains a small amount of functionality, but it can still be very convenient. Specifically you can print each element in a list directly by using format, instead of concatenating text yourself.

The &quot;format&quot; method takes format specifiers that begin with %, and then inserts one of its arguments in different ways depending on what kind of format specifier is used.

Some examples of format follow:

<pre>;; insert simple value as text
&quot;%s&quot; format(123) ;; =&gt; &quot;123&quot;

;; insert value right justified by 6
&quot;%6s&quot; format(123) ;; =&gt; &quot;   123&quot;

;; insert value left justified by 6
&quot;%-6s&quot; format(123) ;; =&gt; &quot;123   &quot;

;; insert two values
&quot;%s: %s&quot; format(123, 321) ;; =&gt; &quot;123: 321&quot;

;; insert a list of values formatted the same
&quot;%[%s, %]\n&quot; format([1,2,3])
  ;; =&gt; &quot;1, 2, 3, \n&quot;

;; insert splatted values from a list
&quot;wow: %*[%s: %s %]&quot; format([[1,2],[2,3],[3,4]])
  ;; =&gt; &quot;wow: 1: 2 2: 3 3: 4 &quot;</pre>
==== Numbers ====

As mentioned in the section on syntax, Ioke supports decimal numbers, integers and ratios. A Ratio will be created when two integers can't be divided evenly. A Ratio will always use the GCD. In most cases Ratios, Decimals and Integers can interact with each other as would be expected. The one thing that might surprise people is that Ioke doesn't have any inexact floating point data type. Instead, decimals are exact and can have any size. This means they are well suited to represent such things as money, since operations will always have well defined results.

All expected math works fine on Ioke numbers. The reference for numbers more closely specify what is possible. One thing to notice is that the % operator implements modulus, not remainder. This might be unintuitive for some developers. What that means is that it is not an error to ask for the modulus of 0: &quot;13 % 0&quot;, since there is no division necessary in this operation.

In addition to the above, Integers have the &quot;times&quot; method described earlier. It can also return the successor and predecessor of itself with the &quot;pred&quot; and &quot;succ&quot; methods.

==== Lists ====

Ioke has lists that expand to the size needed. These lists can be created using a simple literal syntax. They can contain any kind of element, including itself (although don't try to print such a list). Ioke lists mix in the Enumerable mixin, which gives it quite powerful capabilities.

A list can be created using the &quot;list&quot; or &quot;[]&quot; methods:

<pre>;; an empty list
[]

;; the same list created in two different ways
list(1, 2, 3)
[1, 2, 3]

;; a list with different elements
[1, &quot;one&quot;, :one]</pre>
Except for the Enumerable methods, List also defines many other methods that can be highly useful. Some examples are shown below:

<pre>l = [1, 2, 3]

;; add two lists together
l + l ;; =&gt; [1, 2, 3, 1, 2, 3]

;; return the difference of two lists
l - [2] ;; =&gt; [1, 3]

;; add a new value to a list
l &lt;&lt; 42
l == [1, 2, 3, 42] ;; =&gt; true

;; get a specific element from the list
l[0]  ;; =&gt; 1

;; -1 returns the last, -2 the next to last
l[-1] ;; =&gt; 42

;; an index outside the boundaries return nil
l[10] ;; =&gt; nil

;; assign a new value
l[3] = 40
l == [1,2,3,40] ;; =&gt; true

l[-1] = 39
l == [1,2,3,39] ;; =&gt; true

;; assign an out of bounds value
l[10] = 13
l == [1,2,3,39,nil,nil,nil,nil,nil,nil,13]
  ;; =&gt; true

;; at and at= is the same as [] and []=
l at(0) ;; =&gt; 1

;; empty the list
l clear!
l == [] ;; =&gt; true

;; follows the each protocol
l each(println)

;; is empty?
l empty? ;; =&gt; true

;; does it include an element?
l include?(:foo) ;; =&gt; false

;; the last element
l last ;; =&gt; nil
[1, 2] last ;; =&gt; 2

;; the length
[1, 2] length ;; =&gt; 2

;; first value
[1, 2] first ;; =&gt; 1

;; rest except for first
[1, 2, 3] rest ;; =&gt; [2, 3]

;; returns a new sorted list
[3, 2, 1] sort ;; =&gt; [1, 2, 3]

;; sorts in place
l = [3, 2, 1]
l sort!
l == [1, 2, 3] ;; =&gt; true</pre>
==== Dicts ====

A Dict is a dictionary of key-value mappings. The mappings are unordered, and there can only ever be one key with the same value. Any kind of Ioke object can be used as a key. There is no problem with having the same value for different keys. The default implementation of Dict uses a hash-based implementation. That's not necessarily always true for all dicts. The iteration order is not necessarily stable either, so don't write code that depends on it.

Creating a dict is done using either the &quot;dict&quot; or the &quot;{}&quot; methods. Both of these expect either keyword arguments or mimics of Pair. If keyword arguments, these keywords will be used as symbol keys. That's the most common thing, so it makes sense to have that happen automatically. Dicts also try to print themselves that way.

<pre>dict(1 =&gt; 2, 3 =&gt; 4)

;; these two are the same
dict(foo: &quot;bar&quot;, baaz: &quot;quux&quot;)
dict(:foo =&gt; &quot;bar&quot;, :baaz =&gt; &quot;quux&quot;)

{1 =&gt; 2, 3 =&gt; 4}

;; these two are the same
{foo: &quot;bar&quot;, baaz: &quot;quux&quot;}
{:foo =&gt; &quot;bar&quot;, :baaz =&gt; &quot;quux&quot;}

;; the formats can be combined:
{1 =&gt; 2, foo: 42, &quot;bar&quot; =&gt; &quot;qux&quot;}</pre>
The literal Pair syntax (using =&gt;) will not necessarily instantiate real pairs for this.

Dicts mix in Enumerable. When using each, what will be yielded are mimics of Pair, where the first value will be the key and the second will be value. Just like Lists, Dicts have several useful methods in themselves:

<pre>d = {one: &quot;two&quot;, 3 =&gt; 4}

;; lookup with [], &quot;at&quot; works the same
d[:one] ;; =&gt; &quot;two&quot;
d[:two] ;; =&gt; nil
d[3]    ;; =&gt; 4
d[4]    ;; =&gt; nil

;; assign values with []=
d[:one] = &quot;three&quot;
d[:new] = &quot;wow!&quot;

d == {one: &quot;three&quot;, 3 =&gt; 4, new: &quot;wow!&quot;}

;; iterate over it
d each(value println)

;; get all keys
d keys == set(:one, :new, 3)</pre>
==== Sets ====

If you want an object that work like a mathematical set, Ioke provides such a kind for you. There is no support for literal syntax for sets, but you can create new with the set method. A set can be iterated over and it is Enumerable. You can add and remove elements, and check for membership.

<pre>x = set(1,2,3,3,2,1)

x map(*2) sort ; =&gt; [2, 4, 6]

x === 1 ; =&gt; true
x === 0 ; =&gt; false

x remove!(2)
x === 2 ; =&gt; false

x &lt;&lt; 4
x === 4 ; =&gt; true</pre>
==== Ranges and Pairs ====

Both ranges and pairs tie two values together. They also have literal syntax to create them, since they are very useful in many circumstances.

A Range defines two endpoints. A Range is Enumerable and you can also check for membership. It's also convenient to send Ranges to the &quot;List []&quot; method. A Range can be exclusive or inclusive. If it's inclusive it includes the end value, and if it is exclusive it doesn't.

An addition to Ioke S is the possibility of inverted ranges. If the first value is larger than the second value, then the range is inverted. This puts slightly different demands on the objects inside of it. Specifically, if you want to iterate over the elements, the kind you're using need to have a method called 'pred' for predecessor, instead of 'succ' for successor. Membership can still be tested, as long as &lt;=&gt; is defined. So you can do something like this: (&quot;foo&quot;..&quot;aoo&quot;) === &quot;boo&quot;. It's mostly useful for iterating in the opposite direction, like with 10..1, for example.

<pre>;; literal syntax for inclusive range
1..10

;; literal syntax for exclusive range
1...10

;; check for membership
(1..10) === 5 ;; =&gt; true
(1..10) === 10 ;; =&gt; true
(1..10) === 11 ;; =&gt; false

(1...10) === 5 ;; =&gt; true
(1...10) === 10 ;; =&gt; false
(1...10) === 11 ;; =&gt; false

;; get the from value
(1..10) from == 1 ;; =&gt; true
(1...10) from == 1 ;; =&gt; true

;; get the to value
(1..10) to == 10 ;; =&gt; true
(1...10) to == 10 ;; =&gt; true

;; is this range exclusive?
(1..10) exclusive? ;; =&gt; false
(1...10) exclusive? ;; =&gt; true

;; is this range inclusive?
(1..10) inclusive? ;; =&gt; true
(1...10) inclusive? ;; =&gt; false</pre>
A Pair represent a combination of two values. They don't have to be of the same kind. They can have any kind of relationship. Since Pairs are often used to represent Dicts, it is very useful to refer to the first value as the &quot;key&quot;, and the second value as &quot;value&quot;.

<pre>;; literal syntax for a pair
&quot;foo&quot; =&gt; &quot;bar&quot;

;; getting the first value
(&quot;foo&quot; =&gt; &quot;bar&quot;) first ;; =&gt; &quot;foo&quot;
(&quot;foo&quot; =&gt; &quot;bar&quot;) key ;; =&gt; &quot;foo&quot;

;; getting the second value
(&quot;foo&quot; =&gt; &quot;bar&quot;) second ;; =&gt; &quot;bar&quot;
(&quot;foo&quot; =&gt; &quot;bar&quot;) value ;; =&gt; &quot;bar&quot;</pre>
==== Enumerable ====

One of the most important mixins in Ioke is Mixins Enumerable - the place where most of the collection functionality is available. The contract for any kind that wants to be Enumerable is that it should implement each in the manner described earlier. If it does that it can mixin Enumerable and get access to all the methods defined in it. I'm not going to show all the available methods, but just a few useful examples here. Note that any method name that ends with Fn takes a block instead of a raw message chain.

Almost all methods in Enumerable take variable amounts of arguments and do different things depending on how many arguments are provided. The general rule is that if there is only one argument, it should be a message chain, and if there are two or more arguments the last one should be code, and the rest should be names of arguments to use in that code.

Mapping a collection into a another collection can be done using map or mapFn. These are aliased as collect and collectFn too.

<pre>l = [10, 20, 30, 40]

;; mapping into text
l map(asText) ;; =&gt; [&quot;10&quot;, &quot;20&quot;, &quot;30&quot;, &quot;40&quot;]
l map(n, n asText) ;; =&gt; [&quot;10&quot;, &quot;20&quot;, &quot;30&quot;, &quot;40&quot;]

;; exponentiation
l map(**2) ;; =&gt; [100, 400, 900, 1600]
l map(n, n*n) ;; =&gt; [100, 400, 900, 1600]</pre>
Filtering the contents of a collection can be done using select, which is aliased as filter and findAll.

<pre>;; with no arguments, return all true things
[nil, false, 13, 42] select ;; =&gt; [13, 42]

l = [1, 2, 3, 4, 5, 6]

;; all elements over 3
l select(&gt;3) ;; =&gt; [4, 5, 6]
l select(n, n&gt;3) ;; =&gt; [4, 5, 6]</pre>
A very common operation is to create one object based on the contents of a collection. This operation has different names in different languages. In Ioke it is called inject, but it is aliased as reduce and fold.

<pre>l = [1, 2, 3, 4, 5]

;; inject around a message chain
l inject(+) ;; =&gt; 15
l inject(*) ;; =&gt; 120

;; with one arg
l inject(n, *n) ;; =&gt; 120
l inject(n, +n*2) ;; =&gt; 29

;; with two args
l inject(sum, n, sum*n) ;; =&gt; 120
l inject(sum, n, sum*2 + n*3) ;; =&gt; 139

;; with four args
l inject(1, sum, n, sum*n) ;; =&gt; 120
l inject(10, sum, n, sum*n) ;; =&gt; 1200</pre>
==== Regexps ====

Regular expressions allow the matching of text against an abstract pattern. Ioke uses the JRegex engine to implement regular expressions. This means Ioke supports quite advanced expressions. Exactly what kind of regular expression syntax is supported can be found at [http://jregex.sf.net http://jregex.sf.net]. This section will describe how you interact with regular expressions from Ioke.

There are two kinds that are used when working with regular expression. First, Regexp, which represent an actual pattern. The second is Regexp Match, which contains information about a regular expression match. It is this match that can be used to extract most information about where and how a complicated expression matched.

The standard way of matching something is with the match method. This method is aliased as =~, which is the idiomatic usage. It takes anything that can be converted to a text and returns nil if it fails to match anything, or a Regexp Match if it matches.

You can create a new Regexp from a text by using the Regexp from method. You can quote all meta characters in a text by using the Regexp quote method. Finally, if you just want to get all the text pieces that match for a regular expression, you can use Regexp allMatches. It takes a text and returns a list of all the text pieces where the Regexp matched.

You can also investigate a Regexp, by asking for its pattern (the pattern method), its flags (the flag method), and the named groups it defines. The names of the named groups can be inspected with the names method.

A Regexp Match is specific to one specific match. You will always get a new one every time you try to match against something. A match has a target, which is the original text the regular expression was matched against. So if I do #/ .. / =~ &quot;abc fo bar&quot;, then the whole &quot;abc fo bar&quot; is the target. You get the target from a match by using the target method. A match can also be asked for the named groups the regular expression it was matched against support. This is also done with the names method. Match also has two methods beforeMatch and afterMatch, that returns the text before and after the match. The match method returns the text comprising the actual match. The captures method will return a list of all the captured groups in this match. The asList method returns the same things as captures, except it also includes the full match text.

To figure out the indices where groups start or end, you can use the start or end methods. These take an optional index that defaults to zero, where group zero is the full match. They can also take a text or symbol that should be the name of a named group. The offset method returns a pair of the beginning and end offset of the group asked for. It works the same as start and end, with regards to what argument it takes.

You can use the [] method on Match to extract the one or several pieces of matches. If m is a match, then all of these are valid expressions: m[0]. m[1..3]. m[:foo]. m[-2], where the ranges return several groups, and the negative index returns indexed from the end of the list of captures.

Finally, a Regexp Match implements pass. It does this in such a way that if you use named groups, you can extract the value for that group by calling a method named the same as that group name. An example of this:

<pre>number = &quot;555-12345&quot;
m = #/({areaCode}\d{3})-({localNumber}\d{5})/ =~ number
m areaCode println
m localNumber println</pre>
==== FileSystem ====

The FileSystem kind allows access to functionality in the file system. It is the entry point to any manipulation of files and directories, and it can also be used to get listings of existing files. The reference includes good information about the existing methods in the FileSystem kind.

==== Other things ====

Ioke supports transforming an object into another object through the use of the method become!. After an object becomes another object, those two objects are indistinguishable from Ioke. This makes it really easy to do transparent proxies, futures and other things like that. To use it, do something like this:

<pre>x = &quot;foo&quot;
y = &quot;bar&quot;

x become!(y)
x same?(y) ; =&gt; true</pre>
In Ioke, objects can also be frozen. When an object is frozen it cannot be modified in any way. Any try at modifying a frozen object will result in a condition. This can be really helpful to track down problems in code, and make assertions about what should be possible. You freeze an Ioke object by calling freeze! on it. You can unfree it by calling thaw! on it. You can also check if something is frozen by calling frozen? on it.

=== Libraries ===

Ioke ships with several small libraries that are useful for different tasks. The main ones are IIk, ISpec and DokGen, and these will be documented a bit more in this chapter. All of them are considered a core part of Ioke since the functionality they provide is tied to the distribution.

==== IIk ====

IIk is the interactive Ioke prompt, which will run if you give no arguments to the ioke script. At the IIk prompt you can execute mostly all the same kind of code that could execute inside of an Ioke script file. The main difference is that this code will not be assigned to Ground, but instead will run in another context that is specific for the purposes of IIk.

IIk provides the possibility to exit using either &quot;exit&quot; or &quot;close&quot;. Both of these will in fact signal a condition of kind &quot;IIk Exit&quot;.

IIk will use readline if possible. That means that you can do the regular shell editing most other REPLs have support for, including using the up and down keys to scroll through earlier executed code.

IIk has a simple debugger that will be invoked when a condition is not handled. This debugger allows you to execute any kind of code and also to invoke restarts. As an example, the code below refers to a cell that doesn't exist. A condition is signalled and the debugger invoked. I choose to invoke the restart named useValue and provide the value 42. That value is returned and I'm back at the IIk prompt. In the next line I do the same thing again with the same name. This time I choose the storeValue restart and provide the value 43. And after that there exists a cell with the name foo and the value 43.

<pre>Iik&gt; foo
*** - couldn't find cell 'foo' on 'Ground_0x26E9F9' (Condition Error NoSuchCell)

 foo                                              [&lt;init&gt;:1:0]

The following restarts are available:
 0: storeValue           (Store value for: foo)
 1: useValue             (Use value for: foo)
 2: abort                (restart: abort)
 3: quit                 (restart: quit)

 dbg:&gt; 1
  dbg::newValue&gt; 42
  +&gt; 42


+&gt; 42

iik&gt; foo
*** - couldn't find cell 'foo' on 'Ground_0x26E9F9' (Condition Error NoSuchCell)

 foo                                              [&lt;init&gt;:1:0]

The following restarts are available:
 0: storeValue           (Store value for: foo)
 1: useValue             (Use value for: foo)
 2: abort                (restart: abort)
 3: quit                 (restart: quit)

 dbg:&gt; 0
  dbg::newValue&gt; 43
  +&gt; 43


+&gt; 43

iik&gt; foo
+&gt; 43</pre>
The Ioke debugger is quite powerful. If you were to execute any other Ioke code, that code will actually be executed in the context of the place where the condition was signalled. So it is possible to fix more complicated things in this manner too.

==== ISpec ====

ISpec is a minimal port of the Ruby RSpec framework for behavior-driven development. It supports the bare minimum to allow testing of Ioke itself. The current Ioke test suite is completely written in ISpec, and it seems to be a capable environment.

The ispec command line tool takes one argument -- &quot;-f&quot; to specify which format to print in. The default is &quot;p&quot; for progress, which only shows one dot for each test run. The &quot;s&quot; alternative shows the longer spec format. To run all tests in a directory with spec format:

<pre>ispec -fs test_dir</pre>
This command will find all files ending in _spec.ik and run the specs defined in them. If a single file is specified, only the tests in that file will run. If more than one directory or file is specified on the command line, all the tests will be run together. Provided the spec files all use the ispec module, the files can be run directly with the ioke-command too.

A full test file utilizing most of the parts of ISpec looks like this:

<pre>use(&quot;ispec&quot;)

describe(Foo,
  it(&quot;should have the correct kind&quot;,
    Foo should have kind(&quot;Foo&quot;)
    Foo kind should == &quot;Foo&quot;
    Foo kind should match(#/Fo+/)
  )

  it(&quot;should be possible to mimic&quot;,
    m = Foo mimic
    m should have kind(&quot;Foo&quot;)
    m should not be same(Foo)
    m should mimic(Foo)
  )

  describe(&quot;aMethod&quot;,
    it(&quot;should not return nil&quot;,
      Foo aMethod should not be nil
    )

    it(&quot;should return a number that can be multiplied&quot;,
      (Foo aMethod * 2) should == 12
    )
  )

  describe(&quot;aBadMethod&quot;,
    it(&quot;should signal a condition&quot;,
      fn(Foo aBadMethod) should signal(Condition Error BadBadBed)
    )
  )
)</pre>
This code first makes sure to use ISpec, then describes Foo. The describe method takes either kinds or texts describing what's under test. This can be nested arbitrarily deep. A test is defined with the &quot;it&quot; method, which takes a text describing the test first, and the implementation of the test as the second argument. If the second argument is left out, the test is considered pending.

Assertions are done using the &quot;should&quot; method. This returns an expectation that can check several different things against the original receiver. Using == is the simplest expectation and checks that a value equals another. By adding the not method call inbetween, the expectation is inversed. There are some predefined expectations. Except for ==, these are mimic, match and signal. The signal expectation makes sure that a condition is signalled in the code. The match expectation will check a text value against a regular expression. The mimic expectation checks whether an object mimics another.

The words &quot;be&quot; and &quot;have&quot; are ignored in the expectations. They are so called fluff words - that are only there to make it more readable.

If an expectation receives a message it doesn't know about, it uses pass to check a dynamic property. For example, something like &quot;foo should be same(x)&quot; will end up calling &quot;same?&quot; with x as an argument. The same thing happens in the above code to check for kind. There exists no kind expectation. Instead the kind checking will go check for &quot;kind?&quot;.

==== DokGen ====

DokGen is the tool that is used to generate the reference documentation for Ioke. The goal is that it will be a general purpose tool for any Ioke application. It extracts the documentation information from defined objects and then generates an HTML structure from it that can be easily navigated. If specs are available for objects and methods, it will try to incorporate these together with the documentation. At the moment, there is no way to run dokgen on a subset of Ioke code, but that should be available very soon now. At the moment, running the dokgen script will create a directory called &quot;dok&quot; which contains the full documentation. It will use all specs it can find in the directory test.

=== What is missing ===

Sadly, Ioke S is not finished. Several things are missing before it's complete. The core mechanics of the language I'm feeling fairly confident in, but the core libraries are generally only partially implemented. They are much more complete than for the Ioke 0 release, but there still exist large holes in it.

Another major part -- maybe even THE major part -- is Java integration. At the moment it is not possible to call or interact with Java libraries. That need to happen, and it will happen after the S release. Concurrency will also be part of the work after the S release.

=== Future plans ===

I have many plans for the future of Ioke. The next major versions of Ioke will be called Ioke E and Ioke P, respectively. Exactly what they will contain we'll have to see, but these are things I need to have, large and small:

* Java integration
* Concurrency primitives of some kind
This list is in no way exhaustive, but it is what currently comes to mind.