zen.txt

Zen 1.0 仕様書

Zen パーサー用ライブラリの言語仕様
型システム
==========

T ::=   void
        boolean
        int
	float
        String
        T[]
        Map<T>
        Func<T,T,..>  // 関数型、最初が返り値の型
	class T

any 型は、zen 1.1 から 

リテラル
========

null      : 
true      : boolean
false     : boolean
1         : int
1.0       : float
"hi"      : String
	"${name}" StringInterpolation は標準化
[1,2]     : int[]
["a", "b"] : String[]
{"name": 1}    : Map<int>

function(x : int ) {
  return x+1;
}          // 関数リテラル Func<int,int>

シンボル定義
============

定数のこと

let C = 1;

import java.lang.System

クラス定義
==========

// フィールドのみ

class Person {
	var name : String;
	var age : int;
	var isChild : Func<boolean, Person>;
}

- フィールドの型定義は必須
- メソッドは関数型のフィールドとして与える
- function isChild(x:Person) :boolean がバインドされる
- demangle ルール 引数数 第一引数(this) の
　　isChild_Person_1

関数定義
========

型なし
function f(a, b) {
	return a + b;
}

型あり
function f(a: int, b: int): int {
	return a + b;
}

 - demangle ルール 引数数 第一引数(this) の型
　

変数宣言
========

型なし
var x = 1;

型あり
var x: int = 1;

- 初期値（左辺値）は常に必要
- ローカル変数のみ
- スコープはCスタイルのブロックスコープ

制御構造
========
 - if/else
 - return
 - while
 - break
 - try/catch/finally
 - throw

if 文
----

if($EXPR) {
}

if($EXPR) {
} else {
}

if($EXPR) {
} else if($EXPR) {
} else {
}

 - ブロックのみ 1文のみは使えない

return 文
---------

return [$EXPR]


while 文
--------

while($EXPR) {
}


break 文
--------

break のみ


try 文
-----

try {
}
catch(e) {
}
finally {
}

throw 文
-----

throw $EXPR

 - なんでも投げられる

演算子
======

論理演算子
---------

$EXPR && $EXPR
$EXPR || $EXPR
! $EXPR

比較演算子
----------

$EXPR == $EXPR
$EXPR != $EXPR
$EXPR < $EXPR
$EXPR <= $EXPR
$EXPR > $EXPR
$EXPR >= $EXPR

四則演算子
----------

$EXPR + $EXPR
$EXPR - $EXPR
$EXPR * $EXPR
$EXPR / $EXPR
$EXPR % $EXPR
+ $EXPR
- $EXPR

関数コール
---------

$EXPR (...)
$EXPR.MethodName(...)

既存のオブジェクトのメソッドは呼べる

型演算子
--------

(T) $EXPR  // キャスト
$EXPR instanceof T   // インスタンス判定

a <: T
$EXPR : T  // Type Assertion
(T)$EXPR  // Type Conversion

if($EXPR) then $EXPR else $EXPR;

オブジェクト生成
----------------

new T()
new T[1]
[1, 2, 3]
{"name": "naruto", "age": 17}

ローカル変数
------------

NAME
NAME = $EXPR

配列(Map)要素
-------------

$EXPR[$EXPR]
$EXPR[$EXPR] = $EXPR

フォールド要素
--------------

$EXPR.Field
$EXPR.Field = $EXPR