14/12/06 23:05:55.88 BPhK2Nlg.net
>>120
>みんなBNFとかやってるのか
JavaCCの場合字句解析でトークン列に分解してくれて、
>>117にあるようにそのトークンの並びを書いて構文解析の定義をします。
なのでBNF記法とは違った書き方になります。
>>121
>演算子の優先順位はどうしてんの？
いい説明文が思い浮かばないので、
まずは例として1+2*3/4-5という式を構文木にしたものを以下にアップします。
URLﾘﾝｸ(fast-uploader.com)
こんなかんじのまとまりです。
演算子：/ 左辺：3(enzan5) 右辺：4(enzan5) → ①(enzan4)
演算子：* 左辺：2(enzan5) 右辺：①(enzan4) → ②(enzan4)
演算子：- 左辺：②(enzan4) 右辺：5(enzan5) → ③(enzan4)
演算子：+ 左辺：1(enzan5) 右辺：③(enzan4) →④(enzan3)
128:117
14/12/06 23:06:51.00 BPhK2Nlg.net
とりあえずenzan3の定義の先頭にマイナスの記号があるかもしれないという意味合いで
以下のようなコードに変えてみました。
void enzan3() :
{}
{
[<HIKU>]enzan4() //★
((<TASU>|<HIKU>)enzan4())*
}
void enzan4() :
{}
{
enzan5()
((<KAKERU>|<WARU>)enzan5()
}
void enzan5() :
{}
{
<MOZI>|<SUUZI>|"(" enzan3() ")"
}
<>：トークン |：左右のどちらかの構文(||やOr演算子のようなもの) []：省略可能構文
129:117
14/12/06 23:07:27.16 BPhK2Nlg.net
すると、以下のような警告が出ました。
Warning: Choice conflict in (...)* construct at line 608, column 9.
Expansion nested within construct and expansion following construct
have common prefixes, one of which is: <HIKU>
Consider using a lookahead of 2 or more for nested expansion.
内容は選択の突出(Choice conflict)と言うもので、
私が作った構文の定義があいまいのようで
608行目(ここでは★を付けた行)の定義が他の定義とかぶっているらしく、
先頭に出てくる<HIKU>トークンが共通点らしいです。
そもそもの考え方が間違っているかもしれませんが、
それを抜きにしてもまずなぜこのような警告が出ているかわかりません。
一体なぜ出ているかわかる人いれば教えてださい。
130:デフォルトの名無しさん
14/12/06 23:08:41.58 q7blqefO.net
>>120
java（というよりC）のforは()の内部に;が出てくるのが
>>119
javaccの書き方と大差ないみたいよ
131:デフォルトの名無しさん
14/12/06 23:27:12.88 5oGFUyw+.net
この文脈でconflictは「衝突」と言う。
そのメッセージの通り、複数の定義で共通してるトークンがあるから、どっちの定義のほうだとして
解釈していいかわからないからエラーになる。
そのメッセージでは「Consider using a lookahead of 2 or more for nested expansion.」2個あるいはそれ以上の
先読みを使うことを検討してみろ、と言っているが、それに従ったところでうまくいくかどうかは
わからんけどね。
132:デフォルトの名無しさん
14/12/07 01:31:54.20 bfkTF4nN.net
>>123
>>121は重要なヒント
-(1+2)とか、1+(-2)とかにその定義で対応できる？
たとえば★の行をenzan5に移してみるなり、演算子の優先順位を変えてやりなおすとか
それとは関係ないけど、3*2/4って直感的には( (3 * 2) / 4 )になりそうだけどその構文木だと右から左なのね
133:デフォルトの名無しさん
14/12/07 01:36:47.04 bfkTF4nN.net
>>128
勘違いしたわすれて
134:117
14/12/07 21:58:06.68 OacxF8nB.net
>>127
選択の衝突でしたね。
間違えて覚えました；
かぶってるらしいからLOOKAHEADで先読みをしなくてはならないのはわかるのですが、
そのコードでどのパターンとどのパターンでかぶってるのかがわからなくて。
>>128
>-(1+2)とか、1+(-2)とかにその定義で対応できる？
1+(-2)のパターンは意識していましたが、-(1+2)のパターンは忘れてました。
きちんと考えなおしてきます。
135:デフォルトの名無しさん
14/12/07 22:37:16.24 bfkTF4nN.net
>>130
試しに四則演算のみ行う言語をjavaccで作ってみたけど単行演算子程度ならLookAheadいらないよ
136:117
14/12/08 00:25:52.66 yQ2quuvD.net
いろいろ考えているうちに構文規則がおかしなことになってきました；
とりあえず負の数やかっこを含む数式の構文木を一通り考えてみたつもりなんですけど、
以下のような感じであっているでしょうか？
URLﾘﾝｸ(fast-uploader.com)
また、他に欠けているパターンはないでしょうか？
137:デフォルトの名無しさん
14/12/08 18:02:04.16 3czqE9B9.net
>>132
単項演算子はどこに行ったんだ
138:117
14/12/08 21:29:48.11 yQ2quuvD.net
>>133
あれは構文木と言うより抽象構文木というか内部構造と言うかそんなかんじのものですね；
負の数をどう計算するか考えてたらその式や数字に-1をかければいいかなと思って作ってました。
今度はきちんと抽象じゃない構文木を考えます。 はい。
139:117
14/12/08 23:27:15.44 yQ2quuvD.net
とりあえず自分がわかっている範囲で -(1+2)*4 の解析木を作ってみました。
URLﾘﾝｸ(fast-uploader.com)
enzan番号という名前はやめてみました。
空欄部分は下位置調節のためや何を入れたらいいかわからない部分です。
140:117
14/12/09 21:43:09.57 KYZ3f1RL.net
構文規則作ってみましたが、選択の衝突が消えません。
tasuhikuのkakewaruをkakewaru2に変えると消えます。
kakewaruで呼んでるminusの[<HIKU>]がtasuhikuの<HIKU>と競合しているのかと思いましたが、
なぜなのかわかりません。
どこが間違っているでしょうか？
警告なのでとりあえず無視してjavacコンパイルして解析＆実行させてみると、以下の式はきちんと実行できました。
1+2+3
-9-3
1+2*3/4-5
7+(-2)
-6*2
-(1+2)*4
(-1+2)*4
-1+2*4
4-(-2/5)
-(-(-39))/13
一応ある程度のパターンを網羅していると思います。
Warning: Choice conflict in (...)* construct at line 608, column 9.
Expansion nested within construct and expansion following construct
have common prefixes, one of which is: <HIKU>
Consider using a lookahead of 2 or more for nested expansion.
141:117
14/12/09 21:44:56.07 KYZ3f1RL.net
void tasuhiku():
{}
{
kakewaru() //608行目
((<TASU>|<HIKU>)kakewaru2())*
}
void kakewaru():
{}
{
minus()
((<KAKERU>|<WARU>)sikikakko())*
}
void kakewaru2():
{}
{
sikikakko()
((<KAKERU>|<WARU>)sikikakko())*
}
142:117
14/12/09 21:45:41.74 KYZ3f1RL.net
void minus():
{}
{
[<HIKU>]sikikakko()
}
void sikikakko():
{}
{
("(" tasuhiku() ")"
|atai())
}
void atai():
{}
{
<SUUZI>
}
143:デフォルトの名無しさん
14/12/10 06:22:59.98 ICK0nNNi.net
荒らされてるなぁ・・・
144:デフォルトの名無しさん
14/12/10 14:14:42.32 lFxVBhH5.net
>>136
文法作るのはものすごく難しいんだよ。
同じ文書を受理する複数の文法が存在し、複数の間で優劣がある。
しかも、優劣を機械的に評価することが難しい。
「こいつを使えば簡単にできる」というようなソフトウェア紹介を見かけると
思うけど、そんな魔法の杖みたいなソフトは無いから。
そういうこと言ってる人は、付属してきたサンプルを動かして簡単といってるだけ。
信じちゃだめだ。
構文解析器の生成系を自分で作れるようにならないと文法を作れないと思っていい。
少なくともその程度の理解は必要。
まずドラゴンブックを買ったらどうかと思うんだが。
145:デフォルトの名無しさん
14/12/10 14:18:41.54 lFxVBhH5.net
まずドラゴンブックを買う。
実際に作ってみる。
この作ったものは実用にはならないよ。
テーブルが大きすぎるからね。
それでも作ることが重要。
その後に、市中に出回る生成系を使ってみたらどうだろう。
俺はこの順番が良いと思うよ。
中身の動作を知らないと使えないって、ツールとしては下等だけど、
今はまだその程度の世界なんだよ。
146:117
14/12/10 16:50:00.17 pQyEQrGQ.net
>>139
私のことだったら荒らそうと言うつもりは全くありません。
でも荒らしに見えてしまっていたならすいません。
>>140-141
ドラゴンブックってこれのことですかね？
URLﾘﾝｸ(www.amazon.co.jp)
(私にとって)安くないですし今そこから勉強している余裕はないので・・・。
すいません。
よそでパーサジェネレータ使った方がいいとか言われて、
Javaが好きなどの理由でJavaCCを使うようになりました。
なんにせよ周りに作ったことある人とかいないので、
URLﾘﾝｸ(www.sbcr.jp)
とか
URLﾘﾝｸ(item.rakuten.co.jp)
とか片手に独学でやってます。
147:デフォルトの名無しさん
14/12/10 17:17:43.47 lFxVBhH5.net
>>142
そこが勘違いなんだよ。
JavaCCを使うにはJavaCCを作れる程度の知識が必要。
だからドラゴンブックが必須。
ドラゴンブックは決して読みやすい書籍ではないよ。
どうとでもとれる表現がいくつもある。
読み解きながら理解する必要があるので、結局生成系を自分で一つ書き上げる必要がある。
「JavaCCを使えば知識がなくてもこんなに簡単」的なことを書く人は
実はJavaCCを使っていないんだよ。
そこに騙されてはいけない。
文法を作るには深い理解が必要なんだよ。
簡単にできる方法はない。
148:デフォルトの名無しさん
14/12/10 18:27:22.40 eXNtCHKb.net
誰か別の人にやってもらえばいいんだよ。クラウドソーシングとかあるじゃん。
149:デフォルトの名無しさん
14/12/10 21:11:35.37 Lctd7lUm.net
荒らされてるんじゃなくて話題がなさすぎるから一人が専有してるように見えるだけだろ？
150:117
14/12/10 21:46:27.74 pQyEQrGQ.net
>>143 >「JavaCCを使えば知識がなくてもこんなに簡単」的なことを書く人は そこまで言われたことはないです。 一番最初は文字列を自分で解析するところからやろうとしてましたけど、 パーサジェネレータを知ってからわたしにとってはそっちの方が楽だと感じています。 ここで質問したこと以外でも詰まったりもしましたけども、 もし構文解析ツールを1から作っていたらきっとここまでたどり着くまでにもっと詰まっていると思います。 >>144 すいません。 実はこれ卒業研究なので・・・。 自分で作ってみたい→卒研のテーマに悪くないよね？ な感じで決めてしまったテーマです。 >>145 連投とかしすぎましたかね・・・；
152:デフォルトの名無しさん
14/12/10 21:57:46.01 dcz7kjCK.net
指導教授に聞けば。
153:デフォルトの名無しさん
14/12/10 22:28:57.42 ZSLSh1LL.net
www
卒研なら自分で考えいw
154:デフォルトの名無しさん
14/12/10 22:32:59.96 eXNtCHKb.net
>>146
まさか卒業研究の本体がなんの新規性もない構文解析なわけじゃないだろう。
それが本質的な部分じゃなければ人に手伝ってもらうのもありだよ。
もし、構文解析そのものが君の卒業研究なら……
楽してでっち上げるという考えは即座に捨てて、143のいうようにちゃんと勉強して理解しな。
155:デフォルトの名無しさん
14/12/10 22:55:57.69 Lctd7lUm.net
卒研かよ
フォローして損した
156:117
14/12/10 23:23:29.27 pQyEQrGQ.net
>>147
Javaの研究室ではありますけど、先生は構文解析などの経験はないそうなので・・・。
ゼミのときに負の数と引き算の問題も一応聞いてみたんですけど、
残念ながら大したアドバイスをもらえませんでした。
ちなみに、研究室ではネットワーク関連のことやってる人が多いです。
157:デフォルトの名無しさん
14/12/10 23:27:11.16 bWIayA6r.net
うーん、その卒業研究、どこか新規性あるの？
158:デフォルトの名無しさん
14/12/10 23:46:18.31 lFxVBhH5.net
文法を作ることの難しさを理解できていないんだよ。
嘘ではなく、本当に難しい。
実用性は無くとも理論通りに動作する生成系を自分で作るのは絶対必要。
遠回りに見えるだろうけど、これが最短の道なんだよ。
「俺の考えた言語」の文法をきちんと作れるなら、生成系程度すぐ作れる。
その逆は無いよ。
何か考え違いをしてるんだと思う。
文法程度すぐ作れるけど、生成系を作るのは難しいと思っていそう。
まるっきり逆。
159:デフォルトの名無しさん
14/12/10 23:48:44.51 lFxVBhH5.net
さらに言えば、理論通り動く生成系を作っても、それは実用性を持たない。
学習のために作るんだ。
実用には、既存の生成系を使うんだよ。
そういう順番が良い。
160:117
14/12/11 00:04:58.83 TxaNdaYp.net
>>148 >>150
すいません・・・。
>>149 >>152
"こういうところが新しいです"
と言える自信はありません・・・。 すいません。
一番の理由は"自分で作ってみたい"と思ったからです。
あと、先生に止められることもなかったですし。
構文解析が目的と言うよりは、半分ノリで付けてしまったテーマが
「初めでも使いやすい日本語で書けるプログラミング言語を作る」
なんてテーマです。
"日本語なら初めてでもとっつきやすいかな？"なんて安易な考えで
「初めてでも」なんてつけて付けてしまいました。
構文を考える上で自分で後悔してたりします；
>>153
文法を考えるのも構文規則を作るのも楽なものではないと思ってます。
それよりも構文解析器を作るほうが難しそうと感じてしまっているのは事実です。
161:デフォルトの名無しさん
14/12/11 01:55:24.44 pP5Pqqse.net
>>153=154が優しく言ってくれてる
あなたが本当に本気なら明日にでも図書館行って、ドラゴンブック借りるといいよ
難しいけど必ず価値はあるから
162:デフォルトの名無しさん
14/12/11 06:06:17.74 sSshpgwI.net
数学の知識もないのにアンチョコ片手にMathematica使えば何でもできると思ってるようなもんだな。まあ、無理。
163:117
14/12/11 07:22:36.95 TxaNdaYp.net
>>156
プログラミングの棚にはなかったと思うんですけど、
とりあえず今日大学の図書館探してみます。
「ふつうのコンパイラをつくろう」の方は図書館にも置いてあったので。
164:デフォルトの名無しさん
14/12/11 07:41:13.71 JXHpp2tS.net
空気読め
165:117
14/12/11 17:45:33.30 TxaNdaYp.net
ドラゴンブックは残念ながら大学の図書館にはありませんでしたが、
市内(他区)の図書館にはあるとのことなので取り寄せて読みます。
1万円ほどの本を買うには残念ながらお金がないもので・・・；
他に大学にあった以下のコンパイルの本び中でおすすめってありますか？
コンパイラの基礎 / 徳田雄洋著
命令レベル並列処理 : プロセッサアーキテクチャとコンパイラ / 安藤秀樹著
コンパイラ入門 : 文法から設計・製作まで / 小田一博著
Cコンパイラ設計 : yacc/lexの応用 / A.T.シュライナー,H.G.フリードマン 著 ; 矢吹道郎 〔ほか〕訳
超並列処理コンパイラ / 村岡洋一著
コンパイラ / 疋田輝雄 著
DIANA入門/言語仕様/応用 : Adaコンパイラ実現のための中間言語
やさしいコンパイラの作り方 / 中西正和 共著 ; 大野義夫 共著
新言語作成の技法 : オリジナル・コンパイラ / 大貫広幸 著
N88日本語BASIC(86)コンパイラ活用法 : Personal computer MS-DOS版 / 肥田野登 著
コンパイラの技法 / 中田育男 著
コンパイラのうちとそと / 島内剛一ほか共著
コンパイラの設計と構築 / Arthur B.Pyster 著 ; 松尾正信 訳
コンパイラの技法 / F.R.A.ホップグッド著 ; 首藤勝, 関本彰次共訳
コンパイラ構成法 / 原田賢一著
コンパイラ : プログラム言語処理の基礎 / 井上謙蔵著
コンパイラ設計技法 : 理論と実践 / T. ピットマン, J. ピーターズ著 ; 今泉貴史訳
dBASE ・ PLUSコンパイラ & アセンブラ ゜ / 桑村幸雄,池端良一 著. -- 2版
コンパイラ・コンパイラ / 井上謙蔵著. -- 産業図書, 1970.
Let's C(Ver3.0)プログラミングハンドブック : MS-DOS用Cコンパイラ / PMC研究所 編
やさしいコンパイラの作り方 / 中西正和,大野義夫 共著
Microsoft QuickC コンパイラ Ver.2.0 ランタイム ライブラリ リファレンス
コンパイラ作成の技法 / David Gries著 ; 牛島和夫訳
コンパイラ / 中田育男著
166:デフォルトの名無しさん
14/12/11 18:35:53.94 yZEE5pFs.net
文芸的なcobol+日本語ななでしこ?
>>160
あるなら手にとって読んでみればいいのに
アドバイスはできないすまん
167:デフォルトの名無しさん
14/12/11 18:43:18.72 tbxqmm74.net
>>160
中田先生の本は良い本(というか国内で学者が書いてる数少ない本)
買うかどうかとは別に読んで損はしない。
先生は多忙なのか執筆が遅いので最新を追うとちょっと遅れるけど
168:デフォルトの名無しさん
14/12/11 20:08:42.05 O2yGUM7o.net
>>143
んなアホな
169:デフォルトの名無しさん
14/12/11 20:21:08.66 ED9Fc+9a.net
中田本は結構いいね。でもドラゴンブックも読んどくべきだけどね。
170:デフォルトの名無しさん
14/12/11 20:26:34.20 URNWWvBk.net
ドラゴンブックに限らずあの手の堅い文章は頭に入りにくい
171:デフォルトの名無しさん
14/12/11 20:51:29.95 HAPX7Bnj.net
>>162
> 先生は多忙なのか執筆が遅いので最新を追うとちょっと遅れるけど
まだ執筆してるの？
最初に買った真っ白表紙のコンパイラなんて 30年以上前だったのに
172:デフォルトの名無しさん
14/12/11 20:58:28.23 hXJaCtwW.net
やさしいコンパイラの作り方と
コンパイラのうちとそとは
読み物として面白い。
でもたぶん（今じゃ）なんの役にも立たないｗ
173:デフォルトの名無しさん
14/12/11 21:22:50.68 tbxqmm74.net
>>166
2011年が最後かな
言語実装パターン ―コンパイラ技術によるテキスト処理から言語実装まで
ってのをオライリーから共著で出してたはず
でも一番読み応えあるのは1999年発行の
コンパイラの構成と最適化
だと思う、この本はドラゴンブックと一緒に是非買うべきって
174:言っても良い
175:117
14/12/11 21:35:13.25 TxaNdaYp.net
>>161
>文芸的なcobol+日本語ななでしこ?
cobolやなでしこは使ったことないのでわかりませんが、
私は英語を用いた言語よりはわかりやすいと思います。
コメント文での説明が要らないかどうかは作るものによりますけど。
>あるなら手にとって読んでみればいいのに
いろんな図書館に点々としてるそうで、
中にはどこにあるのかわからない図書館にある本だったりも・・・；
ちなみに、上げた24冊のうち私の工学部の校舎にある図書館に絞ると3冊しかないそうです。
>>162 >>164
中田先生の本読んでみます。
ドラゴンブックの方も取り寄せが届いたら読みます。
>>167
面白いならその2冊も読んでみます。
176:デフォルトの名無しさん
14/12/11 21:37:16.34 Q8kAUXaJ.net
>>167
> やさしいコンパイラの作り方と
> コンパイラのうちとそとは
> 読み物として面白い。
両方読んだ気がするが、内容覚えてないわ
> でもたぶん（今じゃ）なんの役にも立たないｗ
色々な人を呼び込むと言うのも、重要な役目だと思う
誰か「漫画で読むコンパイラ」とか書かないかなぁ w
177:デフォルトの名無しさん
14/12/11 21:40:57.95 KrH9mSC/.net
まともにやる気あるなら、その中のどれでも一つ真剣に取り組めばいいよ。
迷うのはそれからでも遅くない
178:デフォルトの名無しさん
14/12/11 21:42:20.07 tbxqmm74.net
>>170
麻宮騎亜がアップを始めたようです。
179:デフォルトの名無しさん
14/12/11 21:57:20.15 JvQXLAia.net
CPUの創り方が萌えキャラで出る時代だから
コンパイラ版が出る日も近いな
180:デフォルトの名無しさん
14/12/12 03:52:20.71 yYnp70gr.net
疲れた時は白と黒のとびらとか。読み物だけど
181:デフォルトの名無しさん
14/12/13 11:59:00.15 KEKavmkB.net
>>168
共著じゃなくてAntlrの作者が書いた本の監訳だよ
182:名無しさん＠そうだ選挙に行こう
14/12/13 19:31:14.67 LmsGKyNP.net
正直ドラゴンブックって内容はともかく説明はとても優しいよね
洋書はIT系に限らず懇切丁寧な事が多いと思う
183:名無しさん＠そうだ選挙に行こう
14/12/13 22:13:39.97 aWFoLZL3.net
虎も仲間に入れてやってください
サンプルがアレだが
184:デフォルトの名無しさん
15/01/19 11:19:23.48 cYd/ZsDZ.net
kmoriさん亡くなったって。
185:デフォルトの名無しさん
15/01/19 11:34:19.54 CzsUjspG.net
yaccの一実装書いてた人か。南無
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(d.hatena.ne.jp)
186:デフォルトの名無しさん
15/01/19 15:30:26.84 cYd/ZsDZ.net
kmyaccも有名だが、「LSI-Cの作者の一人」だった。
187:デフォルトの名無しさん
15/01/20 21:04:04.33 wHr1vYS1.net
熊ヤックと読んでいた
188:片山博文MZ ◆T6xkBnTXz7B0
15/02/18 16:40:51.07 9VF3MRJc.net
C++11の正規表現でCのスキャナーをスマートに書きたい。
しかし、コメントの扱いがややこしく、また、行番号の情報を取得する必要がある。
一行ごとに読み込むべきか、従来どおりトークンに切り分けて読み込むべきか。
全部をいっぺんに読み込んで'\n'でsplitする方法は実行時のメモリーと時間がかかると思う。
どういう戦略にすべきか？
189:片山博文MZ ◆T6xkBnTXz7B0
15/02/18 17:03:37.74 9VF3MRJc.net
改行に特別なトークンを割り当てて、すべてのトークンを読み
込んだ後でトークンに行番号をつけてから改行のトークンを取り除くという
方法についてはどう思いますか？
190:デフォルトの名無しさん
15/02/18 21:19:15.31 po3oOzQK.net
Cってマクロとかインクルードとか有るん？
191:片山博文MZ ◆T6xkBnTXz7B0
15/02/19 01:08:43.02 XXveEoOV.net
マクロやインクルードは、プリプロセッサーがやってくれるよ
192:デフォルトの名無しさん
15/02/19 12:19:19.08 b9Ke1XGw.net
プリプロセッサーの展開後の行番号って要るのかね？
193:デフォルトの名無しさん
15/02/19 19:51:00.22 rp3PUwqb.net
無かったらエラー表示するとき不便だろ
194:デフォルトの名無しさん
15/02/19 21:27:05.57 wg16DBik.net
展開後の行番号の方がいらなくね？
プリプロセッサ文てコンパイラ側でも処理するよね？
#line とか
195:デフォルトの名無しさん
15/02/19 21:31:56.28 uOq48O3O.net
コメントはプリプロセサで置き換えたらいかんのか
196:デフォルトの名無しさん
15/02/21 01:08:42.33 XnZFjwve.net
SmalltalkのVM上にJavaVMを構築してんだけど、
VMの話もここで良いんだよね。
197:デフォルトの名無しさん
15/02/21 12:59:06.48 eVOI8zE3.net
OK
198:デフォルトの名無しさん
15/02/21 23:58:08.89 bst4VCEg.net
>>182
Cのスキャナって正規表現だけで表現できるんか？(構文解析しないで良いエディタのhilightingとかは大丈夫だけど)
199:デフォルトの名無しさん
15/02/22 01:27:09.68 0QFgdJ2i.net
>>191
了解。
SmalltalkのVM上でDalvik VM用のclassも動かしたいんですが、
いちいちDalvik用のVMまで作るのがメンドイです。
Dalvik用のclass形式からJavaVM用のclass形式に変換するオススメのLibraryを教えて下さい。
Libraryの言語はSmalltalkに書き直しますので何でもいいです。
200:デフォルトの名無しさん
15/02/23 17:30:23.57 FikKUZMK.net
>>192
scannerってlexerの一部。
lexer=scanner+tokenizer
201:デフォルトの名無しさん
15/02/23 17:38:19.44 FikKUZMK.net
>>193
JEBはDalvikのdecompilerだから、コンパイルすればJVMのbytecodeに出来る。
URLﾘﾝｸ(www.pnfsoftware.com)
202:デフォルトの名無しさん
15/02/23 17:41:10.47 FikKUZMK.net
javaで書いたDalvikのVM
URLﾘﾝｸ(www.eflow.jp)
203:デフォルトの名無しさん
15/02/23 22:14:05.07 Fe2dvIpV.net
C++で完結するって所に惹かれてboost::spiritを試してみたが…、これは死ねる。
204:デフォルトの名無しさん
15/02/24 01:43:04.58 f8A7qwV2.net
共通部分式の除去のやり方がわかんねえ
定数伝播、四則演算も含む組み込み関数の畳み込み、使わない変数の除去、
ループ展開等を同じパスでやってるんだけど
共通部分式の除去とそれをやるのに必要な不変式の判定はまた別でやった方がいいのかな
不変式かどうかはループ最適化でも使えそうなんだけど混乱してきた
205:片山博文MZ ◆T6xkBnTXz7B0
15/02/24 08:04:58.95 UGr8Bbp/.net
>>198
ある計算式eについて、eの部分式を互いに参照するエントリーとして再帰的にテーブルに登録する。
登録するときにソートと重複チェックを行えば、テーブルは一意化できる。
テーブルの各エントリーの参照構造は、木構造のノードを成す。
206:デフォルトの名無しさん
15/02/24 11:33:08.23 wemgVVUb.net
>>198
式の属性に関する再帰方程式の近似解をニュートン法のように求めること、
これがデータフロー計算解法の本質と理解できてないんじゃない？
ドラゴンブックのavailable, killedの説明の所読んでみれば？
同じパス内でループしながら収束するまで計算するのよ。
207:デフォルトの名無しさん
15/02/24 11:35:18.85 wemgVVUb.net
ドラゴンブックのどの節か書こうとしたけど本が見つからない...
とりあえず、ここのp.10から。
URLﾘﾝｸ(dragonbook.stanford.edu)
208:デフォルトの名無しさん
15/02/24 17:44:49.00 H95vOz7j.net
>>199
そのテーブルに式を入れるときその式が不変かどうかを判断する部分でわからなくなってくる
>>200
ほとんど読んでないドラゴンブック見たら最適化部分についても書いてるな
これ読むの辛いな
頑張って読んで出直すか
209:デフォルトの名無しさん
15/02/24 17:53:23.22 avE+zAm1.net
多分ちゃんと読んだ方がかえって早い。
共通部分式A，Bがあって、例えばBの方の除去をやると、
Bの到達性がAの到達性にも付与される。
このことは他の属性に影響を及ぼしうる。
よってもう一度計算をしないとより正確な属性を求められない。
以下ループ。
よって収束するまで繰り返すことになる。
210:デフォルトの名無しさん
15/02/24 18:04:39.54 H95vOz7j.net
変化がなくなるまで最適化処理を繰り返すのはわかった
211:デフォルトの名無しさん
15/02/24 19:26:42.04 wUDy2moe.net
>>197
コンパイル時間がか？
212:片山博文MZ ◆T6xkBnTXz7B0
15/02/24 20:45:40.84 UGr8Bbp/.net
__declspecとか__attribute__などをパースできないと正確な構造体型のサイズ
を求めることができない。しかしattribute周りの文法がメチャクチャやなあ。
213:片山博文MZ ◆T6xkBnTXz7B0
15/03/03 01:05:04.60 t6l1EelO.net
次は"typed value"の扱いだな。定数にも型がある。型付きの値を
扱えなければ、正確な定数値を求めることはできない。
214:デフォルトの名無しさん
15/03/03 04:49:45.03 ZU1MaIS8.net
最適化なんてイラナイよね、何処まで処理系に依存する気なんだよｗ
215:デフォルトの名無しさん
15/03/08 14:52:45.39 u8r5MR2m.net
初心者だがHSPって凄いね
自分でHSPみたいなの作ろうとすると途端につまづくｗ
内部でメッセージハンドルに登録していく言語だと思うんだけど
こんなにwinを感じさせない文法でwinと親和性高く作れるとは
216:デフォルトの名無しさん
15/03/08 17:15:18.44 8c6PRT7L.net
ランタイムの機能の量で躓くならともかくあの文法でつまづくなら>>1で概要把握して本読めば
217:デフォルトの名無しさん
15/03/09 14:52:03.75 MIZIuI1f.net
文法とOSに何の関係が?
218:デフォルトの名無しさん
15/03/09 16:12:25.65 J8WIpDef.net
いただきジャンガリアンに辛酸をなめさせられたのだろうよ
219:デフォルトの名無しさん
15/03/09 17:25:40.74 VM1FVYaf.net
うーん初心者だから言い方わかんないんだけど
コマンドプロンプトのスクリプトってコマンドに従って単に実行していくだけだよね
でもwinだと実行されるのは素直に考えるとメッセージが来たとき
cでウインアプリつくるときはメッセージ毎に処理を書くけど上から順に読むスクリプトは
それはできないわけだからどう整合性取るのかなってことで悩んでた
結局メッセージ毎にリストがあってコマンドを読んだらそのリストに関数ポインタ名で追加、
メッセージ毎に呼ばれる関数はその種別のリストを上から順に実行していく
こんな感じで作ったけどこれでいいのかな
220:デフォルトの名無しさん
15/03/12 21:28:48.21 BlO2EFmA.net
そりゃ文法じゃなくて実行モデルだな。
イベント駆動ってことでしょ。
221:デフォルトの名無しさん
15/04/13 21:09:38.60 qtTodoaL.net
「Cのコンパイラなら何日かかけて作っても良いが、C++は、一人で
作るのは嫌だ。文法をきちんとカバーするのに日数がかかりすぎるから」
と言われたよ。
222:デフォルトの名無しさん
15/04/22 02:22:50.19 eOWj6Ffd.net
javaに近い構文の言語をつくろうとしてるんだけど、
ようやくchar配列に変換したソースから関数の外側を構文解析できた。
山括弧<>、文字列リテラル、コメントに気をつけつつ、
なんとか関数の中を無視してクラス・変数・関数の名前や型名を取得して
関数の中身にとりかかるところ。
関数の中身は丸括弧()が難関になりそう。
AAAA bbbb = ((HHHH)cccc.dddd.eeee(ffff.gggg(), jjjj)).iiii();
bbbb.kkkk = -10/(8-3)-9/-3
223:デフォルトの名無しさん
15/04/22 20:33:48.48 rBARkljm.net
>>216
まるで違う言語に見えてしまうのだが。
224:デフォルトの名無しさん
15/04/22 21:30:55.14 eOWj6Ffd.net
>>217
最初はクラス名、メンバ変数、メンバ関数を全部調べてからじゃないと
関数の中身に取り掛かれないと思ってた。
でもクラス名・変数名・関数名に区別は不要で、記号をヒントに階層を分解して、
それから型名の存在の有無・整合性を調べるという風にフェーズを分けれそう。
でも()が演算の優先順位、型キャスト、メソッド...どれに使われているのか
区別できるかは不安。for文とかは最初に予約語が入るからやりやすそうだけど。
Person person = ((Factory)group.cache.getFactory(provider.getResource(), url)).create();
person.id = -10/(8-3)-9/-3;
225:デフォルトの名無しさん
15/04/22 22:59:19.66 LKLiXgla.net
いまいち分からないけど、識別子の次にあったら関数呼び出しで
それ以外は式とかでいけないの
226:デフォルトの名無しさん
15/04/22 23:28:51.38 eOWj6Ffd.net
いけるか分からない。とりあえずやってみるってところ
227:デフォルトの名無しさん
15/04/23 08:14:58.39 +O6VWDUu.net
>>219
構文次第
てか、普通識別子に続くカッコを見て初めて関数/メソッドってわかるわけだし
228:デフォルトの名無しさん
15/04/27 01:02:40.49 RiYFohCl.net
メソッドの中が上手くいかんというか何から始めたら良いのか分からん
コンパイル速度が遅くなるけど、分解フェーズを何層にも分けて
何度もループで調べていけば良いのかな
229:デフォルトの名無しさん
15/04/27 06:59:39.15 EFAP6joI.net
コンパイラの教科書の一冊でも読んで構文解析を勉強してみ
230:デフォルトの名無しさん
15/04/27 09:38:16.26 ZDDsb7dY.net
C系のクソみたいな構文ルールをそのまま真似てどうすんの
自作なら作りやすいようにキーワード追加すればいいのよ
キャスト式にキーワード付けなかったのは最大の誤りの一つ
231:デフォルトの名無しさん
15/04/27 09:56:10.90 qDIHhHi0.net
SSA形式からスタックマシンのコード生成の最適化みたいなのに参考になる文献ってないかな？
232:デフォルトの名無しさん
15/04/27 14:22:00.53 RiYFohCl.net
>>224
そうだね。HaxeとかFlashからぱくって、Ｃ形式のキャストは無くしてみるわ
int i = cast Integer ( 0.005f );
int i = 0.005f as Integer;
233:デフォルトの名無しさん
15/04/28 18:20:14.24 PlNb5vya.net
最終的に何を目指そうかしら
1)LLVMで動かす
→ 超難しそう
2)Luaのように組み込みスクリプトとして動かす
→ 重そう。メモリ管理は全部ウィークポインタで良いのかな
(C/C++組み込みならnew&deleteするようなスクリプトでも良さそう)
3)JavaScriptなどに変換
→ たぶん例外のバックトレースとかを変換するデバッグ環境が必須
234:片山博文MZ ◆T6xkBnTXz7B0
15/05/05 23:02:55.34 p1RbtT4Y.net
コンパイラーの品質保証は、数学で証明する時代だ！！！
Coqと数学でコンパイラーが作れる！！！
URLﾘﾝｸ(compcert.inria.fr)
235:デフォルトの名無しさん
15/05/09 18:57:31.49 SYpntI8c.net
バイトコードインタプリタつくっているんだけど
スタックマシンのコンパイラについて
パラメータスタック（データスタック）はヒープ上におくべき？
それともネイティブの領域におくべき？
236:デフォルトの名無しさん
15/05/09 19:41:52.28 SYpntI8c.net
>>229
訂正
コンパイラー＞仮想機械
237:デフォルトの名無しさん
15/05/09 20:41:51.08 DhZyBtDK.net
>>230
ネイティブスタックにデータも置くって事だよね？
データスタックは分けておいた方がイロイロ楽だったので列挙
たしかこんなの
GC使う様な実装の時の仕分け
実行パスがJITでコンパイルコードと非コンパイルVMコードの行ったり来たりするとき
例外のスタックトレース(これもJIT時のアレコレあり)
チープマシンにVM仕込むときアセンブラで書くのが楽しい
最後はちげぇけど
238:デフォルトの名無しさん
15/05/09 21:02:43.06 SYpntI8c.net
>>231
自分のVMは典型的なスタックマシンで
パラメータスタック（データスタック）とコールスタックは別です。
そのうちデータスタックをヒープ内におくか
アセンブリでかかれたほうのネイティブの領域におくかってことです。
ネイティブ領域においたほうが実際のアドレスとVM上でのアドレスの変換がないので
速度としては速いのですが
欠点としてバイトコードからスタックを参照することができません
焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、
基本的になければネイティブ領域におこうかとおもっています
これまでつくった経験がないので設計としてどちらがよいかわからずお聞きしました
239:デフォルトの名無しさん
15/05/10 09:31:50.02 ZQGgJB6p.net
>>232
> 焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、
バイトコードの設計は終わってるんじゃないのか？
バイトコードの設計終わってりゃ参照の必要があるかどうかはわかってるだろうし、バイトコードの設計終わってないのに VM の構成考えてるならお前が終わってる
240:デフォルトの名無しさん
15/05/10 09:50:11.77 YKkUWNQO.net
>>233
その通りわ
出直して来ます
241:デフォルトの名無しさん
15/05/19 18:50:21.34 a+aajTcz.net
番兵の文字は
utf-8でも16でも32でも-1でいいんですか？
242:デフォルトの名無しさん
15/06/24 17:14:03.39 ZsIPeucp.net
動的型付けってLLVMだとどうやって実装するんだろ
243:デフォルトの名無しさん
15/07/10 19:59:28.32 h+kJ9m+3.net
構文解析+Cに変換して内部でgcc呼んでコンパイルするプログラムはコンパイラって呼んでいいの？
244:デフォルトの名無しさん
15/07/10 20:11:15.28 tLjH7MQJ.net
トランスレータじゃねえの
245:デフォルトの名無しさん
15/07/11 08:23:11.34 SvdcMd32.net
>>238
変換したＣコードを出すならトランスレーターだけどバイナリまで出すならコンパイラーでいいだろ
246:片山博文MZ ◆T6xkBnTXz7B0
15/07/28 03:30:13.81 92wk7rzR.net
果たして文法を仮想化できるか
247:デフォルトの名無しさん
15/08/19 08:24:37.58 zh/OeKTd.net
凄いこと発見したんだけれどもΛの記号は上の尖がったところがルートで
下の二つの棒が辺を表しているんだな
248:デフォルトの名無しさん
15/08/19 22:05:03.04 caRlC37E.net
言語非依存の仮想マシンっていうアイデアがいまいち大成功していないように見えるのって
なんか理由があるのかな。
249:デフォルトの名無しさん
15/08/19 22:59:51.18 7Z0FzJPx.net
落ちてたllvmスレを立て直した
【最速へ】LowLevelVirtualMachine 2【LLVM】
ｽﾚﾘﾝｸ(tech板)
250:片山博文MZ ◆T6xkBnTXz7B0
15/08/19 23:17:16.98 ynuNSl9L.net
>>242
めちゃくちゃ成功してまんがな。LLVM,clang知らないの？
251:デフォルトの名無しさん
15/08/20 00:06:05.42 BI1Ot8hx.net
>>244
実際に成功していても成功していないよ・う・に・見・え・るって話
252:じゃないの？ XCodeのコンパイラがllvm,clangだってのは開発者にしか見えないしclangの話だけ聞いているとgccが組み込み機のCPUに対応してたころみたいに派手に活躍してるとは感じられないって事じゃ無いの？
253:デフォルトの名無しさん
15/08/20 04:55:31.33 uOqBPetd.net
たぶん外国には、CASL2のような仮想アセンブラを使う、
情報処理試験が無いのだろう
2人の大学生が作ったLLVMに、Appleが飛びついた。
それで、Lattner はAppleに就職した
254:デフォルトの名無しさん
15/08/20 11:06:47.70 XXXu8/KU.net
良く言えば新世代の輝き
悪く言えば発展途上の不安定さ
さらに組み込みで言えばカバー範囲の幅広さは犠牲にされがち
将来性でメシが食えるのはごく一部
255:デフォルトの名無しさん
15/08/20 11:31:12.43 WmW0wMbd.net
痛い文章だ
256:デフォルトの名無しさん
15/08/24 00:47:20.35 OjRQ25eS.net
マルチメソッドを効率よく実装するにはどのようにすればよいですか？
257:デフォルトの名無しさん
15/08/24 01:10:40.39 YG1kZeuQ.net
マルチメソッドって何？
258:デフォルトの名無しさん
15/08/24 01:36:14.61 OjRQ25eS.net
OOPの最も基本的な機能です
引数によって、メソッドが切り替わります
多態といいます
259:デフォルトの名無しさん
15/08/24 02:01:55.26 YG1kZeuQ.net
オーバーロードのことですか？
ではマングリング
260:デフォルトの名無しさん
15/08/24 02:21:03.16 OjRQ25eS.net
マルチメソッドはオーバーロードでは無いです
一般にオーバーロードは静的ですが、
マルチメソッドは動的です
261:デフォルトの名無しさん
15/08/24 08:00:36.10 WVPITNbu.net
>>251
> 引数によって、メソッドが切り替わります
はい？
262:デフォルトの名無しさん
15/08/24 08:19:25.57 jJXNOMmM.net
clojureのdefmultiみたいな奴じゃないの？
263:デフォルトの名無しさん
15/08/24 11:49:46.23 BYoao/vR.net
多重ディスパッチのニッチな要求に応えるものか
それとも単純な動的バインディングだけの問題なのか
264:デフォルトの名無しさん
15/08/26 18:36:02.43 XR0u/yGZ.net
マルチメソッドはC++相談室を検索すればなんなのかがわかる
265:片山博文MZ ◆T6xkBnTXz7B0
15/08/30 17:45:45.69 bYlp1Mb/.net
>>249
パターンマッチを効率よく行う
266:デフォルトの名無しさん
15/08/30 19:15:42.50 nhXJHOe7.net
型を連想配列やトライ木で管理すればO(1)
267:デフォルトの名無しさん
15/08/30 20:08:17.93 brcjELIg.net
>>259
clojureはソレだね
268:デフォルトの名無しさん
15/09/17 12:38:19.48 mHCGeegj.net
中間言語の設計に関するノウハウとかアンチパターンとかが書かれた本誰か知ってる？
LLVMとかP-codeとかJava VMとか、あるいはKnuthのMIX/MMIXみたいな機械語に近いレベルの言語を
ソフトウェア実装すること前提に設計する場合について知りたい。
今言語設計してて、そろそろ構文解析できそうだから学んでおきたいんだけど。
269:デフォルトの名無しさん
15/09/17 19:56:34.99 7ftMaB4B.net
最初はネイティブに落とした方がいいぞ
中間言語とか遠回りしてたらアホみたいだぞ
270:デフォルトの名無しさん
15/09/18 15:07:01.58 QAQ6VXx0.net
そんな物他人に教わるくらいならおとなしく既存のを使っとけ
271:デフォルトの名無しさん
15/09/18 20:35:24.73 F4ynHS7Z.net
本として出して需要あるか？もしかしたらサーベイ論文なら探せばあるかも
272:261
15/09/18 21:16:12.07 ArWsl8Ey.net
>>262
素直にコンパイル出来ない言語を設計してるので(clispのような)、snippetの表現をx86/amd64表記にする意義が薄いんですよね。
>>263
凝り性なもので。
>>264
一応ciniiは一通り眺めたけど、中間言語の設計に関する論文って無いんですよね。
素直に
273:「中間言語」で調べると自然言語の翻訳に使う方が大量に引っかかってつらい……
274:デフォルトの名無しさん
15/09/18 22:17:11.93 i7DEL3du.net
>>265
動的型付け必須系？
ならErlangの論文とか資料あさるといいかも
275:261
15/09/19 09:19:04.79 YlOPp2hb.net
>>266
swiftのように演算子をユーザー定義出来て、
c++のように同名異引数の関数を定義出来て、
Lispのように引数間のカンマが要らず、
Rubyのようにカッコを省ける
そんな言語を設計中です。
それらの両立のために実行中に文法を書き換えて構文解析器を再構成するという手法を採ってるので、コンパイル出来ないんですよね……
clispのリードマクロを文脈依存に拡張したものだと言えば大体あってるかと。
ちょっとErlang関連の資料を見てみます。
276:デフォルトの名無しさん
15/09/19 10:26:16.30 7hgo9IJ4.net
>>267
列挙してあることはシンタックス上のことで全部コンパイル時に静的に解決出来そうに見えるけど無理なの？
277:デフォルトの名無しさん
15/09/19 11:29:33.20 I9CWDfzW.net
>>267
コンパイル時の都合だよね？
VMの設計とはなんの関係もなさげなんだけど
278:261
15/09/19 12:48:32.00 YlOPp2hb.net
>>268
今考えてる言語では、演算子の扱いが関数を引数の場所に関して一般化した第一級オブジェクトなので
前置引数の個数や後置引数の個数は実行してみるまで分からないので
コンパイル時の識別子を用いた構文解析は無理です。
前置演算子と一引数関数が別物って変だと思ったのでそうしました。
c++風に書くと、こんな感じのが通るイメージです。
g = [](a,b){return a - b;};
if (複雑な式) {
f = [](a|b,c){return a + b + c;}; // (a|b)で前置引数としてa、後置引数としてbと示すものとする。
} else {
f = [](a,b|c){return a + b + c;};
}
// gは2引数演算子、fは3引数演算子。
// ここではgの優先順位はfより低いものとする(c++での表現方法が無いので)。
// カッコやカンマを省いてある場合、上の条件のどちらが走っても構文上は受理される。
// 複雑な式の結果によって、これはg(1, f(2, 3, 4))及びg(f(1, 2, 3), 4)のどちらにもなりうる。
cout << (g 1 2 f 3 4) << endl;
>>269
そういうわけで一度に全部読み込んでコンパイルしてから実行するという事が出来ないので、
折角だからVMも設計しようと思った次第です。
ASTから中間言語に落とすとcontinuationの実装が楽になるので。
279:デフォルトの名無しさん
15/09/19 13:15:38.32 hJISNbn0.net
g 1 2 f 3 4は構文解析後にはどういうツリーになっているの？
フラットなままで構文解析終えて実行時にまたプチ構文解析をするの？
280:261
15/09/19 13:24:30.87 YlOPp2hb.net
>>271
字句解析でばらばらにしてLL(1)でカッコの対応等について解いた背の低い木にして、その後実行時にLR(1)で式毎に再度解析するので
> フラットなままで構文解析終えて実行時にまたプチ構文解析をするの？
これであってます。
281:デフォルトの名無しさん
15/09/19 14:10:09.60 I9CWDfzW.net
おもしろい事かんがえてるなー
ElixirとかBEAM-VMとか参考になるんじゃねぇの？
282:261
15/09/19 15:18:02.65 YlOPp2hb.net
>>273
高信頼・並列分散に特化したVMのようにあちこちで言われてるみたいですね、ErlangのBEAM-VM.
そう考えるとLLVMは解析容易性特化、JVMはVM自体の実装容易性特化といった所でしょうか。
VMを作るなら何かに特化させるべきなような気がしてきました。
283:デフォルトの名無しさん
15/09/20 00:52:44.57 m4tWKm8w.net
演算子に限定する意味は何だろう
cout << (g 1 2 f 3 4) << endl;
こんなの一見して何してるのか判らないしいっそ構文ごと第一級にすればいい
そもそも実行時に構文解析機まで走らせる重い処理系って必要なのかなあ
クロージャじゃあかんのかね
284:デフォルトの名無しさん
15/09/20 09:22:45.62 tHziPwGz.net
この程度のアイデアしかないようじゃ才能ないわな
285:261
15/09/20 11:27:11.87 oZCwg6h7.net
>>275
今作ってる実装だと構文はhead, body, precedence, directionをキーとするオブジェクトの配列になってるので
構文も第一級オブジェクトのインスタンスになっています。
説明不足ですんません。
コードは現在こんな感じ。もし読みたければどうぞ。
URLﾘﾝｸ(gist.github.com)
debug-printが多かったりコメントが少なかったりしますが……
> そもそも実行時に構文解析機まで走らせる重い処理系って必要なのかなあ
必要性については私にはまだ分かりませんが、
私は昔レキシカルスコープもクロージャもポインタも継続もマクロも無い素晴らしく酷い言語(古いBASIC)で全てを考えていたので、
その経験から、どんな機能も使い慣れると必要になってくると思っています。
>>276
私馬鹿なもんで。
いいアイデアがあったら是非とも実現してくだされ。
286:デフォルトの名無しさん
15/09/20 11:30:35.69 O6Xw3ijC.net
>>275-276
俺にも意味があるようには見えないけど、俺の知らない用途があるのかもしれない
とにかくわからないならスルーしとけよ
287:デフォルトの名無しさん
15/09/20 18:18:01.68 tHziPwGz.net
>>277
絶対真似しないと約束するなら教えてもいいぞ
288:261
15/09/20 18:52:58.39 oZCwg6h7.net
>>279
じゃぁ真似せずに似たようなものを考えつくまで考え抜きます。
私馬鹿なので。
289:デフォルトの名無しさん
15/09/20 20:15:16.31 9UpT3677.net
>>274
BEAMは引数のMatchで分ける処理がVMにあるんでそういう意味でオモシロイコト -> BEAM参考になるんじゃねぇのって話です
290:261
15/09/20 21:59:23.12 oZCwg6h7.net
>>281
調べてみました。
BEAMだと実行時にモジュール名、関数名、及び引数の数を指定して呼び出す関数を同定するんですね。
実引数の数がコンパイル時には分かるから命令語に引数の数を組み込めるのだと思いますが……
今考えてる言語だと、実引数の数が自明じゃないので使いにくい気がします。
助言、ありがとうございます。
291:デフォルトの名無しさん
15/09/21 19:55:02.85 x6IKJHaI.net
スクリプト型の言語って実行時にコンパイル(構文解析？)が発生するから、コンパイル型の言語より遅いのですよね。
では、アプリケーションの起動時にスクリプトを読み込んだ後のパフォーマンスは、スクリプト型もコンパイル型も大差ないのでしょうか？
292:デフォルトの名無しさん
15/09/21 20:31:03.01 XzxcjOEi.net
大差あります
293:デフォルトの名無しさん
15/09/21 21:42:55.66 LoRahTLC.net
>>283
「スクリプト型の言語」やら「コンパイル」やらが何を意味してるのかにも依りますが、
よくある速度重視の構成だと、読み込み時に構文解析や意味解析、中間コード生成を終わらせて
実行時に中間コードを(1)実行可能バイナリに変換するパターンと、(2)仮想マシン上でエミュレートするパターンとの二通りがあります。
(1)の場合は変換処理そのものがそれなりに重く、
しかも高度な最適化を掛けるとそれ自体に時間が掛かってしまうので
最適化は殆ど掛けられずコンパイラ型言語の2～3倍は遅くなりますし、
(2)の場合は1命令実行するのに命令を読み込んで比較してジャンプして、
とCPUがアナログ回路上で並列処理してる計算を逐次的に実行するのでかなり重くなります。
294:デフォルトの名無しさん
15/09/22 13:12:55.44 f7gaXzgp.net
比較にならない
スクリプトは柔軟性重視なので速度を出すためのチューニングは後回しにされる
起動時にある程度最適化できるものもあるが、
最適化のために数十秒～数分かけたりもできない
また実行直前にならないと決まらない内容も多く無駄になってしまう
そもそもコンパイラ型で速度重視のソフトを作る場合は
開発者自身やライブラリがメモリレイアウトなど制御し効率を考慮したコードを書く（書ける）
295:デフォルトの名無しさん
15/09/25 18:30:15.12 TpmuUHaP.net
自分でC言語っぽいスクリプト言語とかデータ形式作ってみたけど、どうだろ？
ちなみにスクリプト言語はSC3_Compilerってのに入ってるが。
URLﾘﾝｸ(osdn.jp)
296:デフォルトの名無しさん
15/09/26 01:18:18.90 4Rxec7m6.net
>>283
「スクリプト言語」の定義は難しいが、おおむね
（１）（ユーザーから見て）明示的なコンパイルというフェーズを経ずに実行される
（２）変数に型がない
（３）実行時に行える処理の柔軟性が高い（例えば関数定義など）
という特徴を持つ言語を指すことが多いだろう。RubyやPythonなど
で、それぞれの特徴が、実行速度を遅くすることに貢献する。
（１）→ 最適化に時間を割けない
（２）→ 実行時に、変数が指すオブジェクトの種類を調べる処理が毎回入る。
（３）→ これを実現するためにバイトコードインタプリタで実装されることが多く、遅くなる
もちろん厳密な定義ではないので、あくまで「おおむね」という話。
Javascriptみたいな変態事例もあるし断定的なことは何も言えない
言葉の定義の論争は不毛
297:デフォルトの名無しさん
15/09/26 11:28:42.59 GpPO3Mdd.net
>>287
(一切実行せずに)サラッと眺めた感じだと
字句解析くらい生成系やライブラリ(flex++やboost::spirit等)に頼ってみたらどうかなってのはあるかな。
変数名としてnCount(整数,カウント)の代わりにixArg(添字,引数)を使うとか
細かいところは幾つかあるかも知れんけど、それなりに読みやすいと思うよ。
stdafx.cppって名前で使ってることは察したけど、VS使うんなら
プロジェクト開くのに必要なファイル(.sln等)を入れるとか、
或いはMinGW/Cygwin/msys2なんかのUnix系ツールでさくっとビルドできるようにcmakeを書くとかしておくと
評価する人が増えると思うよ。
298:デフォルトの名無しさん
15/10/04 21:40:28.41 Qeh3kLaJ.net
おれバカで不勉強だから知らなかったえけど、最近の処理系って状態コードのお持ち帰りをしてくれるんだね
手続きAを呼んだ直後にグローバルな状態変数に何がしかの情報が入ってる(何も起きなかったとか、フックして停止させるの推奨みたいな)
面白いな～
データを加工して返すー＞関数(関数内で処理のフローに関係する記述は禁止)
処理のフローに関係するー＞手続き(状態コードを標準で返す)
複数個所使うで同じ様な処理をまとめるー＞サブルーチン(スタックフレームの無いローカルな手続き)
プログラムを組み上げるときの構造や構成に行儀のよい作法がないと
プログラムのどの時点でどのデータがどの構成や状態にあるのか把握ができなくて発狂するｗｗ
で、なんでも記述できる自由度の高い処理系ほど読解困難な発狂プログラムが出来上がると
299:デフォルトの名無しさん
15/10/05 23:32:01.45 F9TK8Py4.net
>>290
状態コードのお持ち帰りって何？
300:デフォルトの名無しさん
15/10/06 02:07:01.38 mXRqVUnf.net
何を言ってるのかさっぱりワカラン…
301:デフォルトの名無しさん
15/10/06 02:50:21.48 rErEEAIK.net
クロージャのことかな・・・
最初Smalltalkやlispの環境のことかと思ったけど
302:デフォルトの名無しさん
15/10/06 10:51:51.85 SQrzN3D5.net
coroutineだったりして？
303:デフォルトの名無しさん
15/10/06 13:56:11.40 6X8NqiS5.net
継続じゃないの
俺は気持ち悪いとしか思わんけど
304:デフォルトの名無しさん
15/10/06 14:17:39.64 ztjfyQaD.net
なんでも記述できる自由度の高い言語ほど……
305:デフォルトの名無しさん
15/10/06 22:40:32.31 KmJ2byjS.net
(PEEK/POKEで)なんでも記述できる自由度の高いBASIC言語はいかがですかー
306:デフォルトの名無しさん
15/10/07 11:46:38.15 YlJ45J+b.net
文字通りステートコードの事じゃね？
Unixが何十年も前に確立してるけど
# make && make install
307:デフォルトの名無しさん
15/10/11 09:14:44.03 yW9ExgL4.net
なんか意味不明なこと書いてすいません
ステートコードで正しいと思います。
バカ正直に戻り値だけと思い込んでいたので
さっき、vs2013のc++起動して、構成プロパティでx64とアセンブラコードの出力に設定して
c++の入門書を買うか悩むこと5分
lispの実装でググって15分
考えるのやめて現実逃避中orz
一番自由度の高いのはアセンブラ(当たり前だけど)
ただし、全て自己責任(自由度が高い＝自己責任ですよ～)
なんか、適当なスクリプト言語が作れないかなと
308:デフォルトの名無しさん
15/10/11 16:02:56.87 e7nwHPrn.net
>>299
「自由度」の定義は何？確かに「そのマシンで出来ることがなんでも記述できる」ならアセンブリほぼ一択だけど、
例えば「その言語のプリミティブと同等な機能を作れる」ならCommon Lispは自由度が高いし(マクロ最高！)、
或いは「その言語のプリミティブの機能を別な機能に変更出来る」ならTeXは自由度が高いよね(TeXの\endプリミティブが、なんとLaTeXでは違う機能に置き換わってる)。
例えば「その言語の文法を変えられる」って意味ならswiftやprologなんかは自由度が高い例になるだろうし、
仮にそれらの意味であればアセンブリ言語なんて自由度の欠片もない言語の一つになるよ。
適当なスクリプト言語が作りたいならHQ9+かbrainfuckか何かを作ればいいと思うよ
という冗談はさておき、そのスクリプト言語で何をやりたいかによって色々変わってくるよね。
テキスト処理ならgrepやsed、awkやperlなんかは参考になるだろうし、
統計処理や数式処理なんかはRやmathematicaが有名所かな。
読みやすさ重視ならある意味ではCOBOLやBASICが、別な意味ではpythonやrubyが「読みやすさ」を重視した言語として有名だし
とにかく簡単な文法にしたいならlispやpostscriptなんかが興味深い例ではある。
特殊用途向けの言語が作りたいか、汎用的な言語が作りたいか
汎用的な言語であれば手続き型か関数型か論理型か、関数や型はファーストクラスオブジェクトか、どんな文法か。
特殊用途向けの言語であればどんな用途で使うのか。
ノベルゲーム制作の補助向け(NScripter/吉里吉里等)なのか、文法記述用(regex/LR/PEG等)なのか、画像や構造を記述するもの(svg/postscript等)なのか。
309:デフォルトの名無しさん
15/10/12 16:27:55.78 xsIpokn9.net
>>300
丁寧な指摘ありがとうございます。
実際にVS2013をインストールしc++の入門を開いてブレイクポイントーデバッグーアセンブラの表示までたどりつきました
実際のアセンブラのコードを見て少し頭を抱えたしだいです
int a,b,c;
a=1; b=a/2*2;
たったこれだけのコードのアセンブラ出力も、符号拡張命令後の処理の意味が汲み取れませんでした
取り合えず高度な目標はありません
NanaTerryなるアイデアプロセッサを使ってみたらとても使い心地が良かったので
これをシンプルな機能に絞って実装する、そんなプログラムやアイデアを綴るTEXTを扱うtoolを
作りだす為の仕様に絞って色々検討しています。
低機能なlispっぽいなにかになる予定
最近はcコンパイラの実装まで大学のカリキュラムにあると聞いたので凄く刺激を受けました
実際c++の入門などを読んでも言語の仕様に何等かの違和感があるのです
310:デフォルトの名無しさん
15/10/12 18:59:19.08 ATBGiUj9.net
こいつ覚えたての言葉を使いたいだけのワナビーだろ
おそらくスレ違いなのにも気づいてないし相手すること無いぞ
311:デフォルトの名無しさん
15/10/12 19:02:17.18 qifYD3R8.net
パラドックスが始まった
312:デフォルトの名無しさん
15/12/09 21:43:53.38 yqcBT5mk.net
CでCを作るのと、アセンブラ使ってCコンパイラを作るのと、
どっちが良いかな?
313:デフォルトの名無しさん
15/12/09 23:21:35.10 0CTdrHjr.net
CでCを作る時間をCでXを作る時間に充てるのが良い
314:デフォルトの名無しさん
15/12/10 03:57:42.43 zEe7T/5S.net
>>1
デュエル・マスターズ Android版 ，ｉ-OS版、公式 URLﾘﾝｸ(dm.takaratomy.co.jp)
デュエル・マスターズ対戦CGI ex
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(www53.atwiki.jp)
デュエル・マスターズ（デュエマ）DM ONLINE 1.8a ／ VanGuard ONLINE 1.5a
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(uhyohyohyo.sak)<)URLﾘﾝｸ(kiimaa.jugem.jp)
「カードファイト!!ヴァンガード」のネット対戦ができる公式オンラインゲーム「Cardfight!! Online」 2015年冬スタート
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(supersolenoid.blog63.fc2.com)
遊戯王 Automatic Dueling System
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(www3.atwiki.jp)
遊戯王 デュエル・オンライン
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(www31.atwiki.jp)
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(do.yugioh-portal.net)
WIXOSS WEBXOSS URLﾘﾝｸ(webxoss.com) URLﾘﾝｸ(webxoss.com)
BG（ボードゲーム）Engine URLﾘﾝｸ(web.archive.org)
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(14owl.hateblo.jp)
アプレンティス マジック：ザ・ギャザリング（MtG）ｵﾝﾗｲﾝ化 URLﾘﾝｸ(homepage1.nifty.com)
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(homepage1.nifty.com)
315:デフォルトの名無しさん
15/12/10 04:01:27.83 zEe7T/5S.net
【 オンラインTCGエディター 】 >>1,>>306
デュエル・マスターズ的な非電源TCGの 《 オンライン化ツクール系ソフト 》 制作の企画。
例えば、ガチンコ・ジャッジを直ぐにでも導入できる機能を持
316:っておりながら、 当面それを扱わず単純化させておいて、事後的に導入拡張する際に当該システムを ブロック構造の組み合わせで後付け挿入できるように予めシステム化してあるソフト（エディター）。 既存の非電源TCGを劣らずに再現できるならば大概のニーズに応えられる筈。 デュエマ、ヴァンガ、ウィクロス、ポケカ、デジモン、ゼクス、モンコレ、旧ガンダム・ウォー、ライブオン、ディメンション・ゼロ、シャーマン･キング、カードヒーローなど のシステムを完全再現できるように設計するけど、他に此のTCGの此のシステムは再現希望とか有ったら書いて。 マジック：ザ・ギャザリングの全システムを完全に再現するのは無理だから、此れだけは必用だ！って部分のみリクエストして。 WEB通信での対戦は、個vs個、多数乱戦、チームvsチーム、個vsチームを可能な仕様とする方針。 設計思想は 《 RPGツクール 》 が良いかな？ 他に、優れたエディター有ったら挙げてみて。 個人や企業などのベンダーが提示する開発費（見積もり）で折り合えば、発注する。 ↓ エディター群から基本コンセプトを絞り込む（もちろんオリジナルで優れた新ネタが有れば導入する）。 ↓ 遊戯王OCGに関しては、タッグフォース、ADS、デュエルオンラインを発注先ベンダーに研究させる。 バトスピ、ヴァンガ、デュエマなど発売済みゲームソフトが存在してるTCGはベンダーに研究させる。 ↓ 各社TCGを再現するテストプレイ ⇒ 更に改良や修正。 ↓ 機能制限した下位版を制作しても原則として発売せず ＋ 上位版デュエリ－グ用でサーバー稼動。 ↑ 下位版を仮に発売した場合の改造および商用利用には、別途で当社との契約が必要。 さ～て、インド人ベンダーと日本人の翻訳兼PGを見つけよっと！ｗｗ http://wc2014.2ch.net/test/read.cgi/entrance2/1449623194/-18
317:デフォルトの名無しさん
15/12/21 02:59:48.04 4Mx5VRPH.net
>>304
BCPLとかCの生まれをもう一度考えてみると良いんじゃ無いかな？
凸記法で言語の生成を僕が読んだのはBit別冊の何かに書かれていたPlan言語の解説だったけど、ああいう記法って今は使わないのかな？
↑ある言語を生成するのに必要な言語処理系を凸と凹で組み合わせて表記してある奴なんだけど、アカデミックな世界でなんて言う方法かしらないのでこう書いてます。
318:デフォルトの名無しさん
15/12/21 21:20:55.44 6WzMDceb.net
乱数の発生のさせ方は、クロックを利用するものだけかな?
色々ありそうだけど、調べても良くはわからなかった。
319:デフォルトの名無しさん
15/12/22 01:30:01.23 P1DQx2Lt.net
時刻ではなく、プログラムを起動してから経過した時間を取得できます。それを種にする
320:デフォルトの名無しさん
15/12/22 01:34:09.74 P1DQx2Lt.net
GetTickCount function
システムが起動してから経過したミリ秒を取得
Retrieves the number of milliseconds that have elapsed since the system was started, up to 49.7 days.
URLﾘﾝｸ(msdn.microsoft.com)
321:デフォルトの名無しさん
15/12/22 14:10:11.43 dkSLpih8.net
>>309
see
322:dを何にするかって話？ /dev/randomとか
323:デフォルトの名無しさん
15/12/22 14:11:39.64 dkSLpih8.net
>>310
>>311
プログラムやシステムの起動直後に実行するコード、プログラムではほぼ似た値を使うことになってしまう。
324:デフォルトの名無しさん
15/12/22 16:20:29.14 FIUTNb/j.net
>>309
ハードウェアのADコンバータ経由(アナログなノイズジェネレータからADコンバータで拾ってくる奴)で乱数作るとかもあるけど、計算機の乱数は種から一意に求められる様な物が一般的だよ
で種(seed)の値に現在時刻をつかったり、ユーザの挙動(キー入力やマウスの位置)を素にしたりして見かけ上の乱数性を生成しているのが普通。
325:デフォルトの名無しさん
15/12/22 18:18:28.54 qPz15M1W.net
専用ハードがあってもいいかと‥
最近のCPUには載っているそうなんだが
ｽﾚﾘﾝｸ(tech板:337番)
326:デフォルトの名無しさん
15/12/22 20:55:17.79 1duNN4a3.net
乱数表をあらかじめ組み込んでおいて、起動からの時間により、順繰り
読んで擬似的に乱数を発生させる方法はありかな?
327:デフォルトの名無しさん
15/12/22 22:21:41.42 HbMu76eU.net
ねーよ
328:デフォルトの名無しさん
15/12/22 22:39:41.89 S5fGjlFA.net
>>316
乱数表に見えるってだけで良いなら擬似乱数列使えばそれで済む話で
わざわざ乱数表全体を組み込む意味がない
329:デフォルトの名無しさん
15/12/23 02:10:18.76 o2v4fYco.net
何でそんなに起動からの時間が好きなんだよw
女官じゃないぞ
330:デフォルトの名無しさん
15/12/23 14:48:59.82 1VnhNGH+.net
大昔の光栄ゲーでは起動時に RETURN を叩いてもらってそのタイミングで乱数初期化してたｗ
331:デフォルトの名無しさん
15/12/24 23:33:07.59 Uv2klDgG.net
std::random_device
332:デフォルトの名無しさん
15/12/25 21:30:55.13 R/sO38u1.net
ユーザーのマウスの動きを、ミッキー単位で取得して乱数を...と
思ったら、プログラマはマウスを嫌がり、あまり使わないで
tabキー多用する奴も多かったからな。別な手を考えた方が良いかな?
333:デフォルトの名無しさん
15/12/25 22:26:16.56 DXbDvcZw.net
なあ、今時のCPUはランダムデバイス持ってることくらいは知っとこうや
幾らくたばりかけてる爺でも
334:デフォルトの名無しさん
15/12/26 08:32:40.01 CDX6E7Ry.net
なあ、全員が今時のリッチなCPUを使う訳じゃないことくらいは知っとこうや
幾らゆとりのアホでも
335:デフォルトの名無しさん
15/12/26 12:19:14.32 NrOPRYuI.net
CPUを明示して相談しなよ
知らんだけで乱数用のエントロピー生成命令持ってるかもしれんし
IntelならOSがサポートしてなくてもIntel DNRG使えばいい
336:デフォルトの名無しさん
15/12/26 13:31:50.28 4htfJ0fo.net
俺の頭の中のcpu（１０MHｚ）が・・・
337:デフォルトの名無しさん
15/12/26 13:55:58.15 oIXuKyHb.net
リアルタイムで動画処理、画像認識、空間認識、音声認識その他諸々を全部やってのけるのって地味に凄いよな
時間あたりの消費エネルギーも、要求エネルギーが2000kcal～4000kcal/dayとしてもおよそ100W～200Wで非常に効率が良いし
338:デフォルトの名無しさん
15/12/26 20:17:52.51 nC5MMPRS.net
CPUで何でも出来るようになってしまったら、
マの出番はどんどん減ることになりそうだな。
大昔は、足し算と引き算は出来るのに、掛け算と割り算が出来ないのが
当たり前だったからな。30年くらい前のものだとな。
339:デフォルトの名無しさん
15/12/28 10:04:16.17 VJBFmUt0.net
ランダムデバイスに頼るのが良いのか、迷ってしまいそうだな。
こういうのを読んでしまうと...。
URLﾘﾝｸ(cpplover.blogspot.jp)
ハードウェア乱数生成器は信頼できるか
340:デフォルトの名無しさん
15/12/28 10:25:27.73 1a7EtF6d.net
NSAと戦ってる人か
341:デフォルトの名無しさん
15/12/28 12:54:32.70 dgI6+oKo.net
>>329
よくわからんけど生成された値を適当な鍵使って AES 暗号化するんじゃ駄目なの？
342:デフォルトの名無しさん
15/12/28 12:58:36.44 b3qQlUF/.net
OSを作る時の話になってるから適当な鍵をどこから持ってくるか熟慮しないといけない
343:デフォルトの名無しさん
15/12/31 19:14:36.65 shZW63x7.net
一度に数十個の乱数を生成するコードを書き、重複チェックを忘れる俺は、
やはりマには向いていないのかもしれん。コード記述の時点で
重複することが頭から抜けていた。ついうっかり...。
344:デフォルトの名無しさん
16/01/01 03:47:17.29 xJBQ4MUG.net
>>329
自分の方が質が高いのを用意できるわけw
345:デフォルトの名無しさん
16/01/05 10:14:26.10 n8GHd5T0.net
「ハードよりも、俺の方が正確に動く」と、
一度で良いから言ってみたい。
346:デフォルトの名無しさん
16/01/06 02:04:42.23 DSMnLqrW.net
楽するためにプログラミングするのであるが
一向に楽にならず
347:デフォルトの名無しさん
16/01/07 17:58:56.46 3JUqZlZh.net
>>336
顧客が楽になっているだろw
裏でマが血のにじむような努力をしていることを、知る由もないからな。
348:デフォルトの名無しさん
16/01/07 18:29:10.67 E6rodr+5.net
70点じゃなくて55点で妥協すれば
費用が100分の1になるって教えてやれよ
349:デフォルトの名無しさん
16/01/10 10:05:01.35 KKgUy8RE.net
>>338
それは、「バグ入りソフトを出荷する可能性も高くなる」諸刃の剣では?
350:デフォルトの名無しさん
16/01/10 12:22:10.90 a81L0ZQ5.net
妥協するのは仕様でしょ
仕様で無理難題いうの辞めたら
コストも下がるし品質も上がるみたいな
けどスレ違いの話じゃね?
351:デフォルトの名無しさん
16/01/11 20:54:13.20 J50s7Qe5.net
「妥協しないワガママな顧客」に、
「見積もりを二桁足して出したら、予想通り、注文が来なかった」
と言っていたな。最初から断る口実だったのかな。
352:デフォルトの名無しさん
16/01/12 19:46:25.75 7kdSKUGZ.net
>>338
66.66 点くらいで負かりませんか？
353:デフォルトの名無しさん
16/01/13 17:31:32.57 DkyDX7cg.net
>>342
それだと、100万円の費用を85万円に値引くのが限界では?
354:片山博文MZ ◆T6xkBnTXz7B0
16/01/15 20:05:16.26 ds1B8EUq.net
C言語の呼び出し規約に関する文法に
詳しいサイトとかソースとかありますか？
355:デフォルトの名無しさん
16/01/15 22:22:03.06 EuNWEiBo.net
そこで言う呼び出し規約ってのは引数がスタックでどう配置されるかって話?
356:デフォルトの名無しさん
16/01/15 22:31:09.13 +0giQcLD.net
呼び出し規約に関する文法って何ぞ？
357:デフォルトの名無しさん
16/01/15 22:55:08.00 y9x+XKWj.net
C言語のABIは色々あるぞ
基本はcdeclかstdcallだけど
スタック使わずレジスタでやりとりしたり
環境や処理系毎に異なる
358:デフォルトの名無しさん
16/01/16 00:11:40.49 4AnwHYnZ.net
呼び出し規約自体は文法に現れんと思うが
359:デフォルトの名無しさん
16/01/16 01:23:45.39 7+H4Uotl.net
上のcdeclとかstdcall辺りが関数の属性値として付くぐらいじゃないかと
文法的にはこれらは両立しないから複数書いたらエラーとかその程度でしょ
360:デフォルトの名無しさん
16/01/16 01:24:46.12 7+H4Uotl.net
それとgccの__attribute__())構文なんてのもある
括弧
361:の中はもう何でもあり
362:片山博文MZ ◆T6xkBnTXz7B0
16/01/16 12:33:39.48 lRbtk3RI.net
属性について調べればいいのか
ありがとさん
363:デフォルトの名無しさん
16/01/16 12:54:05.36 H0Ul8NcN.net
>>347
独自指定子、pragma指定、
FORTRANのライブラリ呼び出すのあったね
今はextern宣言か
extern "C++"とか
364:デフォルトの名無しさん
16/01/17 14:03:21.22 WTe5Q/ML.net
サポートされる種類は環境依存だし
構文は実装依存だから
規格では書いてない
とりあえず wikipedia 見れば
365:デフォルトの名無しさん
16/01/18 06:53:14.27 TV7ry5Rb.net
>>353
環境依存と実装依存ってどう使い分けてるんだ？
366:デフォルトの名無しさん
16/01/18 08:53:28.44 XM4mBu50.net
>>354
実装であるgccはいろんな環境(プラットフォーム)で動いてる
構文はどの環境でも同じだが
どんな呼び出し規約のライブラリがあるかは
環境ごとに違う
367:デフォルトの名無しさん
16/01/19 11:13:57.61 79hXpIDE.net
新しいコンパイラを作る際、わざわざ「手動でスタックを積み上げたり
開放したりする」命令は、あった方が良いのかな?
メモリ節約や速度に直接、関係するなら言語仕様を作る段階で
考えるけどね。今のパソコンはスピードが速いから、不要といえば不要かも
しれないが。
368:デフォルトの名無しさん
16/01/19 12:41:03.92 uAThxx94.net
そのレベルならインラインアセンブラみたいな
抜け道を作るかどうかって話になるんじゃないの
369:デフォルトの名無しさん
16/01/19 21:16:12.58 j62B2E0v.net
>>356
命令ってどういうこと?
Cのallocaみたいなのを言ってるの
370:デフォルトの名無しさん
16/01/19 23:54:06.44 Xdnj5x+8.net
確保開放やらはSPレジスタをいじるでいいんじゃないかな・・・
SP変更時に無効なSP値だったらエラーにするとかその程度で
コンパイラもよほど変な事しない限りpush/pop命令なんて使わんし
371:デフォルトの名無しさん
16/01/20 12:29:31.81 zFAeGKrq.net
>>356
言語自体の仕様にも依るんじゃないかな。
あと用途とか。
モノリシックカーネルのドライバ書くのに使いますーCとアセンブリの良いとこ取りですーってんなら
手動でスタック積んだり降ろしたりする命令も使うだろうけど
いまいち用途がピンと来ない。
仮にllvm-irの使用を前提にするなら、ネイティブのスタック積んだり下ろしたりするのって意味あんの？っていう議論もありか？
言語仕様を練ってて
シンプルな構文にシンプルな継続(のようなもの)を追加したら
全体的に美しさに欠ける感じになって悩んでる。
372:デフォルトの名無しさん
16/01/22 12:29:02.92 97wZpIfH.net
高級言語の側で、わざわざ、pushやpop命令を言語仕様に入れる必要は
なかったか。メリットも予想ほどないみたいだな。
実行上で、スピードアップになるかと思っていたが。
373:デフォルトの名無しさん
16/01/22 12:55:06.86 8nADuqf6.net
メモリやキャッシュはレジスタよりずっと遅いからなぁ。
レジスタへのアクセスに対してL1キャッシュのアクセスには2〜3倍の時間が掛かるって言われてる。
つまり、レジスタ間mov命令に対してpush/popは1命令あたり2〜3倍遅いって事だ。
C言語のregister修飾子は知ってる？変数がレジスタに乗っかるようにする為の物なんだけど。
グラフ彩色で変数生存期間に対するレジスタの使用を最適化出来る事が知られる以前の産物だから、今は滅多に使われないけどね。
374:片山博文MZ ◆T6xkBnTXz7B0
16/01/22 13:18:42.18 0V0RVdAH.net
バイト列xからバイト列C(x)への変換器Cがあるとき、
Cの逆変換器C^(-1)を求める一般的な方法は何か？
375:デフォルトの名無しさん
16/01/22 20:49:57.23 TW3FacBd.net
>>363
逆アセンブラです。
376:デフォルトの名無しさん
16/01/22 21:58:03.16 bvwDmPF2.net
変換器Cの変換の性質がbijectiveであるという条件をつけなければいけないのではないか。
377:デフォルトの名無しさん
16/01/22 22:13:13.93 9qqofano.net
この方法が分かれば、どんな暗号文も解読できるね！
378:片山博文MZ ◆T6xkBnTXz7B0
16/01/22 22:54:36.97 0V0RVdAH.net
数学板でじっくり考えることにしたよ。
有限数列上の変換について [無断転載禁止]･2ch.net
ｽﾚﾘﾝｸ(math板)
379:デフォルトの名無しさん
16/01/23 09:04:11.89 VPAh/uPo.net
変換器が可逆計算できるとは限らないから一般的な方法は無いだろ。
380:デフォルトの名無しさん
16/01/23 15:07:58.00 0d2orZXz.net
メモ化とテーブルルックアップw
381:デフォルトの名無しさん
16/01/31 19:36:30.55 T/RwY0g5.net
多少勉強すると、いまさらながら、Cがアセンブラにかなり近いレベルの
言語であることが、良くわかるな。
その分、マスターするのに時間もかかったが。
382:デフォルトの名無しさん
16/01/31 19:52:06.23 Vno/qq2m.net
C言語をマスターしたって奴は絶対に信用しないことにしている
383:デフォルトの名無しさん
16/01/31 20:53:44.66 7LoAMsY1.net
入門書一冊読みました＝マスターしました
384:デフォルトの名無しさん
16/01/31 21:17:31.75 QH+McMgz.net
これが本当のマスターベーション
385:デフォルトの名無しさん
16/02/01 16:11:44.37 aq9Mx2ga.net
そんなあなたにスタンディングマスターオベーション
386:デフォルトの名無しさん
16/02/02 10:57:23.41 9eq1u0GM.net
>>371
「C言語をマスターしました」
という奴の化けの皮をはがすのは、意外に簡単だからな。
簡単な計算機プログラムを書かせるか、あるいは、ピタゴラスの定理の
コードでも書かせるか。もっとも、そこで化けの皮がはがれるようなら、
とてもコンパイラの領域まで、進むことは出来ないだろうな。
387:デフォルトの名無しさん
16/02/02 11:36:11.92 7f7wf/mW.net
コンパイラを書ける最低レベルに達しているかどうかの判定がしたければ
「入力された多項式を微分する関数書くならどう書く？」ってくらいは聞きたいけど。
C言語云々じゃなくてデータ構造とアルゴリズムの問題だけど、
Cでやるならポインタと再帰とラムダ算法について知ってなきゃ答えられない。
388:デフォルトの名無しさん
16/02/02 20:19:50.93 WkrnCzmR.net
>>376
単純な多項式に限定していいなら再帰いらんでしょ
最終的に多項式に変換できる式と言うなら別だけど
389:デフォルトの名無しさん
16/02/02 22:20:22.51 7f7wf/mW.net
>>377
すまん
素で項数無限だったり微分不能な関数が入ってたりしないって意味で多項式って言っとったわ。
log(x^2+8*x)とかsin(kx+wt)とかも多項式（笑）
390:デフォルトの名無しさん
16/02/03 11:44:18.92 tCheJck0.net
面接時「Cを三年ほど仕事で使っていました」
↓
採用後「誰だ。あいつを採用したのは！」
「最低、Cを仕事で三年間使っていること」
を条件に採用した会社で、こんなこともないわけではないからな。
本人の申告ほどあてにならないものはない。コンパイラ作成に到達する
など、夢のまた夢。
391:デフォルトの名無しさん
16/02/03 11:59:22.08 uEOUJl1K.net
他人の突っ込んだバグを直せるのが中級者
自分の突っ込んだバグを直せるのが上級者
それ以外は何の参考にもならない
392:デフォルトの名無しさん
16/02/03 12:36:45.52 Gb259GwX.net
それ以外っつーとどんなバグも直せない奴か
そりゃ確かに考慮に値しないな
393:デフォルトの名無しさん
16/02/03 13:57:01.05 WaqhOfMD.net
まあもともとCはコンパイラを書くには向いてないからな
GADTとかある関数型言語で書くのが一番楽
あとコンパイラが糞になるのは大抵対象言語の糞文法と糞デザインのせい
394:デフォルトの名無しさん
16/02/03 13:57:40.61 WaqhOfMD.net
Rubyがなぜあんな巨大な糞なのかというと（お察しください
395:デフォルトの名無しさん
16/02/03 14:06:49.98 uEOUJl1K.net
実用性を求められそれに応えるごとに汚れていくのさ
ピュアでいられるのはお子様だからさ
396:デフォルトの名無しさん
16/02/03 14:17:35.65 WaqhOfMD.net
残念だがルビーの文法とデザインが腐ってるのは初期からだw
397:デフォルトの名無しさん
16/02/04 01:55:33.07 VXt+BkjY.net
∩＿＿＿∩ ∩＿＿＿∩
♪ | ノ ⌒ ⌒ヽﾊｯ __ _,, -ー ,, ﾊｯ / ⌒ ⌒ 丶|
/ (●) (●) ﾊｯ (／ "つ`..,： ﾊｯ (●) (●) 丶 今、どんな気持ち？
| ( _●_) ミ ：/ MZうy ::::::i：. ミ (_●_ ) | ねぇ、どんな気持ち？
＿＿＿ 彡 |∪| ミ ：i ─::!,, ミ､ |∪| ､彡＿＿__
ヽ＿＿＿ ヽノ､｀＼ ヽ.....::::::::: ::::ij(_::● / ヽノ ＿＿＿/
/ ／ヽ < r " .r ミノ~. 〉 ／＼ 丶
/ ／ ￣ ：|::| ::::| :::i ﾟ。 ￣♪ ＼ 丶
/ ／ ♪ ：|::| ::::| :::|： ＼ 丶
（＿ ⌒丶... ：` | ::::| :::|_： /⌒＿）
| /ヽ }. ：.,' ::（ :::} } ﾍ /
し ））. ：:i `.-‐" J´（（
ｿ ﾄﾝﾄﾝ Darkなんちゃら… ｿ ﾄﾝﾄﾝ
398:デフォルトの名無しさん
16/02/04 13:25:41.80 +rC6IKS8.net
優れた文法を手本とするには、どの言語が良いんだ?
どれもこれも長所と短所があるし。
399:デフォルトの名無しさん
16/02/04 15:53:27.61 69F/iNHk.net
優れた文法とは。
400:デフォルトの名無しさん
16/02/04 16:18:01.49 ri7+Aiuk.net
５色のうちからユーザーが好みのものを選べるのがいいんじゃないか
401:デフォルトの名無しさん
16/02/04 16:29:33.62 69F/iNHk.net
5色か
Whitespace
H9Q+
brainfuck
Lazy K
INTERCAL
あたりの文法を参考に・・・・・・
402:デフォルトの名無しさん
16/02/05 13:29:53.12 BBqIJr5G.net
フロントエンドとミドルエンドとバックエンドに分けてフロントエンドはユーザーが作れるようにしておけばいいんじゃないのか？
403:デフォルトの名無しさん
16/02/05 20:10:50.78 um7ZPY3u.net
>>388
言語仕様に「整合性がある」言語の事だが。
一長一短だからな。
404:デフォルトの名無しさん
16/02/05 21:49:15.21 hmTKeVMY.net
でもテンプレートの奥深くみたいな訳の分からないエラーメッセージとか無しでな
405:デフォルトの名無しさん
16/02/05 22:53:24.24 AF25xcuE.net
ミドルにエンドは無いと思うんだが、LLVMがそんな呼び方してるのはなんか意図があるんだろうか
406:デフォルトの名無しさん
16/02/06 00:48:13.75 utAdfs60.net
>>392
大概の言語仕様は無矛盾だと(=整合性があると)思うけど。
407:デフォルトの名無しさん
16/02/06 10:06:04.94 XRyA0EjL.net
最強言語(ｷﾘｯ
でも標準ライブラリも効率的なデバッグの仕組みも考えたことすらありません
408:デフォルトの名無しさん
16/02/06 12:37:09.68 4z0/BkxB.net
そもそも文法がマトモにパーズできるようなものでないと
処理系がバグりまくる（C++や
409:Rubyの惨状を見よ） 静的型を用意するなら型理論に沿ったマトモな型システムでないと 処理系がバグりまくる（C++テンプレートやSwiftの惨状を見よ） オブジェクト指向と関数型の変な折衷をするとこれまた型が アレになって走査パスが増えて処理系が超遅くなる（Scalaの惨状を見よ） 人間が読めて、他のプログラムから容易に生成できて （これは文法が糞だと目も当てられない事になる）、 マトモな言語機能を持った言語以外を作るなと言いたい CやLispより退化してどうするんだ
410:デフォルトの名無しさん
16/02/06 15:40:31.20 lxi6Zpfn.net
手段が目的になってる人はそう思うんだろう
411:デフォルトの名無しさん
16/02/07 11:42:14.16 CwVox+Js.net
かなり昔の事だが、C++のANSI規格作成で、携わっていた委員の一人が、
C++の文法の一部を誤解して覚えていたことが発覚し、周りに苦笑された
事もあったらしいからな。
「言語仕様を作る側」の頭のレベルも念頭に置かないと。
それでなければ整合性には程遠い。
412:デフォルトの名無しさん
16/03/09 17:29:58.75 ISN2ur/+.net
gccですら実装を見送る規格は止めてほしい
CとC++の中間ぐらいの言語が欲しい
プリプロセッサとテンプレートは採用で
413:デフォルトの名無しさん
16/03/14 22:18:27.17 5P+EA/8R.net
名前空間付きC言語程度の言語つくってみようかしらん
特に目的はないけどこれなら作れそうくらいな動機で
414:デフォルトの名無しさん
16/03/15 19:07:41.78 RIoPtDsj.net
>>401
前方参照OKにしてくれ
415:デフォルトの名無しさん
16/03/15 23:33:07.78 8e1lo7mI.net
前方宣言のことだよね？
名前空間のインターフェースみたいなのできたら面白いかも
416:デフォルトの名無しさん
16/03/16 21:23:00.37 ejdJRW9Z.net
いや、多分、前方宣言じゃなく、前方参照のことだろう
417:デフォルトの名無しさん
16/03/17 11:20:18.13 U4keFPtS.net
前方参照でC++でもいまだにエラーとしてる理由って何だっけ
2パスを嫌ってる？
でもC++って何パスもしてる気がするよね
418:デフォルトの名無しさん
16/03/17 11:51:54.16 go3n9QI1.net
Java「クラスの外に宣言書けないようにすればいいのに」
419:デフォルトの名無しさん
16/03/17 19:00:40.54 HqjZona4.net
ヘッダーファイルという糞文化
420:デフォルトの名無しさん
16/03/19 04:08:08.77 YkVYTtmN.net
ポインタは*がなんかダサくて嫌だ
421:デフォルトの名無しさん
16/03/22 01:20:09.95 rf8iBlA4.net
３大OSで動くようにjavaでランタイム書こうと思うんだがポインタないのが不便だね
C言語ソースに変換するほうが楽だと思うけどもう少し粘る
422:片山博文MZ ◆T6xkBnTXz7B0
16/03/22 02:43:19.96 p3cxKPtY.net
LLVMの話はここでいいんだよな？
LLVM+Clangを仮想Ubuntuでビルドしているが、かなり時間が掛かる。
三日間以上か。やはりC++コンパイラを仮想環境でビルドするのは無理があるのか。
実機なら数時間でビルドできるのだろうか。
423:デフォルトの名無しさん
16/03/22 06:20:07.57 2k6rwd23.net
>>409
もうC#でよくね？
424:デフォルトの名無しさん
16/03/22 13:27:29.78 YJW8F40f.net
>>410
仮装マシンの設定間違ってるだけじゃないの？(メモリ配分とかCPU割り当てとか、Networkドライブでコンパイルしちゃったとか)
425:デフォルトの名無しさん
16/03/23 03:14:26.98 o57PmMMS.net
とりあえず関数の外側までパースしつつJVMのバイトコードを勉強してる
helloworldするためのprintln()はどうやって作ればいいのだろう？
426:デフォルトの名無しさん
16/03/23 10:56:44.60 fhNbIMvx.net
>>413
JVM にはI/Oはない。 ネイティブコードのライブラリに投げる。
427:デフォルトの名無しさん
16/03/25 00:41
428::07.93 ID:LUc1dGhA.net
429:デフォルトの名無しさん
16/03/25 06:42:35.83 IRDGuB0e.net
その組み込み関数＝ネイティブコードのライブラリなんでは・・・
430:デフォルトの名無しさん
16/03/26 08:43:48.51 drxQ1xsy.net
何がしたいのか分からん
JVM を呼ぶフロントエンドとグルーを作るだけなんでしょ
431:デフォルトの名無しさん
16/03/31 23:33:53.46 m6GiZo6g.net
業務ソフト開発用のコンパイラと、ゲーム開発用のコンパイラは、
当然、分けて考えないとダメだよな?
432:デフォルトの名無しさん
16/04/01 03:11:11.66 38psm3gC.net
>>418
だめとは何が？
成果物によっては業務だと下手すると死人が出る
ゲームだと下手するとクレームで会社が倒産する
でもその成果物はコンパイラ以外にも色んな工程を経て作られたものだから
最終的にコンパイラが原因だったとしてもコンパイラやその開発者が追及を受ける謂れはない
例えばキミの作ったゴミコンパイラで死人が出たとして責任とれますか？
433:デフォルトの名無しさん
16/04/01 12:33:03.11 EVZZ0pNr.net
そのときは体で詫びます
434:デフォルトの名無しさん
16/04/01 13:14:37.42 TsVr6Gke.net
業務なら信頼性と生産性重視
ゲームなら実行時の性能重視 欲を言えばGPUのデバッグしやすければ勝つる
つうか強みをわかりやすくバーンと出して後は選んでもらうだけだべ
435:デフォルトの名無しさん
16/04/02 11:20:43.68 5nWyUO1B.net
30年以上前に出た、ゲームセンターにあるゲームは、
意外にバグを多く含んでいたんだよな。それを承知で、
みんな遊んでいたから。コンパイラのせいには出来ないだろうが。
初期のナムコ製品なんて、バグ発見と、それを悪用した点数稼ぎが
やたら多かった。
436:デフォルトの名無しさん
16/04/02 12:06:49.67 pO9IxWzb.net
支障のあるバグだけど修正困難なので放置されていた
というのが正しい
ゲーセンのインカムに影響するようなバグは回収されるはず
数年前にサ○ラ大戦のパチのバグで回収になって
50億の損害が出たとかあったな
437:デフォルトの名無しさん
16/04/02 12:24:29.40 k2fP1WMZ.net
>>422
その頃のアーケードゲームはコンパイラつかってないだろ、8ビットでz80、良くて6809の時代でコンパイラはi8080向けの LSI-Cが出たか出ないかの時代だぞ
>>423
サクラ大戦ってそんなに売上げあったん？
438:デフォルトの名無しさん
16/04/02 19:15:30.37 P1i243h5.net
>>424
> サクラ大戦ってそんなに売上げあったん？
ゲームじゃなくてこう言う話でしょ
URLﾘﾝｸ(slosoku.com)
439:デフォルトの名無しさん
16/04/02 22:12:51.38 k2fP1WMZ.net
>>425
パチスロかパチンコなのね
440:デフォルトの名無しさん
16/04/03 02:39:40.29 iadWYSqN.net
千円の物が百万個売れると10億なので
ゲームの方も50億くらいはあるんじゃないの
441:デフォルトの名無しさん
16/04/03 21:47:29.31 2hoiGC6I.net
その昔、ナムコのゲーム開発部隊では、OSを作っていたのが二人いたそうだ。
苦心惨憺の末、ギャラガというゲームを作ったライトサイドプログラマー
の大森田氏。一方、ダークサイドプログラマーとして名高い島岡弘氏。
今ではコンパイラ作りの情報はありふれているが、やはり、当時としては
相当凄かったらしく、一目置かれていたとか。
今だと、コンパイラ作るだけでは、誰も誉めてくれないからな。
中身を見るまでは、お褒めの言葉にも預かれない。
442:片山博文MZ ◆T6xkBnTXz7B0
16/04/03 21:57:18.40 YoKWiOlG.net
ヘイジャックども、英語の重要な技術文書をどんどん翻訳して
WikiBookやGitHubに上げていこっぜ、ベイベー。
443:デフォルトの名無しさん
16/04/04 01:03:07.07 DatNOwTQ.net
>>429
MSの技術解説部分も、昔は翻訳するのに制限がかかっていなかったか?
そのためにVC++を使いこなすために英文マニュアルとの格闘に
なって苦労したぜ。C++特有のわかりづらさと、英文マニュアルと、
初めて使う統合開発環境に戸惑い、ドえらく時間がかかった経験が...。
444:片山博文MZ ◆T6xkBnTXz7B0
16/04/04 08:31:57.12 P4S1l6wk.net
>>430
翻訳権ってMSDNにもあるんかいな。
いい加減、日本の著作権法にもフェアユースを
明記してほしいよな。
445:デフォルトの名無しさん
16/04/04 16:51:18.37 nzuN3Nfl.net
MindのUnicodeとか版コンパイラ作りたい
446:デフォルトの名無しさん
16/04/04 21:22:22.97 DatNOwTQ.net
VC++のWindowsAPIの説明がわかりづらかったので、Delphiを使い始め
たら、同じく日本語化がまったくされておらず、詳しい人に聞いたら、
「翻訳してはならない」と聞かされて唖然としたよw
今では、遠い昔の話だが。
447:デフォルトの名無しさん
16/04/06 23:25:48.22 WLNAeUhL.net
やっと関数の外側をパースできたわ
448:デフォルトの名無しさん
16/04/09 04:04:13.10 NXdWBRID.net
「豊富なライブラリやツール群を用意した、高額のコンパイラ」と、
「格安のコンパイラだが、別売オプションのライブラリも用意しないと、
たいしたソフトは作れない」ものでは、商売上、どちらが賢いだろうか?
449:デフォルトの名無しさん
16/04/09 04:51:56.27 u1ofpue+.net
どっちも無理
450:デフォルトの名無しさん
16/04/09 07:04:44.02 FoBfIIvs.net
頭いい大学行くとコンパイラ理論とか習えたのかな？
独学してるけどさ、あらゆる犠牲を払わなきゃ理解、応用するまでいかなくない？
451:デフォルトの名無しさん
16/04/09 09:51:43.80 VHmuSaPj.net
京大はCコンパイラを全員に書かせるって聞いた
452:デフォルトの名無しさん
16/04/09 10:55:12.53 yIzAT5uL.net
コンパイラを自作するのは意味があるけど
Cが引きずるクソ設計を知ったら二度とC/C++をつかわなくなるはず
453:デフォルトの名無しさん
16/04/09 16:46:46.79 NknyIt7s.net
PascalのコードをCのコードに変換するプログラムを作れとかいう
何も考えずに出題されたとしか考えられない課題にはマジで困った
まず、関数内関数とかCに無いですしお寿司
適当な名前付けてグローバルに放り出すとしても
それだけではローカル変数のキャプチャが出来ないから
どうすんだこれ？って感じで、まぁ引数で渡すしかないんだけど
課題提出までの時間も全然足りてないし、誰も出来なかった
454:デフォルトの名無しさん
16/04/09 17:17:55.52 yIzAT5uL.net
>>440
しかるべきところにぶち上げて資質を問うべき
455:デフォルトの名無しさん
16/04/09 17:43:08.14 YNau7unG.net
ローカル変数は参照渡しすればいいだけじゃね？
456:デフォルトの名無しさん
16/04/09 21:34:08.79 YC7vrxdl.net
>>440
要するに p2c 作れってことだろ
パクれとは言わんけどコード参考にすればいいだけ
457:デフォルトの名無しさん
16/04/10 02:18:39.46 tVvAXki7.net
>>440
それ何日でやれと言われたんだ？ 不可能では無いけど課題と言うにはレベル高すぎてビックリ
458:デフォルトの名無しさん
16/04/10 03:55:26.52 DcOaBboz.net
昔の事でよく覚えてないが、一か月ぐらいじゃなかったかね、良くわからんが
笑えるのが、その�
459:\フトを作ること自体は前座でしかなく その後、作ったソフトを持ち寄って、レビューか何かをするのが本題の講義であって ソフトは皆で議論をする上での、ほんの話題のための「種」にすぎないってのがね よくあるじゃない、プロジェクトマネンジメントとかコードレビューとかの ちょっと実際のプロジェクトを模範した感じの、実戦風のワイワイガヤガヤ系の講義 あんな感じのやつだった これがコンパイラの講義の課題ならまだわかるんだけどねぇ どちらにせよ、プログラミング覚えたての学部生には酷な課題 二年生でC習って、三年生でいきなりこれ作れって、そりゃ無理ですって 普通にPascalのインタプリタ作るのだって、実力的にまだ厳しいのに そこからさらにCに変換しろだなんて いくつかのチームに分かれていて、チームごとに与えられる課題は違っていたんだけど 俺は最も簡単な課題が当たったから何でもなかったけど
460:デフォルトの名無しさん
16/04/10 09:23:24.83 fTRAmtFw.net
関数内関数ってトランスレーター的には別に難しくないだろ
3日もあればできるんじゃね
461:デフォルトの名無しさん
16/04/10 09:34:58.78 372ncJJS.net
>>440 > マジで困った
>>445 > 何でもなかったけど
痴呆症乙
462:デフォルトの名無しさん
16/04/10 10:26:51.59 hSypwT6Y.net
誰も提出できなかったけど本題じゃないから授業は進んだってことだろ
463:デフォルトの名無しさん
16/04/10 11:06:35.40 jQD3kWDp.net
ただのホラフキ―じゃん
464:デフォルトの名無しさん
16/04/11 11:50:30.22 3nONGRtl.net
大昔のMacはpascalでの開発を前提にしていたからな。
(Macツールボックスは、Pascalで呼び出しを前提にしていた)
途中からはCやC++用にツールは変貌していったが。
465:デフォルトの名無しさん
16/04/11 17:10:55.05 suuESVM3.net
>>450
なつかしすぎるなぁ、light speed Cとか買ったとき「ああ、これでCで書ける」などと感動したわ
466:デフォルトの名無しさん
16/04/11 18:25:37.58 8c5Uimxv.net
C言語より動的型付け言語の方が先に広まってたって意外だなあ
467:デフォルトの名無しさん
16/04/12 02:21:49.83 0eQ6kuw9.net
AppleのMPW。あるいはハイパーカード。
Think Cや、Code Warriorなど、一時は、Macで夢のようなソフト作りに
あこがれた時期もあった。でも、遠い昔の話だ。
468:デフォルトの名無しさん
16/04/12 09:22:22.73 Pd8H+utR.net
静的型付けのほうが高度なんだよ
469:デフォルトの名無しさん
16/04/13 01:10:21.79 inw4nZY2.net
俺もアセンブラ→静的型→動的型の順で作られてきたと思ってたけど
ジョブスの伝記漫画でウォズがアセンブラでBasic作る話があったような気がする
470:デフォルトの名無しさん
16/04/13 01:14:40.21 rXMD6+sH.net
基本文字列だけでいいんだよ
型なんて文字列をどう解釈するかの話だよ
471:デフォルトの名無しさん
16/04/13 01:23:46.16 2h1lI58Z.net
>>455
しらないのか？Microsoft
472:デフォルトの名無しさん
16/04/13 13:34:00.12 a0UNLavD.net
もっとも愛着のあるコンパイラは、Quick BASICだった。
遠い昔の話。でも、凄く使いやすかったんだよな。
473:デフォルトの名無しさん
16/04/13 17:57:30.26 V3wVZgaP.net
コンパイラの初心者本？
「Tiny BasicをCで書く」
出版社: ソシム (2016/4/22)
ISBN-10: 4802610203
ISBN-13: 978-4802610209
474:デフォルトの名無しさん
16/04/14 00:25:42.75 Nyx2HJFW.net
関数の先頭にfunctionキーワードを付けるとして長すぎるから変えようと思うんだけど
doとかjobではおかしいかなあ？
475:デフォルトの名無しさん
16/04/14 01:10:11.46 FsF2j7W4.net
>>460
fnじゃだめなん？
Clojureだと(fn [arg] brabrabra)な感じ
476:デフォルトの名無しさん
16/04/14 01:29:14.13 Nyx2HJFW.net
>>461
rustのfunc, iface, modとかもそうだけど省略形はいまいちだなと思う
rubyにfor() do {}構文があるんだけど、それで関数やラムダ式の記号に
do良さげかなと思うんだけどどうかな？
477:Office & Gamers @ 試験運用中（トリなしｗ
16/04/14 02:42:08.95 co1HctEv.net
コンパイラの醍醐味は式の展開だから、ここを自分で書ければあとはそれほど難しくないｗ
478:デフォルトの名無しさん
16/04/14 08:30:10.02 BY7gxQ6D.net
define ならわかるが do はないだろう
479:デフォルトの名無しさん
16/04/14 09:12:23.12 d9D6y2bX.net
dogazer
480:デフォルトの名無しさん
16/04/14 09:35:38.15 HeHUqy+f.net
関数も変数もletで
481:デフォルトの名無しさん
16/04/14 12:27:04.84 kJxBjGsl.net
予約語テーブルに何を入れるかが難しい。
何でも詰め込みすぎると、肥大化しすぎたC++になってしまうし。
482:デフォルトの名無しさん
16/04/14 18:04:51.72 FsF2j7W4.net
>>462
そうかなぁ？
一般名詞や動詞とかぶりそうも無い省略形ってコンピュータ言語には向いているとおもうのだ。
defunとかdefnとか
無名関数作るのにはUnicode圏が一般化した今ならλ一文字とか
483:デフォルトの名無しさん
16/04/14 20:06:31.03 VC8/A0Ig.net
略語もセンスがいるよな
ところで、defunって何の略？
どうでも良いけどλなんか変換しなきゃ出てこないし入力速度最悪だな
484:デフォルトの名無しさん
16/04/14 20:21:19.82 gC/abIq/.net
>>469
> defunって何の略？
DEfine FUNction じゃね？
485:デフォルトの名無しさん
16/04/14 20:43:14.68 FsF2j7W4.net
>>469
>>470氏が書いているけどdefine functionの略だよ、common lispとかemacs lispとかでつかわれてる
λ自体は”lambda”をテキストエディタ側で差し替えるとか一文字入力のマクロをバインドすればいいだけだと思うのだよね(IDE作り込みの一環)
どっちかっつーとワタシの一押しは関数定義の宣言句に省略形を許せば良くない？ってだけなのでスレ違いではある。
486:デフォルトの名無しさん
16/04/17 00:39:50.58 SCILLDG5.net
letはconstの代わりに使う言語があるね
関数宣言にdoがないとなると色々と候補に悩んでしまうぜ
job, fun, flow, verb, work, act(action)
487:デフォルトの名無しさん
16/04/17 01:15:23.96 iuB497/s.net
>>472
再代入を許さない言語だとletがconstと等価になるからじゃないのかな？
>>460
関数宣言がfunction hoge(args)と言う形をとる事をやめて予約語(function)無しでも可能な感じはしないでもないのだけど文法に制限って起きうるかな？
(Return型) function-name(Args....)
とか
function-name(Args):Return-Type
前者はCだし、後者はJScriptの宣言形式だけど、これじゃイヤな理由も思いつかない。
グローバル変数の定義とか外部変数定義とかのvar,static,externやら名前空間のnamespaceとかpackageとかimport等の特殊な予約語彙だけ文の開始から除外すれば後者の方法で関数は定義できると思うのだけど。
488:デフォルトの名無しさん
16/04/17 03:41:30.77 SCILLDG5.net
>>473
＞予約語なくせば？
変数宣言でも関数宣言でも先頭に予約語が付いてIDEが色つけてくれ�
489:ｽ方が見やすいじゃない？ もしくは関数宣言をすべて関数ポインタ（クロージャ？）のみにして、変数化してしまうか？ var function-name = ->(args...){ ... }