池田優一
eclip****@cspc*****
2005年 11月 14日 (月) 01:16:20 JST
池田です。
これ書いてて気付いたんだけど、
:は演算子にできても~はできない・・・
対称にすると:も構文になっちゃうのかなぁ。
: = {x | @owner <+ [x]};
[] : 1 --> [].:[1] --> {x | [] <+ [x]}[1] --> []<+[1]
と思ったけど抽出の逆方向版があればいいのか。
最後に.を付けると逆抽出用シンボルリテラルだとして。
~ = {x | [x] +> @owner};
1 ~ [] --> [1]~.[] --> [1]+>{x | x +> []}! --> [1]+>[]
とかどうだろｗ
池田優一 wrote:
> 池田です。
>
> 右結合な構文とか演算子とかあるでしょうか。
>
> とりあえず、
> +>, ~ は右結合の方が良いかと思いました。
> <+, : の反対感が強まるので。
>
> 演算子は優先度の他に結合則も必要ですね。
> OCamlでも演算子の開始文字によって結合則が変わるそうです。
> _______________________________________________
> mie-dev mailing list
> mie-d****@lists*****
> http://lists.sourceforge.jp/mailman/listinfo/mie-dev
>