言語のコンセプト、方向性を固めたい

ターゲットプラットフォーム

• Node.js環境
• ブラウザ環境

型のサポート

• 全て暗黙的な型

たとえば、もし言語機能としてジェネリックや複合的な型をサポートしたくなったとして、
もはや「全て暗黙的な型」ではなくなる。
明示的な型のサポートが必要となることが予想されるならば始めから明示的に型をつけるようにすべきだと思う。

• 全て明示的な型 or 明示的な型+暗黙的な型

ぜんぶ明示的だよ。
型を明示する手間はあるけど、その代わりに制約やインタプリタに対して説明を与えることができる。

変数のスコープの処理を変えないといけない

実行時間は増しそうだけど、無限ループとかでブラウザがフリーズすることはなくなりそう

そろそろ欲しい

サポートするかどうか

.is？
.ais？
.moe？

改行文字

現状呼び出しは

foo(x)

だけど、これだと他の言語でも指摘されている「呼び出しが入れ子になったときに、実際の処理順序と書き順が一致しないからわかりにくい」という問題が発生する
例えば

#a = x(y(z(42)))

だと、書き順はx, y, zだけど、実際の処理はz, y, xの順に行われる

そこで、AiScriptでは

#a = (((42)z)y)x

のように関数名をカッコの右に書くことでその問題を解消するようにしようと思いついたけどどうだろう

<<< "hoge"

みたいに書くと、その時点でプログラムの動作をすべて終了してその値をAiScript呼び出し元に返す。
AiScriptのテストを書くときに有用

難しそう

現在は
name:NAME "(" _ args:fnCall_args? _ ")"
になってるけど
fn:expression "(" _ args:fnCall_args? _ ")"
にしないとダメ
でもそうすると左再帰になりそう

問題ない？

^を使う

~ (#i, 10) {
	? (i = 5) {
		^
	}
}

構文案

### Hoge {
  @fn() { 42 }
}

-foo

ができない

プロパティとプロパティ(関数コール)、インデックスの構文を整理

プロパティやプロパティ(関数コール)やインデックスのことを、
長いのでパス要素と呼びます。

左再帰はサポートされないため回避しないといけない。
解決策の1つとしては、主となる式の後ろにパス要素が複数個付けられるようにすること。
式のASTにpathesのようなのを追加して、あとに続くパス要素を表現できるようにする。

expr
  = expr_item expr_path+

ノード

インデックス

{
	type: 'path';
	index: number; // インデックス値
}

プロパティ

{
	type: 'path';
	name: string; // プロパティ名
}

プロパティ(関数コール)

{
	type: 'path';
	name: string; // プロパティ名
	args: Node[]; // 関数の引数
}

構文

インデックス

他の式ノードの装飾として:
[<index>]

プロパティ

他の式ノードの装飾として:
.<propName>

プロパティ(関数コール)

他の式ノードの装飾として:
.<propName>(<CallArgs>)

boolだと解釈される

ノード

普通の繰り返し

{
	type: 'for'; // for文
	var: string; // イテレータ変数名 variable
	from: Node; // 開始値 expr1
	to: Node; // 終値 expr2
	children: Node[]; // 本体処理
}

配列の列挙

{
	type: 'forOf'; // for of文
	var: string; // イテレータ変数名 variable
	target: Node; // 対象の配列 expr
	children: Node[]; // 本体処理
}

構文

普通の繰り返し(variableは数値型、exprは数値を返す式)

~ (<variable> = <expr1>, <expr2>) {
  <statements>
}

配列の列挙(exprは配列を返す式)

~ (<variable>, <expr>) {
  <statements>
}

文字列中に変数の値を埋め込める構文

#foo = "ai"
#bar = `hello {foo} world!`

AiScript標準で提供すべきなのかは微妙だけど欲しい

とりあえずtrue/falseを使ってるけど、
別のキーワードでも良さそう(記号とか別のワード)

AiScriptでは例外は無しにしたい(これもRustからのアイデア)
エラーが発生する可能性のある処理(関数)は、成功した時の値とエラーの値を入れられるオブジェクト的なものを返すようにする
内部的なエラー(ゼロ除算等)が発生すると、プログラム全体の動作を終了させる

What

別のファイルの関数や定数を読み込める機能

構文案

Export

< :: {
  @foo() { "bar" }
}

Import

> Hoge "https://apm.example.com/packages/hoge"

<: Hoge:foo()

キーワード:
yes no _