tiel_script.txt

疑似言語Tiel・構想

// カンマ演算子で得た値を再帰的に保存する
class comma<class TypeA, class TypeB>{
    TypeA lhs;
    TypeB rhs;
};

// ブラケット演算子で得た値を保存する
using bracket<class TypeA, class TypeB> = comma<TypeA, TypeB>;

// まずカンマによる中置記法演算子を定義します
[operator, left, priority_n] class TypeA x "," class TypeB y
 = { comma r; r.lhs = x; r.rhs = u; return r; }

// 次にブラケットで囲う複数記号演算子<| comma_list |>を定義します

[operator, priority_m] "<|" bracket<class TypeA, class TypeB> x "|>"
 = { return x; }

// 以下の記述が利用できるようになります
a = <| x, y, z |>
// == { a.rhs == z; a.lhs.rhs == y; a.lhs.lhs == x; }

// 課題
// 中置以外の演算子の優先順位をどう規定するか