Getting started

Introduction

AiScript(あいすくりぷと)は、プログラミング言語です。このドキュメントでは、既にある程度のプログラミングの知識があることを前提にしています。したがってAiScriptの構文、仕様などについてだけ書き、プログラミング自体についての説明は省きます。

参考：syntax.md

Hello, world!

AiScriptでは、次のように書きます:

print("Hello, world!")

print( ~ )は関数呼び出しです。カッコの前に呼び出す関数名を書き、カッコの中に引数を書きます。引数が複数あるときは,で区切って列挙します。関数についての詳細は後述します。

"~"は文字列リテラルです。"で囲ったものが文字列になります。

ちなみに、print( ~ )には糖衣構文があり、次のようにも書けます:

<: "Hello, world!"

AiScriptのコメントは//で始めます。コメントはプログラムの動作に影響を与えません。

// this is a comment

複数行にわたってコメントアウトする場合、/* */で囲みます。

/*
this is a comment
*/

組み込み型

名称	型名	リテラル例
文字列	`str`	`"kawaii"`
数値	`num`	`42`
真理値	`bool`	`true`/`false`
配列	`arr`	`["ai" "chan" "cute"]`
オブジェクト	`obj`	`{ foo: "bar"; a: 42; }`
null	`null`	`null`
関数	`fn`	`@(x) { x }`
エラー	`error`	`(TODO)`

変数

宣言

変数宣言は次のように書きます:

let message = "Hello"

letのあとに変数名を書き、=の後に値を書きます。

AiScriptではこの方法で宣言した変数はイミュータブルです。つまり、変数の値を後から変えることは出来ません。再代入可能な変数を作る時は、letの代わりにvarで変数宣言します。例:

// ミュータブルな変数を宣言
var message = "Hello"

// 再代入
message = "Hi"

// また再代入
message = "Yo"

なお、同一スコープ内での変数の再宣言は禁止されています。

参照

変数の値を参照する時は、単に変数名を書きます:

print(message)

配列

[]の中に式をスペースで区切って列挙します。

["ai", "chan", "kawaii"]

配列の要素にアクセスするときは、[<index>]と書きます。インデックスは0始まりです。

let arr = ["ai", "chan", "kawaii"]
<: arr[0] // "ai"
<: arr[2] // "kawaii"

オブジェクト

AiScriptにおけるオブジェクトは文字列のみをキーとした連想配列のようなものとなっています。
キーと値から構成される各要素をプロパティと呼びます。
この時キーをプロパティ名と呼びます。
{}の中にプロパティを,/;/空白で区切って列挙します。プロパティ名と値は: で区切ります。

{
	foo: "bar"
	answer: 42
	nested: {
		some: "thing"
	}
}

オブジェクトのプロパティにアクセスするときは、 .<name>か[<str>]と書きます。

let obj = {foo: "bar", answer: 42}
<: obj.foo // "bar"
<: obj["answer"] // 42

演算

演算は、

(1 + 1)

のように書きます。これは標準関数（後述）呼び出しの糖衣構文で、実際にはこのように解釈されます:

Core:add(1, 1)

詳しくは→syntax.md

ブロック式

ブロック式 eval { ~ } を使うと、ブロック内で最後に書かれた式が値として返されます。

let foo = eval {
	let a = 1
	let b = 2
	(a + b)
}

<: foo // 3

条件分岐

AiScriptでの条件分岐は、次のように書きます:

if (a == b) {
	<: "a equals to b"
}

ifの後にboolを返す式(条件)を書き、その後に条件に一致した場合に評価される式(then節)を書きます。 then節の後にelseを書き、さらに式を追加することで条件に一致しなかった場合の処理も行うことが出来ます:

if (a == b) {
	<: "a equals to b"
} else {
	<: "a does not equal to b"
}

elifの後に条件式を書くことで条件判定を複数行うことも出来ます:

if (a == b) {
	<: "a equals to b"
} elif (a > b) {
	<: "a is greater than b"
} else {
	<: "a is less than b"
}

これらの条件分岐は式なので、ブロック内で値を返せます:

<: if (a == b) {
	"a equals to b"
} elif (a > b) {
	"a is greater than b"
} else {
	"a is less than b"
}

繰り返し

AiScriptでの繰り返しは、次のように書きます:

for (let i, 100) {
	<: i
}

forの後にイテレータ変数名を書き、,の後に繰り返し回数を返す式を書きます。その後のブロックで繰り返す処理を書きます。イテレータ変数は省略することも出来ます:

for (100) {
	<: "yo"
}

繰り返し(配列)

eachを使うと、配列の各アイテムに対し処理を繰り返すことができます:

let items = ["a", "b", "c"]
each (let item, items) {
	<: item
}

関数

関数定義

次のように書きます:

@fn(x) {
	(x * 2)
}

@の後に関数名を書き、カッコの中に引数定義を書きます。その後にブロックが関数の処理になります。

let ai = "kawaii"
<: `Hello, {ai} world!`
// 結果: Hello, kawaii world!

メタデータ

AiScriptファイルにメタデータを埋め込める機能です。

### {
	name: "example"
	version: 42
	keywords: ["foo", "bar", "baz"]
}

エラー型

一部の標準関数は実行失敗時にエラー型の値を返します。
これによりエラー処理を行うことができます。

@validate(str){
	let v=Json:parse(str)
	if (Core:type(v)=='error') print(v.name)
	else print('successful')
}

エラーメッセージ

進行不能なエラーが発生するとエラーメッセージが表示されます。

let scores=[10, 8, 5, 5]
let 3rd=scores[2] // unexpected token: NumberLiteral (Line 2, Column 5)

let arr=[]
arr[0] // Runtime: Index out of range. Index: 0 max: -1 (Line 2, Column 4)

行(Line)、列(Column)は1始まりです。

AiScript Docs