# Getting started
## Introduction
AiScript(あいすくりぷと)は、プログラミング言語です。
このドキュメントでは、既にある程度のプログラミングの知識があることを前提にしています。
したがってAiScriptの構文、仕様などについてだけ書き、プログラミング自体についての説明は省きます。
## Hello, world!
AiScriptでは、次のように書きます:
```
print("Hello, world!")
```
`print( ~ )`は関数呼び出しです。カッコの前に呼び出す関数名を書き、カッコの中に引数を書きます。
引数が複数あるときは`,`で区切って列挙します。
関数についての詳細は後述します。
`"~"`は文字列リテラルです。`"`で囲ったものが文字列になります。
ちなみに、`print( ~ )`には糖衣構文があり、次のようにも書けます:
```
<: "Hello, world!"
```
## コメント
AiScriptのコメントは`//`で始めます。
コメントはプログラムの動作に影響を与えません。
```
// this is a comment
```
## 第一級オブジェクト
| 種類 | 型 | リテラル例 |
|---|
| 文字列 | str | "kawaii" |
| 数値 | num | 42 |
| 真理値 | bool | yes/no |
| 配列 | arr | ["ai" "chan" "cute"] |
| オブジェクト | obj | { foo: "bar"; a: 42; } |
| null | null | _ |
| 関数 | fn | @(x) { x } |
## 変数
### 宣言
変数宣言は次のように書きます:
```
#message = "Hello"
```
`#`のあとに変数名を書き、`=`の後に値を書きます。
AiScriptではこの方法で宣言した変数はイミュータブルです。つまり、変数の値を後から変えることは出来ません。
再代入可能な変数を作る時は、`#`の代わりに`$`で変数宣言します。また、代入には`<-`を使います。例:
```
// ミュータブルな変数を宣言
$message <- "Hello"
// 再代入
message <- "Hi"
// また再代入
message <- "Yo"
```
### 参照
変数の値を参照する時は、単に変数名を書きます:
```
print(message)
```
## 配列
`[]`の中に式をスペースで区切って列挙します。
```
["ai" "chan" "kawaii"]
```
配列の要素にアクセスするときは、`[]`と書きます。インデックスは1始まりです。
```
#arr = ["ai" "chan" "kawaii"]
<: arr[1] // "ai"
```
## オブジェクト
```
{
foo: "bar"
answer: 42
nested: {
some: "thing"
}
}
```
## 演算
演算は、
```
(1 + 1)
```
のように書きます。これは関数呼び出しの糖衣構文で、実際にはこのように解釈されます:
```
Core:add(1, 1)
```
下記で列挙する関数はすべて`(1 + 1)`のような糖衣構文として使えます。
注意点として、`(1 + 1 + 1)`のようには書けず、`(1 + (1 + 1))`のように入れ子にして使います。
| 関数 | 演算子 | 意味 |
|---|
Core:add | + | 加算 |
Core:sub | - | 減算 |
Core:mul | * | 乗算 |
Core:div | / | 除算 |
Core:mod | % | 剰余 |
Core:eq | = | 等しい |
Core:and | & | かつ |
Core:or | | | または |
Core:gt | > | 大きい |
Core:lt | < | 小さい |
## ブロック
ブロックは処理のまとまりで、`{ ~ }`のように書きます。
ブロックの最後に書かれた式が、ブロックの値として返されます。
```
#foo = {
#a = 1
#b = 2
(a + b)
}
<: foo // 3
```
ブロック自体も式です。
## 条件分岐
AiScriptでの条件分岐は、次のように書きます:
```
? (a = b) {
<: "a is equal to b"
}
```
`?`の後にboolを返す式(条件)を書き、その後に条件に一致した場合に評価される式(then節)を書きます。
then節の後に`.`を書き、さらに式を追加することで条件に一致しなかった場合の処理も行うことが出来ます:
```
? (a = b) {
<: "a is equal to b"
} . {
<: "a is not equal to b"
}
```
`.?`の後に条件式を書くことで条件判定を複数行うことも出来ます:
```
? (a = b) {
<: "a is equal to b"
} .? (a > b) {
<: "a is grater than b"
} . {
<: "a is less than b"
}
```
これらの条件分岐は式なので、ブロック内で値を返せます:
```
<: ? (a = b) {
"a is equal to b"
} .? (a > b) {
"a is grater than b"
} . {
"a is less than b"
}
```
## 繰り返し
AiScriptでの繰り返しは、次のように書きます:
```
~ (#i, 100) {
<: i
}
```
`~`の後にイテレータ変数名を書き、`,`の後に繰り返し回数を返す式を書きます。その後のブロックで繰り返す処理を書きます。
イテレータ変数は省略することも出来ます:
```
~ (100) {
<: "yo"
}
```
## 繰り返し(配列)
`~~`を使うと、配列のアイテムを繰り返すことができます:
```
#items = ["a" "b" "c"]
~~ (#item, items) {
<: item
}
```
## 関数
### 関数定義
次のように書きます:
```
@fn(x) {
(x * 2)
}
```
`@`の後に関数名を書き、カッコの中に引数定義を書きます。その後にブロックが関数の処理になります。
### return
関数の最後に書かれた式の値が関数の返り値になりますが、関数の途中で値を返したい時は`<<`を使います。
## テンプレート
文字列の中に変数や式を埋め込めます:
```
#ai = "kawaii"
<: `Hello, {ai} world!`
```
## メタデータ
AiScriptファイルにメタデータを埋め込める機能です。
```
### {
name: "example"
version: 42
keywords: ["foo" "bar" "baz"]
}
```
# Examples
## FizzBuzz
```
~ (#i, 100) {
<: ? ((i % 15) = 0) "FizzBuzz"
.? ((i % 3) = 0) "Fizz"
.? ((i % 5) = 0) "Buzz"
. i
}
```