E -> E・ + num [$]

{set x 0}
{while (invar "_") (> (get x) 10) {
    {print "Hello\n"}
    {set x (+ (get x))}
}}

{set x (Array ["A" "B" "C"])}

{while (invar i) (get x) {
    {print (get i) "\n"}
}}

{func sayHello {
    {print "Hello, " (get name) "!\n"}
} (name)}

{sayHello (name="kuroge_")}

show(class) {
  (図形名),(x座標1),(y座標1),(x座標2),(y座標2)
}

show-animation(アニメーション方法),(class),(図形名),(x座標1),(y座標1),(x座標2),(y座標2),(速さ%)

@cast String{
    ...
}

[Int]hoge = 3
hoge.String()

(String)hoge

[Int]a

//FizzBuzz
[Int]count = 1
while count < 20 {
    if count%15 == 0 println("FizzBuzz")
    else if count%3 == 0 println("Fizz")
    else if count%5 == 0 println("Buzz")
    else println(count)
    count = count + 1
}

[Array[Int]] a
[String] b

Int
Array
1
String

a: 2
b: 4

配列 #[1, 2, 3] //Array[Int]
タプル #(1, "a", true) //Tuple[Int, String, Bool]
辞書 #{1: "a", 2: "b"} //Dict[Int, String]

{(引数リスト): 返り値の型 -> 処理}

{(引数リスト) -> 処理}

{([Int] a): Int ->
    return a*a
}
↓ 返り値の型とreturnを省略
{([Int] a) -> a*a}
↓ 引数の型と()を省略
{a -> a*a} //このときaの型は「*」が宣言されている一番抽象的な型。
↓ 引数名と->も省略
{\0*\0}

interface 名前: 親インタフェース {
    func メソッド(引数): 返り値の型
    func メソッド(引数): 返り値の型
    ...
}

//モナドの定義
interface Monad[T]: Applicative {
    static func >>=([Monad[T]] x, Func[T, Monad[U]] f): Monad[U]
}

class 名前: 継承元 {
    [Int] a //メンバ変数
    const(self, [Int] a) { //コンストラクタ
         self.a = a
    }
    func メソッド名(self) { //メソッド
        ...
    }
    static func メソッド名 { //静的メソッド
        ...
    }
}

struct 型: インタフェース {
    略
}

data 型: インタフェース {
    コンストラクタ1(付属の型)
    コンストラクタ2(付属の型)
    ...
}

data Maybe[T]: Monad {
    $just(T)
    $nothing

    static ope >>=[U]([Maybe[T]] x, [Func[T, Maybe[U]] f): Maybe[U] {
        switch x {
        case Maybe.just([T] a):
            return f(a)
        case Maybe.nothing:
            return Maybe.nothing
        }
    }
}

[Maybe[Int]] foo = nothing
[Maybe[Int]] bar = (foo >>= {just(\0*2)})

//演算子オーバーロードはデータ型のstaticメソッドで定義するので、左と右で型が違う演算子は定義できない。
//演算子には一部の記号が使用できる

[Array[Int,3]] a = [1, 2, 3]
a = [3, 4, 5]
a = [6, 7] //エラー