- 1 名前：デフォルトの名無しさん mailto:sage [2006/05/06(土) 00:59:13 ]
- プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。
過去スレ
1 pc.2ch.net/tech/kako/981/981672957.html
2 pc2.2ch.net/test/read.cgi/tech/1021136715/
3 pc5.2ch.net/test/read.cgi/tech/1070089173/
4 pc5.2ch.net/test/read.cgi/tech/1100097050/
5 pc8.2ch.net/test/read.cgi/tech/1106129164/
6 pc8.2ch.net/test/read.cgi/tech/1115335709/
7 pc8.2ch.net/test/read.cgi/tech/1129287390/
8 pc8.2ch.net/test/read.cgi/tech/1131273918/
9 pc8.2ch.net/test/read.cgi/tech/1135082582/
関連リンクは多分 >>2-10 あたり
- 820 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:36:04 ]
- >>818
型なしの関数型言語の代表格だからだよ。
- 821 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:37:13 ]
- 別に言語は何だっていいけど、Lispは勉強するのに必要な資料が一番多いんじゃないかな。
- 822 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:38:40 ]
- 紙と鉛筆で十分だが
- 823 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 21:41:26 ]
- Lisperの一部は鼻持ちならない選民思想の持ち主だが、
そうでない者も多い。
「Lisp一番！！」なレスはスルーでヨロ。
- 824 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 22:04:01 ]
- カステラ一番、Lispは二番！！
- 825 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 22:26:08 ]
- >>819
んじゃあ、形無しラムダ計算は発明から何十年もの間、
その本質は表現されなかったんだｗ
- 826 名前：デフォルトの名無しさん mailto:sage [2006/09/19(火) 22:51:12 ]
- 実際Lispがなかったら埋まったままだったろうなあ
- 827 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 00:51:30 ]
- >>825
ここプログラム技術板だから。
（と、この説明で恥ずかしくならないようなら問題外 :-) ）
- 828 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 02:00:59 ]
- >>825
Lisp はクソだが見当違いの叩きを展開するアホはもっとクソだ。
ここは叩くスレじゃねーんだ。バカは↓でも抱いて海に消えろ。
文句は直接開発者にでもメールしてろ。
強い型付き LISP： ttp://www.lambdassociates.org/qiml.htm
- 829 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 06:28:07 ]
- 言語ネタは叩き厨がファビョって荒れるんで Code Generation でも語ろうぜ
JIT なんだけど GNU Liblightning ってどうなん？使ってるプロジェクトって
qu 以外にある？
- 830 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 07:37:14 ]
- >>827
>>828
おまえらこそ流れを読まず見当違いのレスをするんじゃねーよ。
>>827よ、お前が一番恥ずかしい。
>>828よ、もはやLispではないものを持ってきてなんのつもりだ？
Lispを叩いているんじゃない。
Lispが至高のものと信じて疑わず、言語開発者でもないくせに
多言語使用者を見下すだけの輩が日本に増えるのは有害だ。
もっと先を見ろ。SICPなんて初学者向けの本だ。
世界はもっと進んでいるぞ。
- 831 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 08:08:32 ]
- >>830
そのｺﾋﾟﾍﾟどこかで見たな。元ネタは何だっけ?
- 832 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 08:16:50 ]
- 世界はもっと進んでいるぞのガイドライン
ttp://ex13.2ch.net/test/read.cgi/gline/1139460483/
- 833 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 08:53:17 ]
- 型付きの LISP よりも、副作用がバンバン書ける SML が欲すぃ。
- 834 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 10:11:04 ]
- >>830
大学って初学者向きの授業をするところだと思うんですけど・・
- 835 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 17:30:18 ]
- >>830
もうちょっと「論理的に見えるこじつけ」を期待したんだけどなぁ。
それじゃあ自意識に潰されて暴走する中学生だよ、キミぃ。
- 836 名前：デフォルトの名無しさん [2006/09/20(水) 17:41:19 ]
- やっぱり>>835のように、経験者の言葉は一味違うね。
- 837 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 18:11:42 ]
- Currying and Partial Applications
Qi permits currying
(10-) ((* 7) 8)
56
and also partial applications, which generate Lisp closures.
(11-) (* 7)
#<CLOSURE :LAMBDA (Z100983) (* 7 Z100983)>
ｽｺﾞｽ
- 838 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 18:22:46 ]
- Lisp (というよりS式)は中間言語に最適です、gcc でも使われてますし。
- 839 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 19:12:18 ]
- S式というよりツリー形式が本質なのでは？
- 840 名前：デフォルトの名無しさん mailto:sage [2006/09/20(水) 22:51:54 ]
- 何でツリーの形式になるのか値？
- 841 名前：デフォルトの名無しさん mailto:sage [2006/09/22(金) 16:20:44 ]
- squirrel-lang.org/
なんか、配列の中に、変数とか書ける。
どういう感じで実装しトンのかな。
Hash？
- 842 名前：デフォルトの名無しさん mailto:sage [2006/09/22(金) 18:41:44 ]
- 単に statement というか block がファーストクラスオブジェクとして扱えるってことでは？
- 843 名前：デフォルトの名無しさん mailto:sage [2006/09/28(木) 23:31:27 ]
- ttp://www.amazon.co.jp/gp/product/0321486811
これってさ、いつ出るんだかわからなかった21st Century Compilersが遂に出ました、ってこと？
- 844 名前：デフォルトの名無しさん mailto:sage [2006/09/28(木) 23:46:18 ]
- うん。予定より章が減ってる気のせいがするけどね。
- 845 名前：デフォルトの名無しさん [2006/10/06(金) 03:41:19 ]
-
このスレはLISPの話題が出ないと回らないんだな
- 846 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 10:00:22 ]
- つか、>>1に書いてある話題のほとんどは全然出てこないw
- 847 名前：デフォルトの名無しさん [2006/10/06(金) 10:17:02 ]
- じゃ、質問してみる。
どうせ過疎ってることだし、あわよくば神が現れることを期待して。
>>1に書いてある内容、どれでもいいから語ってください。
なぜそんなものが必要なのか。どんな意義があるのか。どこまで研究が進んでいるか。どこまで実装されているか。身近に有用な具体例はあるか。社会や倫理に与える影響はあるか。おまいはなぜそんなことまで知っているのか。LispやRubyとの関ｋ（ｒｙ。などなど。
- 848 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 15:05:36 ]
- それは質問とは言わん
- 849 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 15:18:20 ]
- 言い出しっぺが語れよ
- 850 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 21:21:36 ]
- >>843について語るとか。
- 851 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 22:33:06 ]
- >>850
Amazonに登録された当初、14,000円弱だったが日々値下がりしているので様子見中。
- 852 名前：デフォルトの名無しさん mailto:sage [2006/10/06(金) 22:39:44 ]
- 俺言語ってどのくらいの人が作ってて、どれくらい完成してる？
ちょっと前は俺言語作ってるって人webで良く見たんだが、
最近自分の見る範囲では現れない。
また、作ってるって人も全然進んでなさげ。
- 853 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 01:37:35 ]
- みんなもう飽きたんだよ
- 854 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 02:16:02 ]
- 手続き型にしか触らないで秋田とか言う人
Scheme面白いよ
Lisperが何故偉そうに語るのかわかる
- 855 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 02:38:36 ]
- 手続き型にしか触らないで山形とか言う人
Prolog面白いよ
世界が変わるから一度試してみるといい
いや、マジで
- 856 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:30:20 ]
- >>854
schemeおもしろいって・・
お前素人だろ？まるわかり。
- 857 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:31:08 ]
- >>855
学部２年生だろ？まるわかり。
- 858 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:31:45 ]
- >>852
高校生乙
- 859 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 03:32:49 ]
- 2chはもはや素人の集まりか。
- 860 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 04:40:42 ]
- >>859
はじめからなｷｶﾞｽ
>>852
組み込み用のUIハンドリング言語なら俺言語（つか社用言語）あるよ
- 861 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 06:09:48 ]
- prologみたいな変な言語って
>>1に書いてある様な即物的な技術と関係あるの？
- 862 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 07:59:55 ]
- prologのことは知らないが、>>1にある技術って実際に世の中に広まってる処理系に使われてるの？
- 863 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 08:02:51 ]
- 即物的かどうかはしらんが、Prolog といえば David Warren が設計したWAM つー
仮想マシンが有名だよ。述語論理を直接マシンコードに〜とかやってるなかで、
「こんな機械があればいいじゃん」というアプローチは新鮮だった。興味があ
るなら調べてみては。
- 864 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 09:32:39 ]
- >>862
prologのことだけじゃなく、何にも知らないんじゃん
- 865 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 09:38:52 ]
- prologのことは知らないが、>>1にある技術がすべて実用化されていることは確かだ
- 866 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 11:47:42 ]
- >>862
当たり前じゃん
- 867 名前：デフォルトの名無しさん mailto:sage [2006/10/07(土) 11:48:23 ]
- >>861
prologは定理証明支援系だから。
- 868 名前：デフォルトの名無しさん mailto:sage [2006/10/08(日) 06:10:21 ]
- だから？
- 869 名前：デフォルトの名無しさん mailto:sage [2006/10/08(日) 09:08:11 ]
- 伊代はまだ、１６だから。
- 870 名前：デフォルトの名無しさん mailto:sage [2006/10/08(日) 21:01:57 ]
- 未だにかよ>>869
- 871 名前：デフォルトの名無しさん [2006/10/09(月) 14:53:20 ]
-
じゃ〜、>>900 を取ったやつが言語を作る！
- 872 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 14:56:25 ]
- 型付きオブジェクト指向言語でオープンクラスが可能な言語が良いのぅ
- 873 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:10:45 ]
- 公開授業？
- 874 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:33:38 ]
- オープンクラスってなんだよｗｗ
ちなみに俺言語作ってる奴は、俺自身を除いて２人知っている。
ただ単に話題にならないから、無いものと思ったのかもね >>852 は。
- 875 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:38:29 ]
- 俺言語なんて無意味の極み
- 876 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:50:46 ]
- >>875
普通のアプリ作ってる分にはあんまり関係ないかもしれないが
マイナーな環境だと俺言語（別に何かとコンパチでもいいが）じゃないと困る事もある。
つか困った事がある。
- 877 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:57:20 ]
- Open-Class considered harmful.
- 878 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 16:57:53 ]
- >>876
GAS使え
- 879 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:10:25 ]
- 俺言語っつーか、DSL(DSL:Domain Specific Language)はいるよね。
- 880 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:11:20 ]
- ゲームのスクリプト程度のものまで含めたら、結構みんな色々作ってるだろうけどね。
「言語」なる表現に並々ならぬ神聖性を見出している方々にも一切の難癖を付けられない、
いわゆる本格的な「言語」となると、なかなか居ないだろうなぁ。
- 881 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:16:52 ]
- Rubyは、代表的な俺言語なわけだがｗ
- 882 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 17:48:11 ]
- >>878
そうやって全部バイナリごりごり作ると入り切らない。
で、vmで処理単位を大きくした命令を処理するのだけど、そのままじゃやっていられない。
結局俺言語が導入されそのvmをエミュレートするＰＣを用意してそっちでデバッグ完了してから
実機へ導入になる。
つか組み込みで吝いCPUとメモリとかだとどうしようもない。
組み込み以外で極端だったのはポケットステーションくらいだが。
- 883 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:02:21 ]
- それって、俺言語じゃねえよ
俺言語ってのはやっぱり、
「これが俺の言語だ！どうだ！！」ってなやつのことだもん
「この環境で言語いるから、お前作れよ！」
ってな感じで作らされるのは、『お前言語』ってところだ
- 884 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:03:59 ]
- 「代表的な俺言語」っていうのは、宿命的に難しい定義だな。
こういう場で代表になれるような言語が、果たして今もなお俺言語の名にふさわしいかって点で。
- 885 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:05:32 ]
- >>883
ﾁｮﾄﾜﾛﾀ
- 886 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:05:38 ]
- >>883
それはつまり「開発することが手段ではなく目的である言語」というような感じかな。
- 887 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:10:32 ]
- 俺言語って、我流言語って事じゃないの？
ちゃんと勉強した人が作った言語は、その人がアマチュアであっても俺言語じゃない。
- 888 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:13:30 ]
- ↑はい、「俺ローカル定義」でました
- 889 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:15:18 ]
- >>886
その定義に一票
- 890 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:16:45 ]
- 「俺」と「ローカル」はまぁ同義語ってわけじゃないけど、
この場合の「比喩的に用いられるローカル」は「俺」とかなりかぶってるから、
「俺ローカル定義」ってのはどうだろうなぁ。ちょっと響きがヌケてるかもしれないな。
- 891 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:35:11 ]
- >>886
じゃあ、やっぱり、Rubyは俺言語だｗ
- 892 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:37:09 ]
- 886の定義だと、ほとんどの言語が俺言語だろ。
- 893 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:43:21 ]
- すべては俺言語から始まった
- 894 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:52:29 ]
- >>891
Rubyはそれっぽいね。
Perlはラリーの仕事道具として生まれたみたいだけど。
>>892
んー、それはどうだろう。
「ここでこういうのがあると便利だから」っていう理由（これは「手段」だよね）が
一番多いような気がするけどなぁ。いや、気がするだけね、あくまで。
- 895 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:56:19 ]
- >>871
>>900 俺言語作れよ〜
- 896 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:57:02 ]
- >>894
>Perlはラリーの仕事道具として生まれたみたいだけど。
はぁ？じゃあ「開発することが手段ではなく目的である言語」じゃないじゃん。
「開発を始める時の動機が手段ではなく目的だった言語」だろ。
- 897 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 18:59:46 ]
- >>896
ごめんなさい。
君がキチガイにしか見えません。
- 898 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:01:43 ]
- 使えたら何でもいいのと違う？
- 899 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:03:31 ]
- >>897
大丈夫。キチガイはお前だよ。
- 900 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:04:03 ]
- >>896
だから、「Rubyは>>886の定義に該当するね。Perlは違うけど」って言ってるんだろ>>894は。
- 901 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:10:11 ]
- >>900
何いってんの？
886の定義 「開発することが手段ではなく目的である言語」
にPerlも該当するよ。昔はどうだか知らんが今はそうだろ？
Perlはラリーの仕事道具として産まれたから俺言語の定義から外れるっつーなら、
886の定義は正しくは「開発を始める時の動機が手段ではなく目的だった言語」だろっていってんの。
- 902 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:12:28 ]
- 不毛な。
- 903 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:14:19 ]
- >>901
> っていってんの
今言ったのはわかるけど、さっきは言ってなかったね。
- 904 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:15:59 ]
- >>902
Perlの現状に関する自分の価値観を
どさくさ紛れにアピールしてるだけの抵抗レスだからな。
「あんなのSFじゃない！」とかそういうのの仲間。
- 905 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:16:15 ]
- >>903
さっきも言ってるよ。
- 906 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:16:56 ]
- >>904
文盲？
- 907 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:21:53 ]
- >>906
寒いよお前。
- 908 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:25:56 ]
- 相変わらずスレタイから外れると伸びが良くなるな。
自分のレベルに落ちてきた途端に水を得た魚のように振る舞うのって、
露骨すぎると超笑えるぜ？ｗ
- 909 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:26:21 ]
- 文盲に「寒いよ」といわれてもなぁ
- 910 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:31:38 ]
- 文盲って言葉が好きなんだなぁ、ボク。
- 911 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:33:11 ]
- >>908
「超笑えるぜ？」なんて、そんな水を得た魚のように言われると
超 笑 え る ぜ ？ ｗ
- 912 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:36:20 ]
- そんなに悔しかったのか。どおどおどお。とにかく落ち着こう。
興奮するともっと馬鹿に見えちゃうからねｗ
- 913 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:39:15 ]
- 流石に「超笑えるぜ？ｗ」で悔しがる人は居ない。
どっちかというと、「超笑えるぜ？ｗ」と言った人間が悔しいだろうな。
- 914 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:41:43 ]
- >>910
一度設定を固めたら、絶対その物語の中からしか言葉を紡ぎ出さない。
まぁ頭の弱い奴が最後まで場に立っていようとしたら、そういう
「"頭を使わないナンセンス"をまき散らして、相手に放置されるのを待つ」方法しか無いよｗ
お前のその子供扱い設定も同じだな。まぁこうして指摘したから変えるかもしれんが、
そのままだったらその路線でずっと行ってたろどうせｗ
- 915 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:44:03 ]
- >>913
> 流石に「超笑えるぜ？ｗ」で悔しがる人は居ない。
だよなぁ。
俺もまさか、こんなに悔しがる奴が現れるなんて思ってもみなかった。
いまどき字間なんか開けちゃうしさぁ。「あちゃ〜」みたいな失笑すら出てくるし。
- 916 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:45:13 ]
- 俺は超笑えるぜ路線でずっと行こう
- 917 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:45:15 ]
- 水を差すようで悪いけど、この不毛のスレは何時まで続くの？
- 918 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:46:23 ]
- >>915
残念だけど、そのレス悔しさがにじみ出てて、超笑えるぜ？ｗ
- 919 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:48:13 ]
- Perlの歴史を語るスレに変わりました。
- 920 名前：デフォルトの名無しさん mailto:sage [2006/10/09(月) 19:48:41 ]
- >>917
面白いのでずっと続きます
|
 |
