Ｃ式（Ｃ言語風汎用データ形式）を作ろう！
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2006/09/15(金) 03:47:23Ｃ言語風な構文を持つデータ形式を考えています。
LispのＭ式の一種を考えるといっても良いと思います。
一人で考えていてわけがわからなくなっているので、
話し聞いてやってください。
例)
S式 (a (b (+ c d)))
C式 a[b[c+d]]]
0002デフォルトの名無しさん
2006/09/15(金) 03:56:230003デフォルトの名無しさん
2006/09/15(金) 04:19:360004772
2006/09/15(金) 04:26:13①言語にいろいろ追加したいと思う。
②JavaのEPPを見つけすげ－思う。
③Ｓ式は凄いけど、見難いと思う。
④Ｄ言語に期待してみるけど、作るのは俺ではない。
⑤Nemerleマクロは凄いけど、俺がNemerleを作れるわけではない。
⑥Ｃ言語風のデータ形式を作ってＳ式のパーサ＋αくらいでパース出来るようにしてしまえ！
っていう経緯があります。
0005デフォルトの名無しさん
2006/09/15(金) 04:34:300006772
2006/09/15(金) 05:15:09:が名前を表す２項演算子として考えるのかなぁ？
プログラミング言語として使うとなると、
main:[
printf:["hello wolrd"],
printf:["\n"]
]
って書くとかになると、これは連想配列ではないし、ムムムです。
[main,
[printf, "hello world\n"],
[printf, "\n"]
]
って書くなら、Ｓ式のほうがいいよってなるし。
うーむ。
00071
2006/09/15(金) 05:20:34>>3
まぁ、普通のプログラマには扱い方難しそうにみえるでしょうね。
まだ、簡単に扱えないものを簡単に扱えるようにしようとしてるので、
当然の感想ですね。
0008デフォルトの名無しさん
2006/09/15(金) 06:15:370009デフォルトの名無しさん
2006/09/15(金) 06:45:02それじゃ関数定義と関数適用（＝呼出）の区別がつかないじゃん。
つーか何がしたいのかわからん。
データ形式が、プログラムを表現することもできる、ってのを考えてるの？
だったらlambdaさえあればいいわけだから、あとはC言語風に書くなら、S式の
(a b c d)
を
a (b, c, d);
って書けば終わりじゃないの？
0010デフォルトの名無しさん
2006/09/15(金) 14:38:090011デフォルトの名無しさん
2006/09/15(金) 17:28:450012デフォルトの名無しさん
2006/09/16(土) 01:51:31() を [] に変えてるだけジャン。
0013デフォルトの名無しさん
2006/09/16(土) 02:14:10こんな屑レベルで迷ってるなんて貴方らしいｗ
00141
2006/09/16(土) 02:26:05ああ、そうか、まちがえました。
define:[main:[],
printf:["hello world\n"]
]
とかにしないとねぇ。
やりたいことは、
①プログラミング言語として使える。
②プログラムで操作できる。
③Ｃ言語風の構文をもっている。
④演算子を優先順位付きで定義して使える。
といった汎用のデータ形式を理論的に作り出して、
それを使って、LISPライクな言語を作りたい。
a(b,c,d);
と書くのはよいのだけど、なぜ、カンマやセミコロンが必要になるのか？
明確にしておきたい。
00151
2006/09/16(土) 02:26:42BoostPPのデータ構造として
tuple (elem0,elem1,...,elemN-1)
array (N, (elem0,elem1,...,elemN-1))
seq (elem0)(elem1)(elem2)...(elemN-1)
list (elem0, (elem1, (elem2, (..., (elemN-1, BOOST_PP_NIL)))))
ってのがあると。へぇ。
>>11
MLispとかみたいなもんのプリプロセッサは作ってみてます。
>>12
()ではなくて、[]とかいてるのは単にＳ式と対比して書くのに[]を使っただけです。
(),[],{}等のカッコが使える言語を作りたいと考えています。
0016デフォルトの名無しさん
2006/09/16(土) 09:47:44> C式 a[b[c+d]]]
C 式のほうの括弧の対応が・・・ S 式でも (a $ b $ + c d) とか
書ければいいって話じゃねーの？非S式でぐぐったらこんなんみつかった
ttp://lispuser.net/memo/lisp/2006-03-30-23-58.html
0017デフォルトの名無しさん
2006/09/16(土) 11:26:49俺は自分で作ったぞ
0018・∀・）っ-○◎●新世紀ダンゴリオン ◆DanGorION6
2006/09/16(土) 12:27:540019デフォルトの名無しさん
2006/09/16(土) 12:29:07Appleの中の人に謝れ！
0020デフォルトの名無しさん
2006/09/16(土) 12:31:500021・∀・）っ-○◎●新世紀ダンゴリオン ◆DanGorION6
2006/09/16(土) 12:32:400022デフォルトの名無しさん
2006/09/16(土) 12:36:050023デフォルトの名無しさん
2006/09/16(土) 12:51:05ならランタイムの関数を自分で呼べよ
0024デフォルトの名無しさん
2006/09/16(土) 16:51:20でもキモいと思うのは禿同。
0025デフォルトの名無しさん
2006/09/16(土) 16:53:400026デフォルトの名無しさん
2006/09/16(土) 17:21:11>>を
>>a (b, c, d);
>>って書けば終わりじゃないの？
>a(b,c,d);
>と書くのはよいのだけど、なぜ、カンマやセミコロンが必要になるのか？
>明確にしておきたい。
バカか。
a+bを+(a b)と表すようにすればカンマもセミコロンも要らないよ。それだけの話。
0027デフォルトの名無しさん
2006/09/16(土) 19:43:500028デフォルトの名無しさん
2006/09/16(土) 19:51:58>printf:["hello world\n"]
>]
これをC風と言ったらビビルなｗ
0029デフォルトの名無しさん
2006/09/16(土) 19:58:56C言語のセミコロンは式と文の区別。
カンマは関数引数の区切りもしくは式の中での順次実行。
C言語のリテラルと演算子はスペースで区切らずに続けて
書いても区別されるという利点がある。
a=b+c++;
これをLISPで書くと必ずスペースで区切る必要があり、
また括弧によって冗長になる。
(= a(+ b(++ c)))
演算子の利点は見ての通り。
つーか、、
こんなスレ立てる前にC言語の文法ぐらい適当な本でも買って把握してこいよ。
文法がわかればLISPなら3日あれば作れるだろ。
0030デフォルトの名無しさん
2006/09/16(土) 20:03:51間のコロンは何なの？
無意味な装飾はやめとけ。
0031デフォルトの名無しさん
2006/09/16(土) 20:10:590032デフォルトの名無しさん
2006/09/16(土) 20:12:08printf fuck you butikorosuzo(gomimera) "\n";
0033デフォルトの名無しさん
2006/09/16(土) 20:27:16JSON 風にしたいんじゃないのー？
0034デフォルトの名無しさん
2006/09/16(土) 21:17:03Pythonにもいってやれよ
0035デフォルトの名無しさん
2006/09/17(日) 01:23:18> Ｃ言語風の構文をもっている。
> 演算子を優先順位付きで定義して使える。
… >>1 よ、一つ聞いていいか？そのデータをプログラマが扱う内部表現はどう
したいんだ？
1. 内部表現は結局 S 式 → 操作は簡単だが表記と操作が異なってて不便
2. 内部表現が表記と同一 → 操作するときに演算子の優先順位をいちいち気にするのか？
00361
2006/09/17(日) 19:40:38あ、カッコの対応足りないよう。
Ｓ式でもどうできるってのは、分かりますが、
HaskellやらOcamlのヴァリアント型みたいなのほうがいいっしょ。
>>17
どういうのを作ったんでしょうか？
>>26
Ｓ式に、名前付きのカッコと、優先順位付きの演算子を使えるようにしたもの
を使えるようにしたものを作りたいのです。
+(a b)
とかけるのは分かります。
>>27
>>28
カッコの前にアイデンティファイアが来て、複数のカッコを使い分けるのが
Ｃ言語風なのです。アルゴル風っていったほうがいいのかしら。
00371
2006/09/17(日) 20:02:40Ｃ言語のセミコロンはなぜ、ターミネータだったり、セパレータ（for文）だったり
するのでしょう？というと、なんとなく見易いからとかになりますよね。
Schemeはコンティニュエーションとか難しいので作れません。(T-T)
S式のパーサは作れるけど、それは車輪の再発明にすぎないし。
>>30
いや、JSONをプログラム用に拡張したことを考えたら、
連想配列の名前と値の記述方法として:を使って書くことが出来るだろうから、
printf:["hello world\n"]と書いたのです。
:はいらないで書けるほうがいいと私も思ってますよ。
>>31
Ｃのデータ形式を考えるのではなくて、プログラミング言語として使える
Ｃ言語風のデータ形式を考えてるのです。
>>32
関数のカッコを省略する記法としては、MLやHaskellがあるのだと思います。
00381
2006/09/17(日) 20:07:24とにかく、できるだけプログラマが扱いやすいようにです。
S式と表記同一と２つの表現があるのがいいのかなと思っています。
２の優先順位をいちいち気にするに近いかと思います。
いちいち気にしないようにするために、Haskellの演算子を関数として
適用する方法もあったらいいかなと思ってます。
1+2 or `+`(1 2) or `+`(1,2) or (+ 1 2)
というかんじです。
優先順位付きの演算子があるから、カンマが必要になる。
さて、そのカンマは場合により省略したり、余計に書いたりが可能なはずだが、
どうあるべきなのかなと。
00391
2006/09/17(日) 20:11:59Ｄ言語の仕様はしょっちゅう見てるんだけど。
0040デフォルトの名無しさん
2006/09/17(日) 20:31:59>Ｃ言語のセミコロンはなぜ、ターミネータだったり、セパレータ（for文）だったり
>するのでしょう？というと、なんとなく見易いからとかになりますよね。
アホか。
for文の中の区切りを、例えばカンマにしないのは、
カンマにしたら、for(i = 0, j = 0; i<10; ++i, ++j) と書けないからってだけ。
見易いからじゃなく、他に代替手段が無いからにすぎない。
0041デフォルトの名無しさん
2006/09/17(日) 20:38:43少なくとも、
・カッコが「演算子の優先順位の操作」と「関数呼び出し」を兼用
・一つの演算子が単項の場合と二項の場合の両方ある（例えば + や -）
ってのを排除しないと、余計なカンマやセミコロンは避けられないな。
もはや「C言語風」には見えなくなると思うけど。
どうでもいいけど、ECMAScriptみたいに改行部分だけ適宜セミコロン挿入、みたいな無理やり系も検討してるわけ？
0042デフォルトの名無しさん
2006/09/17(日) 20:41:3300431
2006/09/17(日) 22:36:38いや、セミコロンがターミネータなら、
for(i=0,j=0;i<10;++i,++j;)ではなくて、
なぜ、;が３じゃないといけないの？
まぁ、文法がそうだからなんだけど、なんで、そんなに文法が複雑なんだと。
もっとシンプルなＨＴＭＬをＸＨＴＭＬにするようなことをやりたいのです。
ECMAScriptの改行うんぬんも、もちろん、検討しようと思ってます。
ただ、まだごちゃごちゃしてまとまらないので困ってる状態です。
Groovyとか、セミコロン無しとかですしねぇ。
>>41
そういった理由をしっかりさせた上で、カンマがありますと、
仕様書か何かの文章としてきちんと書きたいなと思ってるわけです。
他に漏れがあれば、そこも指摘してもらいたいなと。
>>42
Ｓ式で満足なら、このスレには用がないですよね。
Ｍ式はそういった理由で消えていったわけですし。
では、なぜ、Ｃ＃やＪａｖａがもてはやされてるの？
なぜ、MLやHaskellのバリアント型？のデータがC言語っぽいの？
って思うわけです。
0044デフォルトの名無しさん
2006/09/17(日) 22:53:06>なぜ、;が３じゃないといけないの？
はぁ？
0045デフォルトの名無しさん
2006/09/17(日) 23:04:48http://d.hatena.ne.jp/h_sakurai/
0046デフォルトの名無しさん
2006/09/18(月) 00:04:42俺トランスレータにかければそのまま扱えるから便利だおってことでいいのか
0047デフォルトの名無しさん
2006/09/18(月) 00:59:45a(b, c, d, e, ... )
この表記を基本にして全ての制御構造を書ける言語、知っているんだ……。
0048デフォルトの名無しさん
2006/09/18(月) 01:23:100049デフォルトの名無しさん
2006/09/18(月) 01:53:47いや、セミコロンをターミネータだと思うな、forの中では。
forの中はセミコロンがターミネータであるということに対す（唯一といってよい）例外。
また、for内の最初の部分は、C++/C99だと変数の宣言もできる。
そして、真ん中の部分は継続するかを判断する条件式でなければならない。
そのためfor内でもセミコロンをターミネータとして扱うとしても、
forの構文は「for (式文 式文 式文) 文」のようにすっきりさせることは、どうせできないよ。
0050デフォルトの名無しさん
2006/09/18(月) 01:55:18「思うな」は「思ってはいけない」とでも読み替えてくれ。
0051デフォルトの名無しさん
2006/09/18(月) 03:05:10> S式と表記同一と２つの表現があるのがいいのかなと思っています。
>>1 で提案してる形式はな，どうみてもプログラマが操作しやすいとは思えないんだがな…
ちょっとプログラムを操作する例をだしてみてくれないか？なんも考えてないって事はないよな？
0052デフォルトの名無しさん
2006/09/18(月) 05:10:31(a (b (+ c d)))
a:
b:
+:
c:
d
uwa!
0053デフォルトの名無しさん
2006/09/18(月) 06:48:37文法に気に食わない点があるなら、そこだけ修正すりゃいいだけじゃないか。
forのセミコロンとかマジでくだらなすぎ。
セミコロンが嫌なら、$ でも @ でも好きな記号使えばいいじゃん。
どうせその他のセミコロンとはセマンティクス的に別物なんだから。
（厳密な意味を除いて漠然と「区切り」である、という点しか共通してない）
もしくは文法を、
ForStmt -> for (Init ; Cond ; Iter) Stmt
の代わりに、
ForStmt -> for ( Init ) ( Cond ) ( Iter ) Stmt
にしたっていいわけだしな。
キモイけど文法に曖昧さはない。
つーか、forに「3つ目のセミコロン」をつけたい（つけてもつけなくてもよい文法にしたい）ってのがあんたの主張かい？
それこそ、ものすごい簡単な文法の修正で終わるじゃん。
ただ、3つ目のセミコロンを「つけることができてしまう」ほうがキモイと感じる人は多いと思うね。
いっそのことfor文を廃止すれば話はもっと早い。
0054デフォルトの名無しさん
2006/09/18(月) 16:02:16そういうくだらない感想文は、キミのつまんない糞ブログにでも書いてろ。
もう来んな。
0055デフォルトの名無しさん
2006/09/18(月) 18:26:32ｷﾓｲ奴だな。
00561
2006/09/18(月) 20:52:27Lispのマクロ的にいろいろいじり回したいと。
>>47
おおー、それは知りたいです。
是非、教えてください。
名前だけでも教えてもらえれば嬉しいです。
>>48
２項演算子は、定義して使えることを考えてますよ。
>>51
Dylanや、Nemerleあたりのマクロみたいなのを考えてます。
まだ、説明してないのですが、たとえば、
syntax(swap(a,b)) {tmp = a;b = a;a = tmp}
等と書いておけば、
ハイジニックなマクロになるとかいった感じです。
このマクロ定義をＳ式で表すと、
(syntax (@paren (swap (@paren a , b))) (@block (= tmp a) ; (= b a) ; (= a tmp)))
となるといったことを考えてます。
ここで、カンマやセミコロンの扱い方がいろいろ考えられていじりまわしてるのですけど。
@parenが()のカッコを表していて、@blockが{}のカッコを表してます。
parenやblockと読んでるのは適当につけた名前なので変えたほうが良いかなぁとか思ってるんですが。
00571
2006/09/18(月) 20:54:13forにセミコロンを３つ付けたいのではなくて、
{}や()や[]内のカンマとセミコロンを全て同じように扱えるデータ形式を
考えて、プログラミング言語を作ればよいのではないか？
ということを考えているのです。
XMLの上に、XHTMLや、その他いろいろな言語を構築するように。
Ｃ式の上でプログラミング言語をいろいろ作れたらいいのではないかと。
Ｌｉｓｐの方言がいろいろあるように。
それが、Ｃ言語の後継言語に必要なんじゃないかと。
00581
2006/09/18(月) 21:03:37nekoはかなり、小さい気がするんだけど。
0059デフォルトの名無しさん
2006/09/18(月) 21:17:2447 だけど、正確には
msg_list := msgs
| msg_list ';' msgs
msgs :=
| msgs msg
msg := identifier
| identifier '(' args ')'
args :=
| msg_list
| args ',' msg_list
みたいな感じだから、Ｓ式よりも複雑だったり。
ttp://www.iolanguage.com/docs/grammar/bnf/
ちなみに２項演算子は構文糖として処理され、中身は↑のような形式に。
00601
2006/09/19(火) 01:29:15Ioですか。Luaの友達の組み込み用言語で、shinichiro_hさんがやっている。
っていう認識でした。
Ｓ式より複雑なのは仕方ないと思います。
SRUも、似たような思想の言語だったような。
http://sru.ikejisoft.com/?What's%20SRU
ソース綺麗らしいし、ちゃんと動かして遊んでみようかなぁ。
006147
2006/09/19(火) 01:37:42なんか独自言語の模索に取りかかってるみたいだけど。
0062デフォルトの名無しさん
2006/09/19(火) 01:41:0200631
2006/09/19(火) 01:52:40独自言語を作るアプローチとして、
①汎用データ記述方式を作る。
②汎用データ記述方式を使ってプログラミング言語を作る。
ということを考えています。
うまみは「パーサ作らないでＣ言語風な構文のプログラミング言語を
いろいろいじりまわして作れる。」
っていうことなわけで、そのうまみを理解してもらおうとしてたと
いうところだと思います。
006447
2006/09/19(火) 02:36:56りょーかい。そういうのなら協力するよ。ちょっと興味ある分野だから。
ところで、Ｓ式で表したＣプログラムを処理する処理系があるのは聞いたことある？
ああいうのが欲しい。
0065デフォルトの名無しさん
2006/09/19(火) 13:29:59>「パーサ作らないでＣ言語風な構文のプログラミング言語を
>いろいろいじりまわして作れる。」
２項演算子を導入するとパーサが必要になると思うのだが。
x = 1を(set! x 1)と解釈すること自体がパースそのものなわけだし。
006647
2006/09/19(火) 16:45:28それから、Ｓ式の評価の仕方から変えちゃえば (1 + 2) を直接実行することもできるだろうし、実際そういうのを作ったこともあったり。
00671
2006/09/19(火) 19:43:03JavaのEPPは知ってるのですが、Cのものは知りません。
教えてもらえると嬉しいです。
EPPがなぜ広まらないかなぁって考えてやっぱり、
Ｓ式は広まらんのかと思ってたりします。
協力していただけますか。ありがとうございます。
よろしくお願いします。
>>65
XMLはパーサ作らなくてもライブラリ拾ってきて利用できますよね。
同じように、Ｃ式のパーサライブラリ拾ってくれば利用できるようにしたいと。
そういった話です。２項演算子もＣ式で使えるようにしたいと考えてますので。
しばらく、Ioで遊ぼうと思います。
0068デフォルトの名無しさん
2006/09/19(火) 20:29:21006947
2006/09/19(火) 21:37:39「Ｓ式ベースＣ言語」 でぐぐると、ちらほらと詳細出てくるはず。
Ｓ式にすると多段マクロが書きやすいって論文を見たことがあるんで。
Ｓ式自体は何の変哲もない配列あるいはリストなんだから、Lisp がＣに比べて広まらないのは、
Ｓ式だけで表記するという仕様のデメリットが直に出たからだと考えていたり。
Ｓ式について深く考え、それから「じゃあＣでは」を考えるべきかなー、とか。
0070デフォルトの名無しさん
2006/09/19(火) 21:37:39学部の実験で作ったな…
0071デフォルトの名無しさん
2006/09/19(火) 21:48:29だから、無理やり汎用データ構造にしても使いづらいと思う。
んで、Ｃ風の構文で強力なマクロが使いたかったら、そういうような言語を作ればいいだけだし、この二つの話をくっつけること自体がとてつもなく無意味なような。
コードの動的生成をするにしても、VMやCのコードを生成するのが普通だとおも
00721
2006/09/20(水) 03:08:08うわーん。
>>71
まぁ、普通プログラミング言語というと、BNFをベースとした文脈自由文法で
書くわけですがそれだと、SDML上のHTMLみたいなもので、文法が複雑化します。
SDMLのパーサは誰でもかけるわけではないので、簡単にした、XMLが登場したわけです。
自分が考えているC式てのは、
プログラミング言語用のXMLのようなものを考えているわけです。
だから、一般的なプログラミング言語の開発手法とはアプローチの仕方が違います。
強力なマクロをもった言語は存在していますが(DylanやNemerle)、簡単に作れそうに見えません。
LISPがなぜ、簡単にマクロを実現できるのかというとプログラムがそのままデータでもあるからです。
強力なマクロを簡単に作るには、プログラムをデータで書くことが出来ることは重要なことなのです。
0073デフォルトの名無しさん
2006/09/20(水) 03:34:44データのシリアライズだけが目的ならJSONでいいし、プログラムを表現するって点に着目すればECMAScript（またはそのサブセット）でいいんじゃないかと。
とにかく全ての部分が再帰的に評価可能になっていれば、S式のマクロみたいな閉包性（マクロ適用前も適用後も元の言語の文法にフィット）も実現しやすいと思う。
逆に評価不可能な部分があったりすると、Cの#defineみたいなやっつけマクロ（なんでも置換できるが、マクロ適用後にパースエラーが出うる）にせざるをえなくなっちゃうしな。
007447
2006/09/20(水) 03:45:32Io のビルドは難しいよ。
ttp://www.mike-austin.com/io/ からバイナリ落とした方が早い。
そういえば OpenJava を思い出した。Java のマクロ処理系。
構文解析にも多少手を入れられるけど、『拡張』 と言えるだけの変更は難しいみたいで。
Lisp はパーサを動的に変更可能みたいだけど、Java のパーサは……難しいのかな。
0075デフォルトの名無しさん
2006/09/20(水) 14:39:37＞http://www.rubyist.net/~matz/20060914.html#p01
＞
＞Guy Steele曰く「Lispはブラックホールだ。「Lispに似た(でもLispではない)なにか」を
＞作ろうとすると、重力につかまってブラックホールに落ちてしまう。そしてそれはLispになる。
0076デフォルトの名無しさん
2006/09/20(水) 20:32:46パターンマッチで再帰的に書けることぐらいしか思いつかない。
C式が最低限クリアしないといけないハードルを明らかにするためにも、lispのマクロの優位な点を明確にしておくことは有意義だと思う。
構文木を操作するマクロを作ったとしても、Cのマクロ程度の性能しかなかったらそんなもん誰も使わない。
0077デフォルトの名無しさん
2006/09/20(水) 22:01:560078デフォルトの名無しさん
2006/09/20(水) 23:02:06それだけ？
0079デフォルトの名無しさん
2006/09/20(水) 23:38:44それだけも糞もないことが。
0080デフォルトの名無しさん
2006/09/20(水) 23:41:380081デフォルトの名無しさん
2006/09/20(水) 23:44:410082デフォルトの名無しさん
2006/09/20(水) 23:46:33再帰マクロを作ればいいだけ
0083デフォルトの名無しさん
2006/09/21(木) 00:06:400084デフォルトの名無しさん
2006/09/21(木) 00:07:56いいレス思いついた、と思ったら
書き込む前にまず他人に通じるかどうか考えようぜ。
0085デフォルトの名無しさん
2006/09/21(木) 00:29:15for(init; condition; update) {
// hogehoge
}
を
{
init;
while(condition) {
// hogehoge
update;
}
}
に書き換えるみたいなことは出来ないなぁ。
構文をごちゃごちゃするのは苦手ですよ。
0086デフォルトの名無しさん
2006/09/21(木) 01:24:28これは普通に通るけど、これじゃ駄目？
#define foaah(init, condition, update, hogehoge) init; while(condition){hogehoge update;}
void main(){
foaah(int i = 0, i < 10, i++, {cout << i << endl;});
}
00871
2006/09/21(木) 02:02:59おお、バイナリ、ありがたく使わせてもらいます。
EPP使って、Javaの文法追加して遊んだことはあります。
Ｃ言語において、
引数のカンマは演算子等の問題で明確に分離するために存在しています。
演算子を使える場合でも、他に、()を使って分離する方法もあり、
haskellやocaml等の関数型言語で使われています。
S式 (a 1 -1)
C言語 a(1,-1)
haskell a 1 (-1)
groovy a 1,-1
といった感じです。
次に考えたいのが、カンマを使って分離する場合に、どのような文法が考えられるかです。
列挙したいと思います。
00881
2006/09/21(木) 02:04:51(a b (c) ()) -> a(b,c(),())
長所．１つのデータの表現は１つ
短所．編集する際後ろのカンマを最後に消さないといけない
２）カンマはセパレータであるが、最後に書いても良いもの
(a b (c) ()) -> a(b,c(),()) or a(b,c(),(),)
長所．編集する際に楽
短所．１つのデータの表現に複数の表記が存在する。
３）カンマはターミネータである。
(a b (c) ()) -> a(b,c(),(),)
長所．編集する際に楽
短所．余計な文字が増える。
４）カンマは名前なしカッコの前に書くもの
(a b (c) ()) -> a(b c() ,())
長所．必要最小限のカンマですむ
短所．a( ,( ,() ))これがみやすいとはいえない。
５）カンマはセパレータで名前なしカッコの前に書くもの
(a b (c) ()) -> a(b c() ,())
長所．必要最小限のカンマですむ。３と比べa((()))と書ける。
短所．カンマを分かりやすくするために使えない。
６）カンマはセパレータで名前なしカッコの前には必ず必要で他はあってもなくても良いもの
(a b (c) ()) -> a(b c(),()) or a(b, c(), ())
長所．カンマを分かりやすくするために使える。
短所．データを単一の表記で表せない。
７）カンマはセパレータ、あるいはターミネータで名前なしカッコの前には
必ず必要で他はあってもなくても良いもの
(a b (c) ()) -> a(b c(),()) or a(b, c(), ()) or a(b, c(), (),) or a(b c(), (),)
長所．カンマを分かりやすくするために使える。
短所．データを単一の表記で表せない。
008947
2006/09/21(木) 02:22:16そう。それは通る。
だからこそ、Ｃ式が必要なのではないか、って話になるんです。
つまり、最終的には、foaah(init, condition, update, hogehoge) のような形式で全部書けないか～って話ですね。
もっとも、結論から言えば書けることは自明なのですが、
{ ～ } とかで見やすくなっているのを損なわずに～となると、また難しく。
009047
2006/09/21(木) 02:34:45マクロに関して言えば、全ての構文要素がマクロによって書き換えられることを期待した文法が欲しいんです。
確かに Java の OpenJava とか .NET の CodeDom とかでソースコードの DOM 木を改変することは今でも出来ますけど、
Java も C# も、構文要素は Lisp に比べて遥かに多く複雑で、OpenJava も CodeDom も文法拡張に難がありますから。
ということで、>>1 の求めているものとは異なるかもしれませんが、
そういう意味で、俺は意味や可読性を損なわないレベルで簡潔な汎用文法が欲しいんです。
009186
2006/09/21(木) 03:25:29現状の何について不満を感じているのかが分からない。
マクロを適用した後の
foaah(int i = 0, i < 10, i++, {cout << i << endl;});が
for(int i = 0; i < 10; i++){cout << i << endl;}
と違う形になってしまっていること？
実は実際に「C風の構文で構文木をいじるマクロを実装すること」をテーマに言語（Dへのトランスレータ）を作ってて、構文は
function(int check, (int x), {
if(x < 10, {
return(2)
}, if(x < 20, {
return(3)
}))
});
というような形に行き着いたのだけど、ここまでしてもCのマクロに勝てる要素無いんだよね。
この言語でできることはCのマクロでもできる。
Schemeにある再帰マクロとかは単にマクロ自体の機能で、実装するなら構文木をいじらずともトークン列をいじくったほうが分かりやすいし多言語にも応用が利く。
実際に作ろうとした立場からは、C式はいらないという結論に達してしまったわけで。
009247
2006/09/21(木) 04:03:01Ｃのマクロに、処理能力的な面で勝つ必要もないんじゃないかなぁ。
むしろ >>91 の "}, if" の "," とか、"}))" をどれだけの人が受け入れてくれるのか、っていう表記的な話になるのでは。
……処理能力的な面でもＣのマクロに不満は残るけどね。
Ｃのマクロは単なるパターンマッチだから、『プログラム変換』というレベルには手が届いていないような気がするんで。
余談だけど、>>91 を Io で考えると
setSlot("check", method(check, x,
if (x < 10, return 2)
if (x < 20, return 3)
))
なんていう、とても素直な形になっていたり。
0093デフォルトの名無しさん
2006/09/21(木) 04:38:54何度も言うが10回ぐらいC言語の仕様書を読め。
関数呼び出しと初期化式のカンマの扱いを混同してるんじゃないか。
Cを知ってる奴ならそんな発想は出てこない。
引数の数の扱いはもっと神聖なものだ。
そんな無知を無神経にさらけ出す奴の気持ち悪い公開オナニーを見せられる身にもなってみろ。
0094デフォルトの名無しさん
2006/09/21(木) 07:38:41お前の脳味噌、それだけ？
00951
2006/09/21(木) 19:47:43混同しているのではなくて、
Ｃ言語において、関数呼び出しと初期化式（配列ですよね）が
違うことは知ってます。初期化式はデータをコピー＆ペースト
で書きやすくするために最後にカンマがついていても良いんですよね。
しかし、Ｃ式においては、関数呼び出しや、配列の初期化などはないのです。
あるのは、()[]{}などのカッコと名前つきのカッコなどなのです。
[]内で、最後のカンマは省略してもしなくてもよく、()内ではカンマが省略不可
等としたくないのです。Ioもそうなってるっしょ。
違うことは知っていますが、同列に扱って、
文法をより単純かつ一般的にしたいのです。
なんとなくの考えでは、最後に
カンマやセミコロンはつけても付けなくても良いとするのが
よいと思ってますが、理由がなんとなくなので、気持ち悪いんです。
全件あたって、これが良いのだという結論を出したいのです。
00961
2006/09/21(木) 19:54:42う、痛いところつかれたなぁ。
確かにマクロはリードマクロとして
トークン列のパターンマッチで出来ちゃうしシンプルになるんですよねぇ。
それがDylanやNemerleなわけで、、、。
しかし、文法が複雑、ウギャース、死亡ってかんじなんですよね。
①いわゆるシンタックスシュガーは、
全部、リードマクロにより実装するようにしてしまい、
演算子などはまったくない言語を作ってしまう。
②もうちょっと考えて、演算子とカッコ、コメントまで面倒見る。
っていう２通りの考え方があると思ってるんです。
で、①を突き詰めるとＳ式で良くなってしまうと思うのです。
そうすると、②の出来るだけ標準化できるところは標準化しておく
方向性を突き詰めたほうが良いように思うわけです。
ってわけで、やっぱり、ある程度大きい汎用な文法が欲しいんです。
それを使って、開発環境のピロピロをやったりして遊びたいんです。
さらに、関数一覧作ってみたり、論理型言語に適用してみたり。
関数型言語作ってみたり。
009747
2006/09/21(木) 20:08:340098デフォルトの名無しさん
2006/09/21(木) 20:41:21つーかさっさとプロトタイプ作って試してみればいいじゃん。
LISPやSchemeなら30分もあればできるっしょ。
どれが使いやすいかなんて感覚的なものは試してみないとわからんし、
自分がいかに糞な物を作ろうとしてるかはっきりわかるよ。
0099デフォルトの名無しさん
2006/09/21(木) 23:14:31Nemerleのマクロって複雑かな？
俺は、あまりに簡単で感動した口なんだけど
Nemerle触る前にOCamlのマクロと格闘してたせいかな
0100デフォルトの名無しさん
2006/09/21(木) 23:57:19名前しか聞いたことなかったけど、今見てみると確かに強力そうだ。
んー
例えば、メソッド Bar の前に Foo が呼び出されているかどうかチェックするプログラムみたいなのって、
Nemerle のマクロで実装可能？
01011
2006/09/21(木) 23:58:32文章を書くことは下手だから、混同している可能性はありますね。
>>98
ここ数年、
何回も、作っては壊し、作っては壊ししてますよ。
それで、シンプルにすることがとても難しいことを実感しています。
しかしながら、完成すれば素晴らしいものが出来上がると確信しています。
>>99
Nemerleの文法が複雑ってだけで、マクロはシンプルに使えますね。
で、<[と]>でくくる、クォートの実装が結構複雑ってかんじです。
構文木を出力する構文木を作る構文ってなかんじになってて。
Lispのクォートみたいに出来るだろうって思ってます。
010247
2006/09/22(金) 00:06:52private void function(tarai, x, y, z,
if (x <= y,
return y,
tarai(tarai(x - 1, y, z), tarai(y - 1, z, x), tarai(z - 1, x, y))
)
)
このプログラムを実行する、と。
……シンボルは扱えた方が良いな。
01031
2006/09/22(金) 00:17:23Ｃ式では、カッコは左にくっつくことを考えています。
C式 -> S式
() -> (@paren)
[] -> (@array)
{} -> (@block)
a -> (a)
1 -> (1)
a() -> (a (@paren))
a(1) -> (a (@paren (1) ))
a(1,2,3){} -> (a (@paren (1) (2) (3)) (@block))
a(1,2,3){4,5,6} -> (a (@paren (1) (2) (3)) (@block (4) (5) (6)))
a(){}[] -> (a (@paren) (@block) (@array))
リストをそのまま内部表現として使うと無駄が多いので
内部のデータ構造はD言語で書くと
class Atom{...}
class Identifier : Atom {...}
class String : Atom {...}
class Int : Atom {...}
class Float : Atom {...}
class Tree {
Atom id;
Tree[] tree;
}
ってな感じになることを考えています。
0104デフォルトの名無しさん
2006/09/22(金) 15:45:43発想がsapidやxciとかとそっくりじゃないか。
サーベイもちっとしてからの方がいいんじゃね？
0105デフォルトの名無しさん
2006/09/22(金) 16:15:50いまゲームで使ってるスクリプトは、ネームスペース指向です。
with Hoge {
with Moge {
Foo = 1234
}
}
Test = Hoge.Moge.Foo = 1234
みたいな感じで使います。
参考にはならんか。
squirrelみたいに、したいんだけどな。
配列内で、名前空間使えるようにしたいんだけどなあ
0106デフォルトの名無しさん
2006/09/22(金) 16:16:22Test = Hoge.Moge.Foo
まちがった
0107デフォルトの名無しさん
2006/09/22(金) 16:31:55soopy を思い出す
01081
2006/09/22(金) 18:21:13sapidやxciですか、ありがとうございます。調べてみます。
ああ、もういいかげん、いろんな言語、見るの飽きてきたですよ。
(;_;)うおーん
01091
2006/09/22(金) 18:47:14sapidってどの変で、汎用データ形式が出てくるのでしょうか？
I-model? P-model? C-model? SDB?
それともそれ以外？
xciは、cをxmlにして弄るもののようですが、、、。
なにぶん独学でやってるもので、
ちょっと見ただけだと、どこらへんが発想がそっくりなのか分かりかねます。
0110104
2006/09/22(金) 21:53:14I-modelのことを考えてた。
発想がそっくり、というのは、
>⑥Ｃ言語風のデータ形式を作ってＳ式のパーサ＋αくらいでパース出来るようにしてしまえ！
の部分。
データ構造として違うとか、S式とXMLは表現として違うとか、
そういうレベルで議論するなら、そんなに似てないけど。
0112104
2006/09/23(土) 01:07:45中の人じゃないけど、そろそろ特定されそうな感じなんで、チュートリアルで勘弁して。
ttp://www.sapid.org/html2/tutorial/tutorial-0.html
対象がJavaプログラムなのでちょっと違うけど、
sapidから派生した（？）Japidというのもある。こっちのチュートリアルの方がわかりやすいから、
雰囲気を知りたいだけならこっちがお勧め。
ttp://www.sapid.org/html2/Japid/Japid-Tutorial-0.html
01131
2006/09/23(土) 14:46:42チュートリアル見ても，残念ながらわかりずらかったです。
ＣＡＳＥツール用プラットフォームってことは分かったのですが。
こういった、ドキュメントって書くのも、読むのも、
難しいものなんだなぁと再確認した次第です。
ありがとうございました。
ＳＤＢはデータベースのデータの中身よりも、概念が重要で、
グラフを作成していろいろ利用しやすいようにしたりするもの
のようですね。
Ｃ言語やＪａｖａのパーサは用意してあるのだろうから、
とても、素晴らしく大規模なものだと思うのですが、
Ｃ式ではSapid等でやっていることを
出来るだけ小規模でやれたらっていう
感じのこと考えているのだと思います。
0114104
2006/09/23(土) 21:39:20このスレで他の人もさんざん言ってるけど、ソースコードをいじるための
データ構造や表現を考えるのは結構難しい。心してやってください。
ツールで何をしたいかわかってないと決められんこともあるし。
・・・って当たり前のことを書いてるな俺。
0115デフォルトの名無しさん
2006/09/24(日) 13:30:1501171
2006/09/24(日) 16:30:22現在は、１つの式として扱うようにしています。
例)
Tree t1 = parse("a,b;c;d");
foreach (Tree t2; t1.split(";")) {
foreach (Tree t3; t2.split(",")) {
t2.println();
}
printf("---\n");
}
a
b
---
c
---
d
といった感じで。
パースした段階で既に、セミコロンとカンマは分離してあったほうがいいのか、微妙です。
01181
2006/09/25(月) 05:05:14http://dokoka.sakura.ne.jp/cexp/
0119デフォルトの名無しさん
2006/09/25(月) 06:38:22ちょっとまてぇぇぇぇぇ!! なんかとんでもなく退化してるじゃねぇか？？
セミコロンとかカンマって単位で要素を操作すんの？例えば↓みたいな式
から関数だけ取りだすときはどーすんの？
"x = 10; f(x,x)+g(x,x^2);"
=, f, +, g, ^ の関数（演算子）を取り出すには？ 117 の例だとしぬほどダルそうなんだけど
0120デフォルトの名無しさん
2006/09/25(月) 14:06:2501211
2006/09/25(月) 20:18:29は
(@d
(= (x) (10))
(;)
(+
(f (@p (x) (,) (x)))
(g (@p (x) (,) (^ (x) (2)))))
(;))
と扱ってるのですが、
(;
(, (= (x) (10)))
(, (+ (f (@p (; (, (x) (x) ))))
(g (@p (; (, (x) (^ (x) (2)) ))))
)
))
となるといいかなぁ？どうなのかなぁという感じです。
0122デフォルトの名無しさん
2006/09/26(火) 07:52:33C コンパイラでもパース後にカンマやセミコロンなんて残らねーぞ
0123デフォルトの名無しさん
2006/09/26(火) 07:58:180124デフォルトの名無しさん
2006/09/26(火) 08:56:24>>121を見て1に絶望した人は多いだろう
0125デフォルトの名無しさん
2006/09/26(火) 17:34:080126デフォルトの名無しさん
2006/09/26(火) 23:05:42(
"foo",
"bar",
"hoge",
@dictionary
{
( "key1" = "value1"),
( "key2" = "value2")
}
)
Cじゃなくてまた別のものみたいだ
01271
2006/09/27(水) 05:53:54とりあえず、Cシンタックスをもった、Schemeは作ったものがあるので
公開してみましょうか？？？
ライセンスどうするかが問題なんですけど。。。
NYSLでいいかなぁ。
一般的なデータ形式となると、
for(i=0,j=0;i<10;i++,j++)
くらいまで、扱えるようにしたいとなると、、、
２次元ですよね。
Ｃ言語はＢＮＦで意味をしっかり定義できるから、
関数呼び出しの場合はセミコロンはないとか、
for文の場合は、セミコロンは２つとか決められます。
しかし、汎用となると、そういった文法は決められません。
じゃあ、どうしたらいいのか？？？
っていうところでずっと悩んでるわけです。
どうやったら、シンプルになるのかなぁと。
01281
2006/09/27(水) 05:55:28["foo","bar","hoge", {key:"value1", key2:"value2"}]
が
S式だと
(@array "foo" "bar" "hoge" (@block (: key "value1") (: key2 "value2")))
として使えるイメージなのだけども、セミコロンとカンマの扱いがゴチャゴチャしてしまってる現状なので
(@array "foo" , "bar" , "hoge" , (@block (: key "value1") , (: key2 "value2")))
ってなってしまってたりするって感じです。
括弧がくっつく性質を考えると、
(@array ("foo") (,) ("bar") (,) ("hoge") (,) (@block (: (key) ("value1")) (,) (: (key2) ("value2"))))
こうすると扱いやすいのかなぁと。
ほんと、カンマとセミコロンうざいです。
@つけるのは、複数の括弧をS式とかで扱う場合の名前として使ってみたら
いいのではと思って使ってるのだけど、
とにかく、ドキュメントをしっかりしてかないとなぁ。orz...
このデータ構造に対して、簡単に扱えるようにするＡＰＩも考えないと
いかんよなとか、むずいです。
0129デフォルトの名無しさん
2006/09/27(水) 07:09:19(vector "foo" "bar" "hoge" (hash :key "value1" :key2 "value2))
01301
2006/09/27(水) 10:43:27ベクターとハッシュだけなら、それでいいけど
for(i=0j=0;j<10;,j++,i++){a();}
こういったものまであつかえない
0131デフォルトの名無しさん
2006/09/27(水) 12:24:28(for (init (i 0) (j = 0)) (cond (< j 10)) (update (++ i) (++ j)) (block (call a))
これじゃダメなの？
0132デフォルトの名無しさん
2006/09/28(木) 00:37:50> とりあえず、Cシンタックスをもった、Schemeは作ったものがあるので
> 公開してみましょうか？？？
今迄の例をみてるとあんま Scheme に詳しい感じはしなかったけどね
C Hacker なのか？それ define-syntax とかどんな感じになってんの？
01331
2006/09/28(木) 05:33:18プログラミング言語として、文脈自由文法を定義してパースするなら
それでいいけど、
プログラミング言語を作ることができる、
Ｃ言語風の汎用データを作ろうとしてるので、
initとかとかって判定を入れる必要はないのです。
01341
2006/09/30(土) 17:28:090135デフォルトの名無しさん
2006/09/30(土) 17:50:35一人でやってろよ。
0136デフォルトの名無しさん
2006/09/30(土) 18:44:16俺もわからん、誰か解説ヨロ。
01371
2006/09/30(土) 19:55:17それを使って拡張性の高いプログラミング言語作りたくて、
そのための話をしたいのだけど、どう話を進めたらよいかわからないので、
のたうちまわってる感じです。
Ｃ言語風の汎用データ構造を作って、
プログラミング言語作って、弄りまわしたいんです。
Ｃ＃や、ＪａｖａやＤ言語よりよりよい言語を作る基盤を作って。
ただの好みの話ではない話をしたいのだけども、
どういう議論をしたらいいかがわからないんです、、、。
0138デフォルトの名無しさん
2006/09/30(土) 20:23:23データの内部表現を問題にしているのか、
データの表記方法を問題にしているのか、
とりあえず、それだけでもはっきりさせてくれないか？
0139デフォルトの名無しさん
2006/09/30(土) 20:25:09ついでに３つ。
１：既存の言語の何が問題で、
２：どのようなものを新しく作れば、
３：何が出来るようになるのか
答えてくれ
0140デフォルトの名無しさん
2006/09/30(土) 22:18:06ただ、読んでていらいらするのは確かだと思う。
どこが面白いのか、どうすごいのか、何が新しいのか、
何でもいいから伝わるような説明をして欲しい。
とはいえ、そういう説明がすらすらできるようなら、
こんなところじゃなくて、お金くれる人の前で
プレゼンしたら？という気もするが。
0141デフォルトの名無しさん
2006/09/30(土) 23:45:45>>138 に同感。>>1 が何に迷っているのかが分かんない……。
0142デフォルトの名無しさん
2006/10/01(日) 07:28:12横からすまんけど、 131 の例なら
(setq expr '(for (init (i 0) (j 0)) (cond (< j 10)) (update (++ i) (++ j)) (block (call a)))
初期化部: (assoc 'init (cdr expr)) => (init (i 0) (j 0))
条件部: (assoc 'cond (cdr expr)) => (cond (< j 10))
更新部: (assoc 'update (cdr expr)) => (update (++ i) (++ j))
...
のように一発でアクセスできるじゃん。その C 式とやらはどんな表記でメリットは何なの？
01431
2006/10/01(日) 14:06:04悩んでるのは議論の進め方です。
ああだこうだ、頭の中でスパゲッティ状態なので、まとめたいのだけど
まとめられない。
迷っている点を箇条書きしたらいいんでしょうかねぇ
01441
2006/10/01(日) 14:08:57a(b(),c+1;d,e;;;f){g;}
たとえば、こういった式もパースできます。
文法に縛られない単なるデータとして扱えることがメリットです。
0145デフォルトの名無しさん
2006/10/01(日) 14:13:280146デフォルトの名無しさん
2006/10/01(日) 15:59:490147デフォルトの名無しさん
2006/10/01(日) 19:52:06－－終了－－
ってことで
0148デフォルトの名無しさん
2006/10/02(月) 00:47:24まずは、議論したいことを箇条書きで書きなさいな
それから、サンプルコードを見せて欲しい。
ためしに↓をＣ式で書くとどうなる？
int tarai(int x, int y, int z) {
if (x <= y)
return y;
else
return tarai(tarai(x - 1, y, z), tarai(y - 1, z, x), tarai(z - 1, x, y));
}
void main() {
printf("%d", tarai(20, 5, 1));
}
仕様がまとまりきっていなくても良いから、提示して欲しい。
0149142
2006/10/02(月) 01:38:25そりゃ外部表記だろ？誰もパースできるとかできないの話はしてない。
そうじゃなくて内部表現で >>133 でいってた
> initとかとかって判定を入れる必要はないのです。
の意味がわからんって事。>>131 のほうが操作しやすいじゃん。
0150デフォルトの名無しさん
2006/10/02(月) 01:53:22さりげなく壮大な計画へと発展している様に噴いた。
……まあ、がんばれ。
015147
2006/10/02(月) 02:09:35tarai := function(x, y, z,
if (x <= y,
y,
tarai(tarai(x - 1, y, z), tarai(y - 1, z, x), tarai(z - 1, x, y))
)
)
main := function(
printf("%d", tarai(20, 5, 1)
)
内部的には
define(tarai, function(x, y, z, if(<=(x, y), y, tarai(tarai(-(x, 1), y, z), tarai(-(y, 1), z, x), tarai(-(z, 1), x, y)))))
define(main, function(printf("%d", tarai(20, 5, 1))))
……だけど、再帰関数が上手く動くのかは不明。
01521
2006/10/02(月) 05:31:53tarai: (x:int; y:int; z:int) {int} = {
if (x <= y) {
y
} else {
tarai(tarai(x - 1; y; z); tarai(y - 1; z; x); tarai(z - 1; x; y))
}
}
main : (){} = {
printf("%d"; tarai(20;5;1))
}
内部的には
(@disable
(= (: (tarai) (@paren (: (x) (int)) (;) (: (y) (int)) (;) (: (z) (int)) (@block (int))))
(@block
(else (if (@paren (<= (x) (y)) ) (@block (y)) )
(@block (tarai (@paren (tarai (@paren (- x 1) (;) (y) (;) (z))) (;)
(tarai (@paren (- y 1) (;) (z) (;) (x))) (;)
(tarai (@paren (- z 1) (;) (x) (;) (y))) ))))))
(= (: (main) (@paren) (@block)) (@block
(printf (@paren ("%d") (;) (tarai (@paren (20) (;) (5) (;) (1)))))
)))
な感じ。
01531
2006/10/02(月) 05:34:46@disable(
@=@( @:@(tarai @paren( @:@(x int) @; @:@(y int) @; @:@(z int) @block(int)))
@block(
@else@( if( @paren( @<=@(x y) ) @block(y) )
@block( tarai( @paren( tarai( @paren( @-@(x 1) @; y @; z)) @;
tarai( @paren( @-@(y 1) @; z @; x)) @;
tarai( @paren( @-@(z 1) @; x @; y)) ))))))
@=@( @:@(main @paren @block) @block(
printf( @paren( "%d" @; tarai( @paren(20 @; 5 @; 1))))
)))
0155デフォルトの名無しさん
2006/10/02(月) 07:08:52するってのは激しく珍しいかもしれんが・・
0156デフォルトの名無しさん
2006/10/02(月) 22:56:13なんじゃそれ。もう「C式」と呼べるような代物じゃないじゃん。
お前さぁ、当初の目的を見失ってるんじゃねーの？
S式がイヤなのは「Cライクじゃないから」だろ？
じゃーCとかけ離れた時点で、もはや利点が無いのは明白。
そんなの使うぐらいならS式使うわな。
01571
2006/10/03(火) 22:40:01・括弧が左にくっつく性質を考える前に、
名前付き括弧とカンマのみのものをきっちり考えるべきなのではないか？
・カンマとセミコロンの扱いをどうすれば単純になるのか？
・完全な可逆性を保つか保たないか。
コメントや、行や位置を完全に復元できるようにするかどうかということ。
どこまで復元できるようにするか。
・演算子は定義できたほうがよいのか、固定されていたほうがよいのか？
・演算子を定義できるようにする場合の優先順位はどうするか？
・リードマクロを使った場合に、元の形に自動で戻すための方法論がわからない。
・仕様作成にあたって考えたことのドキュメントと、仕様の大枠がうまく作れない。
01581
2006/10/03(火) 22:54:1047さんの考えているもののほうが、わかりやすいですよねぇ。
:=演算子はdefineという関数を呼び出しているだけの意味で、、、。
っていうIo言語的ですよねぇ。
例だと、引数リストが何処までか、わからない気がしますが。
0159デフォルトの名無しさん
2006/10/03(火) 22:57:27出来れば、３項演算子みたいなのも定義できるようにしたいところ
\ prmlist => expr
みたいな演算子作って
\ x y => x + y
みたいなラムダ式作りたい
0160デフォルトの名無しさん
2006/10/03(火) 23:02:05この際、表記ではなく内部表現にこだわってみては如何か。
.NET Framework の CodeDom には触ったことありますか？
ちなみに、Io では method メソッドに渡された引数の
一番最後のものが式として実行されるメッセージになってるっスね。
method(x, y, x + y)
みたいな
0161デフォルトの名無しさん
2006/10/03(火) 23:04:30>この際、表記ではなく内部表現にこだわってみては如何か。
･･･じゃあLispでいいだろ
01621
2006/10/05(木) 00:21:08考えているので、内部表現も、表記もどっちも大切なんですよねぇ。
リードマクロとか、Ioなどのシンタックスシュガー的な表記は
不可逆になりそうなので、そのへんどうなのかなと。
Schemeのシンタックスマクロ的なものを書いておけば
リードマクロ＋ライトマクロ（そんなのあるのかどうかは知らない）
が自動でうまいことできてくれるといいのかなぁ。
ＢＮＦがあれば、パーサが出来るけど、シリアライザもいっしょに出来る
って感じのものあるのかしら。
>>159
とりあえず、今までは定義は自分でするように作ってみてきてます。
問題は字句解析でどう、オペレータの字句を解析しようかっていう所だったりしてます。
３項演算子はＣだと１つしかないから無しってことにしてます。
演算子の定義を単なるリードマクロで実現できるといいんだろうなぁと
漠然と思ってます。
a(b(),c)っていう表記が出来るだけ＋
リードマクロっていう構成で言語を構築したらどうなるのかなと。
リードマクロが強力で優先順位を持った演算子の定義とかできちゃうとか。
01631
2006/10/05(木) 01:01:49名前付き可変長配列
だと、扱いやすいと経験上思います。
名前付きリストのほうがいいかもしれませんがわかりません。
ただの配列(JavaScriptのArray)だと扱いにくかったです。
関数を用意すればいいんだけど、
関数をいちいち通すってことは遅くなるって事だと思います。
名前付き配列として扱う場合にConsセグの拡張として考えると、
よくわからない、数学の世界みたいなのが広がっていってしまって困ります。
List(1,2,3 ... 4)
が
S式の(1 2 3 . 4)
に相当するように出来るんじゃとか。
List(1,2,3 ... 4)は
Cons(1, Cons(2, Cons(3, 4)))
の略だとか、何とかから始まって。
Consは２つしかデータ持たないけど
C(1,2,3)っていう風に３つ以上持てる場合も拡張して考えてくと。。。
016447
2006/10/05(木) 22:05:25if (x <= y)
return y;
else
return tarai(tarai(x - 1, y, z), tarai(y - 1, z, x), tarai(z - 1, x, y));
}
main := function() {
printf("%d\n", tarai(20, 5, 1));
}
記法はこんな感じになった。
0165デフォルトの名無しさん
2006/10/05(木) 23:39:13s式みたいな単純さはどこにも見えないんだが。
0166デフォルトの名無しさん
2006/10/06(金) 00:39:32>>1 よ・・・おまえ List を理解してねーじゃねーか・・・
Cons(3, 4) は正規のリストじゃねー。
(list 1 2 3 4) => (cons 1 (cons 2 (cons 3 (cons 4 ())))) だ。
悪い事はいわん。S 式をちゃんと勉強するか、 S 式の名前を出すのをやめろ。
>>164
↓下の JavaScript の代入が = から := になっただけじゃねーかそれ
tarai = function(x, y, z) {
if (x <= y)
return y;
else
return tarai(tarai(x - 1, y, z), tarai(y - 1, z, x), tarai(z - 1, x, y));
}
016747
2006/10/06(金) 01:02:43だけじゃないかというより、出来るだけ似せて作った。
ただ := と = は意味的に大きく異なる予定。
:= はコンパイルタイム代入だけど、= はランタイム代入のつもりだったり。
0168デフォルトの名無しさん
2006/10/06(金) 01:12:04JavaScript の構文をもった別の言語をつくるって話？
1. JavaScript 構文
2. コンパイルタイムとランタイムを区別する
ここまでは理解したよ。今のところあんまりメリットがみえないが……
016947
2006/10/06(金) 02:02:36JavaScript には、たまたま似ただけ。厳密に合わせるつもりは無いです。
>>1 さんとは異なりますが、俺が考えているのは 『コンパイル時に CodeDom をごちゃごちゃ弄れる機構』 ですね。
構想としては、C 風の構文を持つ XML + XSLT っぽい仕様を作って 『外部からのソース改変』 と、
コンパイル時計算を使っての 『内部からのソース改変』 を実現できれば良いかな、と。
01701
2006/10/06(金) 02:18:54gosh> (cons 1 (cons 2 (cons 3 4)))
(1 2 3 . 4)
gosh> (cons 1 (cons 2 (cons 3 (cons 4 ()) )))
(1 2 3 4)
gosh> `(list 1 2 3 . 4)
(list 1 2 3 . 4)
gosh> `(list 1 2 3 4)
(list 1 2 3 4)
ですよね。
C言語風のシンタックスで使われる...をＳ式のドット対に対応させたら
いいんじゃないかって話をしたかったんですが。
01711
2006/10/06(金) 02:35:34S式ほど単純にはならないと思います。
表現力が上がれば上がるほど複雑になってしまいますから。
それを、できるだけ、単純に、見た目から構造が理解できるレベルに
落とし込もうと努力しているわけです。
どうも、S式とM式のように、
内部表現はCS式
外部表現はCM式みたいに２つ用意したらいいのかなぁとか、思ってきました。
>>164
47さんが考えてる言語の記法をパースする際には
普通にJavaScriptのBNFを書くようになるのでしょうか？
それとも違うのでしょうか？
>>169
コンパイル時に構文木を弄りたいし、
XML+XSLTみたいなものも作りたいです。
017247
2006/10/06(金) 02:48:40＞普通にJavaScriptのBNFを書くようになるのでしょうか？
基本的には
line = msg ";"
msg = IDENTIFIER ["(" [msg ("," msg)*] ")"] (line | "{" line* "}")
この２行。あとリテラルと演算子が入るけど。
ただ、
if (flag)
expression01;
else
expression02;
みたいな文では、msg が２つに分かれちゃうから……どうしようかな、とは考えていたり。
017347
2006/10/06(金) 02:50:1201741
2006/10/07(土) 13:32:56else がmsgを結ぶ2項演算子としてうまく定義できればいいのかなぁ。
そこらへんが凄く重要だと思いますよ。
if(flag){expression01;}else{expression02;}
と書けるけど、
if(flag)expression01; else expressoin02;
は無理っていうのも1つの手かなと思いました。
017547
2006/10/07(土) 13:51:17if (flag01) if (flag02) expr01;
else expr02;
になっちゃうのが問題。できれば
if (flag01) { if(flag02) expr01; else expr02; }
にしたいところなのです。
017647
2006/10/07(土) 13:54:31if flag01 then expr01;
if flag01 then expr01 else expr02;
if flag01 then if flag02 then expr01 else expr02;
01771
2006/10/08(日) 10:10:43if(flag01){
if(flag02){expr01;}
else{expr02;}
}
あるいは、
if(flag01) expr01;
if(flag01) expr01 else expr02;
if(flag01) if(flag02) expr01 else expr02;
と書くようにするとよいのでは？
017847
2006/10/08(日) 12:52:35if (flag01) if (flag02) expr01;
else expr02;
は
if (flag01 && flag02) expr01;
else expr02;
と等価だから、アリっつーちゃえばアリかもしれない。
01791
2006/10/08(日) 13:35:00四則演算しかできませんが。
var program = {
body:{
body:["+", "x", ["/", "y", 2]],
x:["add", 1, "y"],
y:["mul", 4, 5],
add:{
args:["x","y"],
body:["+", "x", "y"]
}
},
mul:{
args:["x","y"],
body:["*", "x", "y"]
}
};
alert(eval(program, program));
以上のプログラムで、
mul = function (x, y) { return x * y; }
function body(){
add = function (x, y) { return x + y; }
y = mul(4,5);
x = add(1,y);
return x + (y/2);
}
alert(body());
と同様と
0180デフォルトの名無しさん
2006/10/08(日) 13:40:3201811
2006/10/08(日) 15:46:49if (!isNaN(p))return p;
if (p instanceof Array) {// 関数適用
switch(p[0]) {
case "+": return eval(p[1], env)+eval(p[2], env);
case "-": return eval(p[1], env)-eval(p[2], env);
case "*": return eval(p[1], env)*eval(p[2], env);
case "/": return eval(p[1], env)/eval(p[2], env);
}
var envs = getEnv(p[0], env);
for(var i = 0; i < envs[0]["args"].length; i++) {
envs[0][ envs[0]["args"][i] ] = eval(p[i + 1], env);
}
envs[0]["parent"] = envs[1];
return eval(envs[0], envs[1]);
}
if (p instanceof Object) {
p["parent"] = env;
return eval(p["body"], p);
}
var envs = getEnv(p, env);
return eval(envs[0], envs[1]);
}
function getEnv(p, env) {
while (env != null) {
if (env[p] != null)
return [env[p], env];
env = env["parent"];
}
}
これが処理系です。
0182デフォルトの名無しさん
2006/10/10(火) 00:53:34C言語風にはとても見えない。
というか、1が何をしたいのかまたわからなくなった。
0183デフォルトの名無しさん
2006/10/10(火) 08:17:53禿同。つーか1はプログラミング言語を作りたいんだっけ？
それともJSON言語は唯の思考実験？
0184デフォルトの名無しさん
2006/10/10(火) 16:19:49と、いろいろやってみて思う今日この頃
0185デフォルトの名無しさん
2006/10/10(火) 19:58:450186デフォルトの名無しさん
2006/10/11(水) 22:58:110187デフォルトの名無しさん
2006/10/15(日) 01:54:4301881
2006/10/18(水) 03:42:32思考実験てなかんじです。
JSONを参考にしてみたらってのがあったのと、
YAMLをプログラミング言語として作ったYAMPってのを
作ってた人いたなぁ思って。
飽きてないけど忙しくて、、、。
なんというか、自作のプログラミング言語を作る場合に、
:は命名演算子として扱うと何かとすっきりするんじゃないかなぁと
言う考えがあったのだけども、JSONのハッシュというか連想配列は
まさにそれだなぁと思ったので作ってみたのです。
JSON等の発展形として、配列あるいはリストと連想配列と演算子、名前付き括弧
というのもありなのかなと思ったので書いたけど混乱するだけでしたねぇ。
01891
2006/10/19(木) 06:26:22Ｃ式の基本は;区切りで複数の式が書かれる。プログラム全体は`@file`()である。
括弧は無名の括弧 () あるいは、名前付きの括弧 name() が存在する。
[]は`[@]`、{}は`{@}`という名前の演算子として扱われる。
[]は`[@]`()であり、a{b;c}は`{@}`(b;c)である。
２項演算子の+は`@+@`という名前の演算子として扱われる。
1+2は`@+@`(1;2)である。
左再帰の２項演算子=は`@@=@`という名前の演算子として扱われる。
a=bは`@@=@`(a;b)である。
前置単項演算子の++は`++@`という名前の演算子として扱われる。
++iは`++@`(i)である。
後置単項演算子の++は`@++`という名前の演算子として扱われる。
i++は`@++`(i)である。
連続する括弧は最初に@のついた名前で扱われる。
例えば()()は(`@(@)`())であり、a[1][2][3]は`a[@]`(1, `@[@]`(2, `@[@]`(3)))
である。
Ｃ式においては、演算子の優先順位を１０段階で決めることが出来る。
例えば、２項演算子の+の優先順位を3としたいときは、priority("@+@"; 3)と書く。
C式において、区切り文字が,ではなく;となっているのは,はより優先順位の高いセパレータないし、
演算子として扱うことを出来るようにするためである。
main:function(a;b;c){
printf("hello world\n");
}
は
priority("@@:@", 3);
`@@:@`(main; function(a; b; c; `@{@}`(printf("hello world\n"))))
である。
0190デフォルトの名無しさん
2006/10/19(木) 08:39:18続きはblogで！
0191デフォルトの名無しさん
2006/10/20(金) 02:32:5501921
2006/10/20(金) 04:27:42main:function(a;b;c){
printf("hello world\n");
}
は
priority("__:_", 3);
`@@:@`(main; function(a; b; c; `_{_}`(printf("hello world\n"))))
なかんじで。
0193デフォルトの名無しさん
2006/10/20(金) 05:45:49http://www.digitalmars.com/d/archives/digitalmars/D/13546.html
0194デフォルトの名無しさん
2006/10/20(金) 05:50:57>>1は２年も前からこんなこといってるのに、この程度の成果しかできてないなんてw
01951
2006/10/22(日) 09:31:21たしかセバスチャンって人が作ってるんですよね。
>>194
悪かったね。それだけ、多くの人に納得してもらえる、
単純なものを作ることが難しいってことなんだと思ってます。
この程度の成果って言われるってことはそれだけ簡単ってことなので、
誉め言葉として取っておきますよ。
0196デフォルトの名無しさん
2006/10/22(日) 10:47:52>>1 「凄い言語ダヨ。Groovy 見た時 C みたいな言語良い思たヨ。
俺は C が好き。D のプリプロセッサにD を sofu 形式にして
マクロでプログラ(ry」
セバスチャン「何いってんのかよくわかんないけど sofu を勘違いしてない？
これは INI とか XML みたいな単なるデータフォーマットで
プリプロセッサなんてないよ。ほんとに sofu 形式から D の
プログラムを生成したいならおもしろいかもね。でもそゆ方向
は目指してないよ :) 」
>>1 「いや俺は sofu がデータフォーマットだってのわわかってるよ。
でもこれで D を表現してプログラ(ry」
会話が噛みあってないとことか、利点がまったく説明されてないあたりが進歩
がないといわれる所以ではないか。 「D -> なんかのデータ形式 -> マクロ処理 -> ...」
だけじゃ何がうれしいのかさっぱり見えないよ。
0197デフォルトの名無しさん
2006/10/22(日) 11:01:350198デフォルトの名無しさん
2006/10/24(火) 19:24:26トレードオフとして絶対人に優しくはならないけどw
c 式？にもそういう意味付けがないと全然魅力が伝わらないと思うぞ
01991
2006/10/25(水) 02:33:00かみあってなかったですねぇ。
只のデータフォーマットですもんね。sofuは。
進歩ないってのはそのとおりなので困ってますよ。
どうしたものだか。orz...
利点は、Ｃ式を理解さえしていれば、見た目から構文木やS式が想像できる点です。
だから、ずっと、できるだけ想像しやすいものを考え出そうとしています。
Ｓ式でいう演算子と非演算子を分けて表記することで、人に優しい。
とかですね。ちゃんとまとめていかないとなぁ。
0200デフォルトの名無しさん
2006/10/25(水) 02:36:510201デフォルトの名無しさん
2006/10/25(水) 23:50:49S式使えばいいんじゃね？
0202デフォルトの名無しさん
2006/10/26(木) 00:14:22見た目＝構文木となっていて、他のものを想像する必要が無いのがS式の利点なわけで、
C式見た目＝構文木でないと意味が無い。
0203デフォルトの名無しさん
2006/10/26(木) 13:18:46つーか1の考えるキチガイ仕様を見せられる度に思うことだが、
C言語まんまの方がイイだろ。
LISPのマクロやquoteの様な合理性は10年掛けても無理だ。
02041
2006/11/01(水) 05:47:00(- (+ 1 2) 3)と書くよりは -(+(1,2),3)
２．括弧は複数使えたほうがわかりやすい
(define a (lambda (b c) (+ b c)))
よりも例えば
{define a [lambda (b c) (+ b c)]}
のほうが見た目で対応がわかりやすい。
３．演算子の優先順位を持たせてあったほうがわかりやすい
(+ 1 (* 2 3))よりも、1+2*3
これだけのものを、実現するためのものを考えているのです。
そのために、キチガイじみて見えるかもしれませんが、いろいろな
仕様を考えてみているのです。
現状のＣ言語とＳ式で不満がないなら、このスレを見る必要はないでしょう。
0205デフォルトの名無しさん
2006/11/01(水) 09:13:22２も３も「よりよい」とは言えないだろ
単純さという強力な利点を犠牲にしてるから
１は意味不明
２は括弧が深くなったらどうすんだ？だいたいlisp書くとき括弧なんて視覚から消えてるよ
0206デフォルトの名無しさん
2006/11/01(水) 10:02:47ひとまとまりのものはひとまとまりに括弧でくくられてる方が自然。
リストは括られていて、関数呼び出しは括られていない、という不統一は、
構造の把握を困難にする。
S式では、その構造の分かりやすさを持ちつつも、関数呼び出しと単なるデータとしての
リストを、それの使われ方で区別していた。
C式でそれを実現するために上述の自然さを単に犠牲にするのでは、退化ではなかろうか。
2.
文法上の機能に違いがないものを異なる記号で表現されると分かりにくい。
S式の場合は、インデントを使って整形したりして対応を判別しやすくするわけだが、
どうせC式でも複雑な対応ではインデントを使うだろうから、単純に無駄で使いづらい
仕様ではないか？
(括弧の深さを一段ずらすと、すべての括弧を修正しなければならなくなったり)
3.
優先順位という追加の知識を必要とするのは、記述も実装も間違えやすい。
構造として明示されている場合は、間違えようがない。
(知識が確かな書き手にとっては、わかりやすいと思う。ただ、そのわかりやすさは
分かりにくい前提知識を確かに把握するという前提を乗り越えて得られるもの。)
S式に不満があるかないかを別にしても、提案するアイデアに合理性が欠けている
と思う。「使いやすい」というのが思い込みではないと確認するために、自分で仮の言語で
数百行くらいのコードを試し書きしてみたらどうだろうか？
同内容のコードを、他のデータ形式と比較してみるとなおよいと思う。
0207デフォルトの名無しさん
2006/11/01(水) 21:35:1602081
2006/11/03(金) 12:40:24また、括弧の連結などもいったん捨てましょう。
C言語でいうところの、関数呼び出しや、関数型言語のバリアント型みたいなやつ
に焦点を絞りたいと。
a(1,2,3,b(4,5,6),(7,8))といった記述ができるだけの言語を考えたいと。
１．リストには名前がつくほうが自然である。
物事の構造を理解するにあたって、
名前とそれに関連する事項を対としてリストアップするのが自然です。
例えば、ファイルや、全人類を把握する構造を考えてみましょう。
ディレクトリには名前がついているし、住所にも名前がついています。
ディレクトリ名を入れる特殊ファイルを用意してそのファイルの名前がディレクトリの名前とすることも出来たでしょう。
しかし、実際はそうなっていないのではないでしょうか？
全てを単なるリストとして理解するほうが不自然です。
単なるリストとして記述すると短く書くことが出来ますが、わかりにくくなります。
リストは"リスト"という名前があります。
より一般的な記述が出来るようにするには、名前付きの括弧と括弧の混在が可能な
言語を選択するとよいと言えると思います。
２．Ｃ式はわかりやすさと短さの両方の利点を持つ。
XMLは、名前付きの構造記述言語という意味ではS式より勝っています。
しかしＣ式に比べると、開始と終了時両方に名前を付けるため、助長です。
Ｓ式よりもＣ式、Ｃ式よりもＸＭＬがわかりやすいです。
変わりに、ＸＭＬよりも、Ｃ式が短く書け、Ｃ式とＳ式は同等の長さで記述できます。
0209デフォルトの名無しさん
2006/11/03(金) 13:58:25リストに識別子を割り当てることができる一方で、その場限りの構造について
いちいち特別に名づけることはせず、無名のリストで表現することは、合理的ですね。
Lispはそうなっていたと思います。
208で示すC式のように、構造の定義の途中にちょくちょく識別子の定義がなされるのは、
これは便利かもしれませんが、同時に、より複雑で分かりづらい定義になりますね。
それらの利点欠点がどう作用するか、データの具体的なコードと、その扱われ方の過程を、
見てみる必要がありそうです。
2.
Ｃ式では、識別子と要素の境界は括弧であり、要素の境界はカンマであり、それらで
要素の包含関係を示す構造が暗黙にあらわされるという形になっています。
識別子と要素の境界である括弧には閉じ括弧があり、これに名前がないことは、
XMLに比べて、冗長性が少ない代わりに、括弧の対応が分かりづらくなりがちだ
という難点があります。
Lispでは、関数名と引数の境界は空白であり、引数の境界も空白であり、構造は
括弧で無名のリストとして明示する形になっています。
Cのように、関数名と引数の境界と、引数同士の境界とで、いちいち区切りの
種類を変える必要がないですね。
(C式はデータ形式ですから、関数というか、マクロや型名などということになるん
でしょうが、同じことでしょう。)
やはり、C式にあるのは、利点だけではないです。勘だけで「利点が欠点を上回るから
あとは感性の違いだ」と言うくらいならわざわざスレを立てないでしょうから、具体例に
踏み込んで利点と欠点のバランスを示されるのが、議論として良い展開だと思います。
0210デフォルトの名無しさん
2006/11/03(金) 14:25:34c式、s式、xmlって比較対象がでてきたぽいから
0211デフォルトの名無しさん
2006/11/03(金) 14:38:26>また、括弧の連結などもいったん捨てましょう。
これはひどい
つか、それならS式の単純置き換えでOKじゃん
何に対して悩んでいるのか分からん
0212デフォルトの名無しさん
2006/11/03(金) 14:54:54こっちの話をしましょう」という意味で書いたんだと思うよ。話の上で
まず捨て置いて考えましょう、ということだろう。
0213デフォルトの名無しさん
2006/11/03(金) 15:03:11……って流れなのか？ よく分かって無いんだが。
0214デフォルトの名無しさん
2006/11/03(金) 16:05:18Ioじゃん
0215デフォルトの名無しさん
2006/11/04(土) 06:31:540216デフォルトの名無しさん
2006/11/04(土) 23:34:26まあ待て、今1が凄い勢いで議論しがいのある資料用意してるから
02171
2006/11/07(火) 00:40:52いや、実に参考になります。ありがとうございます。
頭悪いものなので、ゆっくり考えさせてください。
>>210
例）住所をツリー上に書く場合
Ｓ式
(日本国(○○県(○○市(○○区(○○ 1 2 3)))))
Ｃ式
日本国(○○県(○○市(○○区(○○(1,2,3)))))
ＸＭＬ
<日本国><○○県><○○市><○○区><○○><1/><2/><3/><○○></○○区></○○市></○○県></日本国>
Ｃ式とＳ式はほぼ同じ長さで書けます。
しかも、Ｃ式は名前と中身が分かれている分わかりやすいです。
ＸＭＬは長いけど、名前が最初と最後についているので何処が最後かもわかる。
例えばｘｘ県を新たに追加したい場合、
</○○県>の後ろに<××県>...と追加すればよい。
そういう意味で、よりわかりやすいと。
0218デフォルトの名無しさん
2006/11/07(火) 00:49:53S 式に似ているのに、コンマという雑念が混入されて見難くなって無いか？
0219デフォルトの名無しさん
2006/11/07(火) 00:55:07表記がガラリと変わるならともかく、１対１で対応されてる程度なら、むしろ , ない方がシンプルなのでは？
0220デフォルトの名無しさん
2006/11/07(火) 00:56:35こんなXMLは無い
0221デフォルトの名無しさん
2006/11/07(火) 01:39:30たしかに閉じタグの省略はあるけど、XMLなら属性つかうだろ、ってこと？
たしかにタグ名が数値で子要素なしは変
0222デフォルトの名無しさん
2006/11/07(火) 01:56:24まず、その表現はそれでほんとに例として適切なのかな。
1-2-3という番地をあらわすなら、(1,2,3)と別々の3個の要素
にするんではなくて、ひとつの要素となってるはずだろう。
あと、県の属性値として県名を割り振るんじゃなくて、県ごとに
別々の要素になってるのがどうなんだと思う。県に限らんが。
> しかも、Ｃ式は名前と中身が分かれている分わかりやすいです。
そもそもどんなデータを定義してるのか意味(意図？)がわからんから、
分かりやすいかどうかがさっぱりわからん。
分かりやすさはともかく、名前と中身が分かれているのは一番ネストの
深い場所に限ると思う。中間の階層の要素が増えたら、もうどこまでが
中身でどこが外かなんてさっぱりわからんだろ。
(加えて>208でのa(1,2,3,b(4,5,6),(7,8))なんて無名要素が許されたら、
もう何がなんだか、となると思う。)
0223デフォルトの名無しさん
2006/11/07(火) 20:02:13まさかメタデータとデータの区別ついてないのか？
ついてるなら早く例を書き直したほうがいい。
それから〇〇県とか曖昧に書かず、実例なんだからちゃんと神奈川県とか宮城県とか明確に。
0224デフォルトの名無しさん
2006/11/07(火) 22:25:45住所についてぐぐってみたが、XMLであらわすとしたらこんな感じではないだろうか。
街区符号以下を細かく分ける必要があるかどうかは別問題。
<住所>
<国>日本国</国>
<都道府県>東京都</都道府県>
<区>千代田区</区>
<町域>永田町一丁目</町域>
<街区符号>6</街区符号>
<住居番号>1</住居番号>
</住所>
0225デフォルトの名無しさん
2006/11/08(水) 00:42:30んじゃ等価なS式版。つかこれ例としちゃ階層がフラットでいまいちかもね。
(住所
(国 日本国)
(都道府県 東京都)
(区 千代田区)
(町域 永田町一丁目)
(街区符号 6)
(住居番号 1) )
0226デフォルトの名無しさん
2006/11/08(水) 00:53:37んじゃ、ためしに C 式っぽいので記述
住所(
国(日本国),
都道府県(東京都),
区(千代田区),
町域(永田町一丁目),
街区符号(6),
住居番号(1)
)
0227デフォルトの名無しさん
2006/11/08(水) 05:30:21(住所
:国 日本国
:都道府県 東京都
:区 千代田区
:町域 永田町一丁目
:街区符号 6
:住居番号 1)
02281
2006/11/12(日) 20:37:35ＣＳＶを実現しようとしてるわけではなくて、
地球(
日本(北海道(), 東京() ...),
アメリカ(ニューヨーク(), ハワイ(), ...)
...
)
こういった風に書くとして、一番短くなる書き方の例をあげたのだけど。
これは、
住所 : 国
星 : name "(" {国 *} ")"
国 : name "(" {(都|道|府|県|州)*} ")"
都 : name "(" {区 *} ")"
...
といったような、定義が出来ますよね。
また、日本の県と中国の県は違うとか問題ありそうなのでよくない例だけど。
別に私は型だろうが、値だろうが名前は名前として扱うだけでいいと思うのだけど。
フラットにしたら
住所録(
住所(地球,日本,北海道...),
住所(地球,日本,東京...),
住所(地球,アメリカ,ニューヨーク...),
住所(地球,アメリカ,ハワイ...),
...
)
とも書けるだろうけど。
0229デフォルトの名無しさん
2006/11/13(月) 02:43:21住所 : 国
星 : "(" name {国 *} ")"
国 : "(" name {(都|道|府|県|州)*} ")"
都 : "(" name {区 *} ")"
これで良いやん
0230デフォルトの名無しさん
2006/11/18(土) 09:36:2502311
2006/12/03(日) 22:13:58何がいいかというと、Ｃ言語風シンタックスをただの式としていじりまわせるところです。
といいたいのですけど、まだまだですねぇ。
①a = a
②(a . b) = (a... b)
③(a . ()) = (a... ())
④(a) = (a)
⑤(a . (b . ())) = (a... (b... ()))
⑥(a b) = (a, b)
⑦(cons a b) = (cons, a, b)
⑧(quote a) = (quote, a)
⑨(quote (a b)) = (quote, (a, b))
⑩'a = (< a >)
⑪`a = [< a >]
⑫`(,a) = [< {< a >} >]
⑫`(,@a) = [< {> a <} >]
⑬(msgs a (b c) ()) = a(b,c)()
⑯(|[| b) = [b]
⑰(|{| b) = {b}
⑭(msgs a (|{| b)) = a{b}
⑮(msgs (a) (|[| b))= (a)[b]
⑯((msgs a (b)) c) = (a(b)c) = (a(b),c)
0232デフォルトの名無しさん
2006/12/06(水) 21:02:470233デフォルトの名無しさん
2006/12/07(木) 23:26:4602341
2006/12/10(日) 22:54:29IOやらSmalltalkやらREBOLやら見てみてたりする今日この頃です。
下手にS式をいじってるだけの状態ですからねぇ。
0235デフォルトの名無しさん
2006/12/10(日) 23:59:5802361
2006/12/19(火) 23:18:28基本的にはそうですね。
しかし、どうやって式として扱えるようにするかはとても難しいんですよ。
現状、
[if, [=,[+,1,2],4],111, 222]
if[=[+[1,2],4],111,222]
if (=[+[1,2],4]) [111,222]
if (= (+[ 1, 2]) 4 []) 111 222 []
if (= (+ 1 2 []) 4 []) 111 222 []
(if (= (+ 1 2 []) 4 []) 111 222 [])
が等価な式というものを考えました。
さらに、
(if (= (+ 1 2) 4) 111 222)
と等価であるものにしようと考えています。
こういう言語が他にあったら、誰か教えてください。
0237デフォルトの名無しさん
2006/12/20(水) 00:05:27Lisp
0238デフォルトの名無しさん
2006/12/20(水) 00:11:12結局何したいのか最初から考え直したら？
0239デフォルトの名無しさん
2006/12/20(水) 00:18:16S式と見間違えそうで嫌な感じ。
C言語風ならば最低限の文法はC言語を踏襲すべき。
キチガイでないならcshみたいな意味不明な命名はよせ。
02401
2006/12/20(水) 00:51:37あとは、試行錯誤あるのみィィィィ！！
とりあえず、
[if,[=,[+,1,2],4],111,222]
if[=[+[1,2],4],111,222]
if(=[+[1,2],4])[111,222]
if(=(+[1,2])4[])111 222[]
if(=(+ 1 2[])4[])111 222[]
if(=(+ 1 2;)4;)111 222;
if(=[+[1,2],4])111 222;
これ全部等価な式ってことでいい気がしてきた。
.の扱いが微妙...。Ｓ式にあわせるべきか、HaskellやML系にあわせるべきか。。。
0241デフォルトの名無しさん
2006/12/20(水) 15:02:020242デフォルトの名無しさん
2006/12/20(水) 16:50:40少なくとも、俺はそれを C 言語風とは認めたくない。
0243デフォルトの名無しさん
2006/12/20(水) 18:18:110244デフォルトの名無しさん
2006/12/21(木) 12:40:4902451
2006/12/22(金) 00:21:41なので大丈夫ですよん。
リストの表現方法によっては、結構それっぽくなるんです。
ってことを言いたかっただけです。
メッセージ式って、オブジェクト指向の？
SmallTalk,Ioあたりですよねぇ。
SmallTalkとかはDylanを髣髴とさせるるるる。
Dylan駄目＝マクロいらん、いや、Nemerleがある的な。
いいんだよ、俺はきっと、言語の再発明が楽しいだけなんだから。
再発明の中で、1個くらい間違えて、素晴らしいのを思い浮かんだら
めっけもん。くらいの勢いですので。
SmallTalkとIoってどっちが小さいんでしょうねぇ？
Ioなのかな？？？
しばらく、頭痛いので、頭冷やしてきます。
02461
2006/12/22(金) 06:11:000247デフォルトの名無しさん
2006/12/22(金) 11:48:1302481
2006/12/24(日) 21:26:37Ioのメッセージ式に足りないと思えるものは何か？
①自由な演算子の定義
②マクロの定義
もしも、定義する場合のシンタックスはどうしたらよいか等。
0249デフォルトの名無しさん
2006/12/24(日) 21:33:10俺にはさっぱりそれっぽく思えない。
0250デフォルトの名無しさん
2006/12/24(日) 21:58:51それは 『足りない』 のではなく 『拡張したい』 ということなのでは？
0251デフォルトの名無しさん
2007/01/22(月) 02:48:280252デフォルトの名無しさん
2007/01/23(火) 00:18:38何故だ!
0253デフォルトの名無しさん
2007/01/23(火) 03:09:290254デフォルトの名無しさん
2007/01/25(木) 15:55:080255デフォルトの名無しさん
2007/01/25(木) 16:45:140256デフォルトの名無しさん
2007/01/25(木) 22:03:5902571
2007/01/26(金) 17:15:53むむぅ。DSLに強い言語がまた1つ。
http://d.hatena.ne.jp/flappphys/20070117#p2
025947
2007/01/31(水) 19:55:44Ｓ式みたいに無視するのか、XML みたいに仕様に内包するのか。
0260デフォルトの名無しさん
2007/02/03(土) 16:35:410261デフォルトの名無しさん
2007/02/09(金) 10:20:38仮想マシンみたいな半端な構文だな
やっぱどう見てもS式の方が美しい
0262デフォルトの名無しさん
2007/02/10(土) 18:16:410263デフォルトの名無しさん
2007/02/26(月) 18:04:50今更だが
等価じゃないぞ
0265デフォルトの名無しさん
2007/02/26(月) 20:43:590266デフォルトの名無しさん
2007/02/27(火) 23:36:020267デフォルトの名無しさん
2007/03/01(木) 03:09:00Cとは異なるって意味が。わからん。
後者はflag01が偽でもelseが実行されて等価じゃないだろ。
0268デフォルトの名無しさん
2007/03/01(木) 08:37:06if (flag01) if (flag02) expr01;
else expr02;
はCで書くとこういう風になるということでは？
if (flag01) {
if (flag02) expr01;
} else {
expr02;
}
0269デフォルトの名無しさん
2007/03/01(木) 14:15:04＞else の動作が直前に実行された if に従う
１：flag01 == false の時
if (flag01) // if (flag01) が最後に実行された if
else expr02; // else を実行
２：flag01 == true, flag02 == false の時
if (flag01) if (flag02) // if (flag02) が最後に実行された if
else expr02; // else を実行
３：flag01 == true, flag02 == true の時
if (flag01) if (flag02) // if (flag02) が最後に実行された if
else expr02; // else は実行されない
この動作と等価なＣのプログラムは >>178 の下。
0270デフォルトの名無しさん
2007/03/01(木) 14:15:520271デフォルトの名無しさん
2007/03/01(木) 22:09:11何の説明にもなってないし
相変わらず等価じゃない。
>>270
何勝手にまとめようとしてんだ？
0272269=270=47
2007/03/01(木) 22:33:27なぜ等価ではないのか説明してくれ。そっちが何を勘違いしてるのか全然わからん。
0273269=270=47
2007/03/01(木) 22:37:03bool cflag;
if (cflag = flag01) if (cflag = flag02) expr01;
if (!cflag) expr02;
こう書き換えれば >>178 の説明で分かるか？
0274デフォルトの名無しさん
2007/03/06(火) 00:51:03答えだけ書いてはいおしまい、ってのはやめとく。
>>272
flag1とflag2と実行される式の真理値表を書いて、
どれがどう実行されるのか、ちゃんと確認してみなよ。
0275デフォルトの名無しさん
2007/03/06(火) 00:54:39>>272
「直前に実行したif」ってのがキモなんだよな？
で、>>268のように解釈するのは間違い、ってことだよな。
0276デフォルトの名無しさん
2007/03/06(火) 01:56:04そうそう。
んで、こんな感じでややこしくて紛らわしいんで、止めたの。
02771
2007/04/11(水) 17:41:47超、遅いレスすまぬ。なんか、見るのが嫌になってたもんで。
コメントは仕様に含めたほうがいいと思います。
理由は、プログラミング言語のコメントから、
ドキュメントを生成など、利用する機会があるだろうから。
ドキュメントに限らず、htmlだと、scriptタグ内のプログラムはコメントで隠してあったりするように、
コメント内に、別な言語を内包するとかいったことが出来たらいいのではと。
02781
2007/04/12(木) 12:35:01とりあえず、演算子無しの、パーサ作ってみました。
0279デフォルトの名無しさん
2007/04/16(月) 01:20:470280デフォルトの名無しさん
2007/04/16(月) 03:11:42S式だとプログラムも含められるって感じにって方向にしてみたら
素直にS式にしとけとかECMAScriptでいいじゃんといわれてしまい
独自形式(言語)もそれをわざわざ作る意義も見出せないまま完全に迷走してはや数年
といったところか？
0281279
2007/04/16(月) 20:35:57『JSONはデータ形式だけど、JavaScriptの構文解析器でそのまま読める』
という程度の意味であって『JSON風の構文を持ったデータ形式』
という意味ではなかったのだが、>>1がそれを誤解して（？）
今のような流れになったのではないかと予想してみる。
でもCの構文解析器でそのまま読める汎用データ形式を作るとして、
CにはJavaScriptと違ってevalのようなものが無いから
データをどう扱っていいのか分からん。
結局はマクロだらけのトリッキーで気持ち悪いものになるか、
XBM/XPMみたいな特定用途向けの形式になるんだろうなあ。
的外れなこと書いてたらすまん。
028247
2007/04/16(月) 20:42:2102831
2007/04/16(月) 22:19:36Ｃ言語そのままだと、パーサ書くのも大変です。
HTMLがSGMLベースであるように、CがBNFベースだとして、
XHTMLがXMLベースで、仮にXC言語というC言語の簡易バージョンがC式ベースで作れたらいいなと。
そういう考えの元で、じゃあ、どういった言語がいいのかな。
っていうところを永遠と考えてるわけです。
非常に参考になるのがHaskellだったりするわけです。
優先順位付きの演算子をユーザーが定義できたりするので。
演算子を定義できる言語とか、見てると関数型言語なんかが多いので
いろいろ見て回ってます。
JSONはJavaScriptでそのまま読めるというのもあるけど、
C言語で言うと、構造体や配列の初期化に似てますよね。
配列はＣ言語は{}ですがＤ言語では[]で初期化するようになってきています。
ハッシュと配列あるいはリストで構成される言語のほうが受け入れられるのであればと、
考えたら話題が進むならと思って考えてみたんですが、それもわけわからんそうですね。
ハッシュ＋動的配列だけで
書かれてるプログラミング言語を俺は知らなかったので、
適当に作ってみたら面白かったですよ。
これに演算子とか付け加えたらどうなるのかなぁって考えてたりもします。
02841
2007/04/16(月) 22:26:49groovy markupで満足なのかぁ。
括弧が左にくっつくパーサでHTML生成というか、
C式→HTMLのトランスレータは昔作ったよ。
でも、その仕組みはいまいちなんだよなぁ。
Relaxerみたいなものが作れるといいんだけど、難しくて作れないや。
というか、XMLとRelaxerは作者別なんだし仕様さえまとまってればいいと思うのだった。
XSLのようなアプローチもあるだろうし。
028547
2007/04/16(月) 22:41:17俺はあまり好きじゃないなぁ……。
02861
2007/04/16(月) 23:26:46io markupとかってできんのかなと思った。
Ｃ言語をＣ＋＋に拡張とか、元のフォーマットに手を入れて拡張するってことは
よく行われることだと思うけど。
http://f38.aaa.livedoor.jp/~sakurai/cexp/xio.html
47氏が来てくれたので、
演算子定義可能なio風パーサをさらしてみます。
ioっぽい言語->json
みたいなこともしてます。
てきとうに、ioの拡張言語なのでxioとか言う名前にしてみたです。
=,addとsubとmulとdivが中置演算子で定義されてます。
028747
2007/04/16(月) 23:41:56exp(msg(n),msg(=,arg(exp(msg(1)))),msg(add,arg(exp(msg(2)))))
なんかすごいねぇ。
asign("n", add(1, 2)) になるのかと思いきや。
0288デフォルトの名無しさん
2007/04/16(月) 23:54:44> XHTMLがXMLベース
この対比は明らかにおかしいだろ。
なぜ誰も即座に突っ込まない？
02891
2007/04/16(月) 23:58:35うわぁ、オブジェクト指向だなぁと。
=がasignって、名前になるには、
infix("=","asign",10)
とかってやれればできると思うのでそうやって見るのは手だなと思いました。
02901
2007/04/17(火) 00:15:05とりあえず、=はassign、+はaddとかになるようにしてみたよ。
029147
2007/04/17(火) 00:17:52とりあえず、むやみに複雑にするんじゃなくて、WYSIWYG + Do Little な考えにするのが良いと思うんですよ。
02921
2007/04/17(火) 01:24:24まぁ、そうですね。BNFを拡張した言語がCなわけないんで。
なんと表現するのがベターなんすかねぇ。
>>291
このＣ式にかぎればできるだけシンプルなのがいいと思ってます。
http://f38.aaa.livedoor.jp/~sakurai/cexp/xio3.html
パーサ内部で、infixっていう関数を呼んで関数登録できるようにしてみました。
チェックとか適当ですが。
あとはinfix("+","add",2)とかいうのをパース中にみつけたら、
この関数呼ぶようにしたら良いと。
あと、xio2str関数で、そのままメッセージ式を出力してみてます。
0293デフォルトの名無しさん
2007/04/17(火) 15:01:4147氏が満足するものを作ってみようと思いますので協力お願いします。
http://f38.aaa.livedoor.jp/~sakurai/cexp/xio4.html
内部的に、msgってのと、argってのはなくすのと、
演算子の展開は、メッセージ風ではなくて、関数呼び出し風にしてみました。
name=a+b*c/4
length=1
parent=0
が、
assign(name,add(a,div(mul(b,c),4)))
assign(length,1)
assign(parent,0)
と表示されます。
029447
2007/04/21(土) 17:31:57ちょうど XML & XSLT というか、正規表現の match & replace みたいに
message(foo bar(baz)) match(bar($1))
=> $1 = baz
message(foo bar(baz)) replace(bar($1), far($1))
=> foo far(baz)
な感じに。
けど、メタ変数とかワイルドカードとかの指定が難しいんだけど、このあたりどうしようか……
ってそもそも相談できる相手がこのスレに居るのかどうか……。
02951
2007/04/22(日) 02:04:58むかし、schemeスレで教えてもらったんだけども、
http://www.geocities.jp/m_hiroi/xyzzy_lisp/abclisp22.html
このパターンマッチングを利用するくらいだと簡単でした。
dylan,nemerleのマクロ、schemeのマクロを参考に、
式を出力するプログラムにしようと思って実装中力尽きたってのもあったりします。
■ このスレッドは過去ログ倉庫に格納されています