関数型言語Part3
レス数が1000を超えています。これ以上書き込みはできません。
0001デフォルトの名無しさん
NGNG関数型言語Part2
http://pc3.2ch.net/test/read.cgi/tech/1007387924/
0002デフォルトの名無しさん
NGNG関数型プログラミング言語ML
http://pc3.2ch.net/test/read.cgi/tech/1012445015/
関数型プログラミング言語Haskell
http://pc3.2ch.net/test/read.cgi/tech/1013846140/
LISP Scheme Part6
http://pc3.2ch.net/test/read.cgi/tech/1031560687/
Emacs Lisp
http://pc3.2ch.net/test/read.cgi/tech/1004551074/
0003デフォルトの名無しさん
NGNG0004デフォルトの名無しさん
NGNGi ノノﾉ)）) )） | 関数型言語が好きなんですか？
. i i （ 'ｌ_] l]〈ﾘﾉ .＜
ヽヽ ＞ ／> ＼＿＿＿＿＿
Y/ヽ!ｪl〉 /ヽ/ヽ
!! l卯 l / // /
ｉ ll8| ! / // /
. l l「| l , ´-‐ ‐- ヽ
/!_」l|_j､ { ｌ ,, } ぅん
. / /ﾞ´l"ヽ > ゝ. ‐ ノ
'ｰr‐ r r ´ l !
. l l. | | |
. | ! | l. |
-―-
〃 ヽ
i ノノﾉ)）) )） ／￣￣￣￣￣
. i i （ 'ｌ_] l]〈ﾘﾉ ＜ 再帰が再帰してそれが再帰関数で・・・・
ヽヽ ＞ ｎ／> ＼＿＿＿＿＿
Y/ヽ!ｪl〉 /ヽ/ヽ
!! l卯 l / // /
ｉ ll8| ! / // /
. l l「| l , ´-‐ ‐- ヽ
/!_」l|_j､ { l U } ……
. / /ﾞ´l"ヽ > ゝ. っ ノ
'ｰr‐ r r ´ ⊂ニl !
. l l. | | |
. | ! | l. |
0005デフォルトの名無しさん
NGNGhttp://www.cs.nott.ac.uk/~gmh//faq.html
0006デフォルトの名無しさん
NGNG0007デフォルトの名無しさん
NGNG0008デフォルトの名無しさん
NGNGsage
0009デフォルトの名無しさん
NGNG0010デフォルトの名無しさん
NGNGPart2は985レスまでの持ってます。
かちゅーしゃのログ形式(dat)です。
UPローダお願いします。
001110
NGNGhttp://cgi.2chan.net/up/src/f8023.lzh
0012デフォルトの名無しさん
NGNG0014デフォルトの名無しさん
NGNGdat落ち直後のログは読めないでしょ？
0015デフォルトの名無しさん
NGNG東大米澤研がんがれ！！
0016デフォルトの名無しさん
NGNG0017デフォルトの名無しさん
NGNGKurimsもがんがれ！！
0018デフォルトの名無しさん
NGNG0019デフォルトの名無しさん
NGNG0020デフォルトの名無しさん
NGNG0021デフォルトの名無しさん
NGNG0022デフォルトの名無しさん
NGNG0023デフォルトの名無しさん
NGNG0024デフォルトの名無しさん
NGNG0025デフォルトの名無しさん
NGNG0026デフォルトの名無しさん
NGNG0027名無しさん＠ＸＥｍａｃｓ
NGNG0028デフォルトの名無しさん
NGNGSICP読みつつ一通りschemeを触り終わってからhaskellとか。
0029名無しさん@xyzzy
NGNGはい、仕様書。
http://www.unixuser.org/~euske/doc/r5rs-ja/r5rs-ja.pdf
ほい、初心者用処理系。
http://www.drscheme.org/
じゃがんぱって。
0030デフォルトの名無しさん
NGNG0031デフォルトの名無しさん
NGNGttp://research.microsoft.com/projects/ilx/fsharp.htm
0032デフォルトの名無しさん
NGNGリンク先はともかく、文字化けしてると思うぞ。
0033デフォルトの名無しさん
NGNG0034デフォルトの名無しさん
NGNG0035デフォルトの名無しさん
NGNG0036デフォルトの名無しさん
NGNG大丈夫だ。安心して書き込め。
0037デフォルトの名無しさん
NGNG0038デフォルトの名無しさん
NGNG実質的には上告はもう無理らしい。
うれしいなぁ。
0039デフォルトの名無しさん
NGNG0040デフォルトの名無しさん
NGNGう～ん、上手く伝えられてないかな？
世の中の大多数は君のような勇者でなく、ヘタレだと思うんだ
そのヘタレの持っている情報は今まで世の中に出ることはなかった、と
たとえ真実でもね
そのヘタレから情報を引き出し、共有することができたってのが
2ｃｈの功労だったと思うんだよね、おいちゃんは
これ以上はスレ汚しになりそうなので消えます
0041デフォルトの名無しさん
NGNG２ちゃんねるのお勧めな話題と
ネットでの面白い出来事を配送したいと思ってます。。。
===============================読者数： 138720人 発行日：2003/1/9
年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。
そんなわけで、年末に予告したIP記録ですが実験を開始しています。
「２ちゃんねる20030107」
こんな感じで各掲示板の最下部に日付が入ってるんですが、
20030107以降になってるところはログ記録実験中ですー。
んじゃ！
────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
0042デフォルトの名無しさん
NGNG102 名前：IP記録実験 投稿日：03/01/08 20:13 ID:nJ34KBUL []
IP記録実験
http://qb.2ch.net/test/read.cgi/accuse/1042013605/
1 名前：ひろゆき ◆3SHRUNYAXA ＠どうやら管理人 ★ 投稿日：03/01/08 17:13 ID:???
そんなわけで、qbサーバでIPの記録実験をはじめましたー。
27 名前：心得をよく読みましょう 投稿日：03/01/08 17:20 ID:yL/kYdMc
SETTING.TXT管轄でないということは全鯖導入を視野に、か？
38 名前：ひろゆき ◆3SHRUNYAXA 投稿日：03/01/08 17:22 ID:rLfxQ17l
>>27
鋭いです。
73 名前：ひろゆき ◆3SHRUNYAXA 投稿日：03/01/08 17:27 ID:rLfxQ17l
＞ところで、IPが抜かれて何か今までと変わることってあるのでしょうか？
・今までより、サーバが重くなる。
・裁判所や警察からの照会があった場合にはIPを提出することがある。
0043デフォルトの名無しさん
NGNG大体批判と誹謗中傷の違いなんてその言った人間を保護する所が社会的にどれぐらいの
地位なのかによって変わってしまう、、、言論の自由なんて力が無ければ主張できないんだよ、、、
0044デフォルトの名無しさん
NGNG一応一個だけ↑の事答えていただけたらＴＥＬします。
引っ張ってごめんなさい！
0045デフォルトの名無しさん
NGNGんじゃおやすみなさい（３回目）
0046デフォルトの名無しさん
NGNGhttp://news2.2ch.net/test/read.cgi/liveplus/1040833655/
裁判ネタ雑談は↑が該当スレです。
0048デフォルトの名無しさん
NGNG0049デフォルトの名無しさん
NGNG×fusianasann
○fusianasan
0050デフォルトの名無しさん
NGNG0051あぼーん
NGNG0052デフォルトの名無しさん
NGNG＞文系・女性。下痢と便秘をくりかえしているらしい。
＞大物コテ(腐れ３０★）に粘着してる空気コテ。
と年中書かれております。「事実」でもいちいちその板の住人に説明するのが
面倒になったんですよ。否定はしないですよ。でも、面倒ですよ。
だから、文句があるんならメールくださいよ。（名無しの粘着さん）
としつこく書いている自分が情けない。
0053デフォルトの名無しさん
NGNG0054デフォルトの名無しさん
NGNG「２ちゃんねるではすべての書き込みのIPを記録します」って
メルマガとってない、運営板も見ないってユーザーのほうが多くない？
0055デフォルトの名無しさん
NGNG0056デフォルトの名無しさん
NGNGそれにどうしても匿名で告発したかったらインターネットカフェや
漫画喫茶などで書き込むことはできるはず
電気のインターネットコーナーでもいいしね
荒らしや誹謗中傷してる奴は暇を持て余してる身勝手な奴がほとんど
こいつらのためにわざわざ匿名にする必要はまったくもってなし
0057デフォルトの名無しさん
NGNG0058デフォルトの名無しさん
NGNG大統領になりたいなら投票します。
おながいします。。。
0059デフォルトの名無しさん
NGNG0060デフォルトの名無しさん
NGNG２ちゃんねるのお勧めな話題と
ネットでの面白い出来事を配送したいと思ってます。。。
===============================読者数： 139038人 発行日：2003/1/10
なにやら、連日メルマガだしてるひろゆきです。
そんなわけで、ログ記録実験ですが、いちいちサーバ指定するのが面倒なので、
全部のサーバに入れてみました。
重くなって落ちたりしてもご愛嬌ってことで。。。
んじゃ！
────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
0061デフォルトの名無しさん
NGNG0062デフォルトの名無しさん
NGNGワインに毒性の高い物質を入れている。」
と書き込んで、後日さらに細かく不凍液を入れている
細かいバッチ工程を誰かに書かれそうになって
慌てて企業側が暴力団に金を渡して
ひろゆこ氏へIPとリモホを出せと脅す。。。。。
山奥に連れ出され遺体を埋める穴の横で
暴力団に尋問された場合、
ひろゆこ氏は出すのかな？
0063デフォルトの名無しさん
NGNGような気がする。
今まで如何に無責任な書き込みが多かったかを示しているような
気もするけど、閑散として活気もなくなったような気もする。
0064デフォルトの名無しさん
NGNGキン肉マンに出てくるｳｰﾙﾏﾝ？
0065デフォルトの名無しさん
NGNG【予告】小学生の登校を狙って・・・
http://live2.2ch.net/test/read.cgi/news/1042035002/
悪戯であることを祈る。
0066デフォルトの名無しさん
NGNG｢これ言っていいですか？｣ ｢これ言うとﾔﾊﾞｲですか？｣ って他人に聞いてるだけｗ
寝るのがｲﾔなら、教えて厨は初心者板に逝ってねｗ
0067デフォルトの名無しさん
NGNG0068デフォルトの名無しさん
NGNG政治経済学部に比べて著しい低学歴、特に、ひろゆきの卒業した中央大学文学部
のようなヘボい大学に共通しているのは、文化水準が低いという事です。18歳から22歳を
ヘボい大学で過ごすということは、致命傷と言えます。２ちゃんねらーの大半は
岡田克彦氏に比べて、著しい低学歴ですから、取り返しはつかないのです。
せめて、http://www.geocities.co.jp/MusicHall-Horn/1091/で、氏の作品に触れましょう。
0069デフォルトの名無しさん
NGNG顧客情報の開示を行うことを明らかにするだけだ。
責任は書き込んだ奴が取るだけ。
0070デフォルトの名無しさん
NGNG0071山崎渉
NGNG0072山崎渉
NGNG0073デフォルトの名無しさん
NGNGなんか仕組みがあるんか?
0074デフォルトの名無しさん
NGNG0075山崎渉
NGNG0076デフォルトの名無しさん
NGNG0077デフォルトの名無しさん
NGNG0078デフォルトの名無しさん
NGNG1.3.3ではExampleは動いているのに
Enviromentのコンパイラのpathはあってるんだけど。
なんか設定変えるところとかあるんでしょうか？
0079デフォルトの名無しさん
NGNGHaskellに汁！って言われるだけかも
0080デフォルトの名無しさん
NGNG0081デフォルトの名無しさん
NGNGすーぱーまりおみたいなやつ。ちょっと感動した。
008278
NGNGしばらく1.3.3で遊んでみます
0083デフォルトの名無しさん
NGNGこのpart3スレは3ヶ月で80そこそこか...
関数型言語の時代も，そろそろ終わりって事かな?
0084デフォルトの名無しさん
NGNG2chの厨房にとってだけって話じゃないの？
0085デフォルトの名無しさん
NGNG0086デフォルトの名無しさん
NGNG関数型言語からオブジェクト指向言語に移行するわけだから。
C++からC#への移行はどうかな。生産性は対して変わらんよ。
0087デフォルトの名無しさん
NGNGC++を使えないのに無理やり使っていたせいで発生していたバグから
解放されるかモナー。
0088デフォルトの名無しさん
NGNG0089デフォルトの名無しさん
NGNG0090デフォルトの名無しさん
NGNGC＝関数型言語というのはネタなのか？
0091がいしゅつ
NGNGhttp://pc2.2ch.net/test/read.cgi/tech/1044035494/
0092デフォルトの名無しさん
NGNG『 ANSI C/C＋＋辞典』に「関数型言語」
なんて立項して大ボケ書いてたりしてるのがデマの
泉源のひとつ．
いわゆる「純粋な」関数と，
C とかの「術語としての『関数』」の，
区別がわかってないっぽい．
0093デフォルトの名無しさん
NGNG0094デフォルトの名無しさん
NGNG連載を始めたほうがよいと思います。日本のC屋には
プロはいても、あまりにも理論に疎いのが多いと思います。
日下部とか日下部とか日下部とか日下部とか日下部とか日下部とか
0095デフォルトの名無しさん
NGNG関数型言語(functional language)
関数型のプログラミング言語。
LISP, LOGO, APL, BCPL, B, Cなどがある。
0096デフォルトの名無しさん
NGNG0097デフォルトの名無しさん
NGNGかく言う私も廿年位前迄はそう思ってたんですが…。
参考 >>4
0098デフォルトの名無しさん
NGNG0099デフォルトの名無しさん
NGNG違う。
この人的には手続き呼び出しが関数のような形を
している言語は関数型言語と呼ぶらしい。
そしてPascal は function と procedure を使い分け
られるから関数型には入らないらしい。
関数型言語という言葉をどこかで見かけて、
その意味を勝手に想像して本に書いちゃった
・・・って感じ？
0100100 get
NGNG0101デフォルトの名無しさん
NGNG>られるから関数型には入らないらしい。
Pascalはハイブリッド型関数型言語です。
C++が純粋なOOPLであるSmalltalkとの対比でハイブリッド型OOPLと呼ばれるのと同様です｡
0102デフォルトの名無しさん
NGNG0103デフォルトの名無しさん
NGNGtext property はどうやって実現するのだろう。
text property はあらゆる型のオブジェクトを保持できるリストです。
0104デフォルトの名無しさん
NGNG＞LISP, LOGO, APL, BCPL, B, C
というラインナップを鑑みるに，
LISP -- 一応判ってるのか？
LOGO -- なんでココで LOGO なのか，ぜんぜんワカラン
APL -- FP の先祖だから挙げた？
BCPL -- CPL から関数型的な部分を取ったのが BCPL と思うが...
単に C の先祖の B の先祖だから載せたんだろう．たぶん．
B, C -- 略
0105デフォルトの名無しさん
NGNGそもそもlispのリストはあらゆる型のオブジェクトを保持できるんだから
問題はそこだけではないはず
0107デフォルトの名無しさん
NGNG0108デフォルトの名無しさん
NGNG0109一応
NGNG純粋な関数型言語とは言いにくいよね。
0110つうか
NGNG0111デフォルトの名無しさん
NGNGそれはそうなんだが、そのことと>>106
はどう繋がってるんだ？
0112デフォルトの名無しさん
NGNG「古典的」って別に大した意味はなくて、
バッカスのFPとか出てくる前は、Lispみたいなのが「関数型言語」の代表格だと思われてた時代もあったね、
つう程度の意味。わかった？
0113デフォルトの名無しさん
NGNG0114デフォルトの名無しさん
NGNGﾃﾞﾑﾊﾟさんですか？
0115デフォルトの名無しさん
NGNG0116デフォルトの名無しさん
NGNG0117デフォルトの名無しさん
NGNG0118デフォルトの名無しさん
NGNGCLtL2とか見た範囲では、なんでもできる実用言語で、
そのコアの部分にラムダ計算の仕組みがある、って程度にしか認識していないのですが。
0119デフォルトの名無しさん
NGNGと思う
0120デフォルトの名無しさん
NGNG別に厳密な定義があるわけじゃないから，どっちでも
いい．修辞的には「最も関数型らしくない関数型言語」
とか言われたりする．
CLtL2 は，なんでもできる実用言語にするべく膨ら
ませた，っていう面があるから，もっと古い Lisp の
雰囲気がわかる文献... って無いな．竹内先生の
「はじめての人のための Lisp 」ってまだ売ってるのかな．
Lisp のラムダには，確かに，便宜的に導入された，って
雰囲気が多分にある．Scheme はそのあたり，部分適用とかを
だいぶすっきりさせてる．
0121デフォルトの名無しさん
NGNG0122120 != 112
NGNG理論のほうから見れば確かに最初ッから Lisp は
ハイブリッド的だった，ということ？
そりゃそうなんだけど...
『メジャーなプログラミング言語で関数型言語なのが
Lisp しか無かったから，Lisp が代表みたいに思われて
しまってたよね』って感じか？
オブジェクト指向と C++ みたいなもんかニャ
0123デフォルトの名無しさん
NGNG0124デフォルトの名無しさん
NGNG純粋じゃないだけで。
>>120
>いい．修辞的には「最も関数型らしくない関数型言語」
>とか言われたりする．
誰が言ったんだよ。
0125デフォルトの名無しさん
NGNG関数を安全に変数に代入（束縛？）出来れば。
Cでも無理やり関数をポインタに突っ込めば出来なくないでもないけど
決して安全じゃないよねー。
0126デフォルトの名無しさん
NGNG0127>>125
NGNGPythonとかは関数がfirst classだけど関数型言語じゃないよ。
0128125
NGNG暴走しないという程度
>>127
まあ大雑把に言えばということです。
関数がファーストクラスなことと言語の作者がこの言語は関数型ですと
主張すれば関数型言語と言っても良いのでは？と思っているからです。
はい。
0129デフォルトの名無しさん
NGNG0130デフォルトの名無しさん
NGNGまぁ、気分の問題だ。
0131デフォルトの名無しさん
NGNG0132デフォルトの名無しさん
NGNG関数がファーストクラスってのはあんまり本質とは関係ないぞ。
関数型言語とは、基本的に手続き的な処理フロー(C言語でいう、
複文に当たる物)が無く、数学的な式と同じ様に記述できる事を
目的とした言語。
で、実用上それだけじゃ限定された使い方しかできないので、
手続き型と同じく副作用も起こせる様に拡張されているのが現状。
数学的な意味を保ったまま間接的に副作用を起こせる言語も
ある。（HaskellやConcurrent Cleanとか。）
LISPは現在でもリスト処理においては本来の関数型言語として
記述できるけど、CommonLispまでの一連の拡張で汎用型言語という
意味合いが強くなっている。
0133デフォルトの名無しさん
NGNG0134125
NGNG激しくガイシュツなのでしょうが。一様つっこんどきます。
ML(sml,ocml) Lisp Sheameは関数型言語なのでは？
>>132
>関数がファーストクラスってのはあんまり本質とは関係ないぞ。
私も、そう思いますがこれぐらいしか分類する基準が見つからなかったからです。
正しい定義は、「教えて偉い人」って言う感じです。
>数学的な意味を保ったまま間接的に副作用を起こせる言語も
>ある。（HaskellやConcurrent Cleanとか。）
数学的な意味というが何をさしているか知りませんが
参照透明性というのであればHaskellはそうじゃありませんよね。>>132
IO型から中身を取り出すとき参照透明性がなくなっちゃうから。
これがHaskellの中で唯一嫌いな点です。
Cleanは一意性と名前空間をうまく使って実現できているので
すばらしい言語と思ってます。
でもVer2になって仕様がさらに複雑になったねー。
あそこまで拡張する必要あるのだろうか？
だれかClean使っている偉い人教えてー。
0135デフォルトの名無しさん
NGNG>Pascalはハイブリッド型関数型言語です。
関数型言語の定義を説明してみて！
0136デフォルトの名無しさん
NGNG関数型言語の定義を説明してみて！
0137デフォルトの名無しさん
NGNGIOみたいな帰納的に生成できない対象に対して参照透明性を与えることはできるの？
0138デフォルトの名無しさん
NGNG「帰納的に生成できない」とはどういう意味ですか？
0139デフォルトの名無しさん
NGNG代数的ではないこと。
数やリストのような代数的対象は生成したときに振舞いが一意に
決定される(代数的対象に関する各演算の結果が満たす等式は帰納法で
証明される)。つまり始対象(自然数なら0、リストなら[])からの
一意な同型写像が存在する。IOではそのような始対象が存在しない。
0140デフォルトの名無しさん
NGNGでもそんな限定する必要ないと思うんだけど。
0141デフォルトの名無しさん
NGNGじゃあ、参照透明性はどうやって定義するの？
0142デフォルトの名無しさん
NGNG0143デフォルトの名無しさん
NGNG125はただの知ったか厨みたいだし。
0144デフォルトの名無しさん
NGNG0145デフォルトの名無しさん
NGNG0146デフォルトの名無しさん
NGNGに不満な点があるんだったらスレを消費しても構わんと思う
0147デフォルトの名無しさん
NGNGfuncallとか特別なのがあるしな。
これも要件の１つだろ。
0148デフォルトの名無しさん
NGNG0149デフォルトの名無しさん
NGNG別に関係ないとおもうけど。
0150125
NGNG>偉い人というか、多少でもわかってそうな奴っていないっぽいな。
>125はただの知ったか厨みたいだし。
そのとおりです。
143さん、関数型言語って何ですか？
出来れば具体的な言語を挙げて説明してくれると嬉しいです。
0151not 143
NGNGhttp://www-6.ibm.com/jp/developerworks/linux/010615/j_l-prog.html
0152デフォルトの名無しさん
NGNG一問一答で簡単に答えの得られる質問じゃないと思われ。。
全体像を理解するのに少なくとも本一冊はかかるような。
類似の質問に
・構造化プログラミングってなに？
・オブジェクト指向プログラミングってなに？
などがあります
0153デフォルトの名無しさん
NGNG一行に要約して下さい。
0154デフォルトの名無しさん
NGNGLispでは関数が擬似ファーストクラスだということなんだが。
ファーストクラスが関係ないとなると、
関数型言語の輪郭は益々ぼやける。
0155デフォルトの名無しさん
NGNG必要条件だけど充分条件じゃないってこと。
0156デフォルトの名無しさん
NGNG関数がファーストクラスでないと関数型言語とはいえないということになりますか？
0157デフォルトの名無しさん
NGNG引用開始
関数プログラミングとはプログラミングを数学的な活動として
とらえる考え方であり、本書ではそれを特定のプログラミング言語
にはよらず数学の表記法を用いて紹介する。
引用終わり
0158デフォルトの名無しさん
NGNG関数型言語の定義はどうなってますか？
0159デフォルトの名無しさん
NGNG上記の本では特に定義されていません。
Miranda、MLなどが関数型言語と考えられているようです。
bit 1999 3月号 で武市先生による関数プログラミングの解説が
あります。私見ですが、数学的活動ととらえる関数プログラミングを
支援する機能をもつものが関数型言語ではないでしょうか。
0160デフォルトの名無しさん
NGNGそれを支援するのが関数型言語だと認識してる。
命令型言語でも注意すれば関数型っぽいことできるけど、Rubyを関数型言語とは言わないしね。
あなたが関数型言語だと思うものが関数型言語です。
ただし他人の同意を得られるとは限りません。
0161デフォルトの名無しさん
NGNG0162デフォルトの名無しさん
NGNG何だと思う？
0163デフォルトの名無しさん
NGNGだからむしろPROLOGみたいな宣言型とかOPALのような代数型の方が数学っぽい。
0164デフォルトの名無しさん
NGNG0165デフォルトの名無しさん
NGNG0166デフォルトの名無しさん
NGNG引数と返り値に関係づけをつくることができて
それが数学ぽかったり、見たまんまだとよりいい。
で、入出力にはそんな関係づけはないと。
0167デフォルトの名無しさん
NGNGなんなんだ？おれの予想はRuby厨、Java厨、boost厨のどれかだと
読んでるけどあたりですか？
0168デフォルトの名無しさん
NGNG計算の単位が全て関数であることが重要なんであって、
数学らしさとは必ずしも一致してないような。
0169デフォルトの名無しさん
NGNGアルゴリズムの申請がみとめられるような言語、はまだですか？
0170デフォルトの名無しさん
NGNG0171デフォルトの名無しさん
NGNGhttp://science.2ch.net/test/read.cgi/rikei/1046173479/
0172デフォルトの名無しさん
NGNGへ
0173デフォルトの名無しさん
NGNGホントに知りたいならcomp.lang.functionalでも見てた方がよいかと
0174デフォルトの名無しさん
NGNGラムダ計算とかさあ
0175デフォルトの名無しさん
NGNGｐ１５２より引用
引用開始
関数的プログラミング（というプログラミング.スタイル）を
具現化したプログラミング言語を、関数型言語という。
引用終わり
0176デフォルトの名無しさん
NGNGｐ８より引用
引用開始
プログラムによる計算過程は、通常の計算機のハードウェアの仕組みと
独立して考えることもできる。関数型言語（functional language)、
あるいは作用型言語（applicative language）とよばれるものは、
数学における関数（function）の適用（application）によって
アルゴリズムを表現しようとするものである。
引用終わり
0177デフォルトの名無しさん
NGNGスキルを要するし、それにかかるお金も大きいほうなのだから。
0178デフォルトの名無しさん
NGNG「使いこなす」というのがどの程度なのかわからないけれども。
プログラミングを楽しむ程度なら高校数学の知識と推論能力
があれば十分だと思うよ。
0179デフォルトの名無しさん
NGNG0180デフォルトの名無しさん
NGNG教育用といえば
0181デフォルトの名無しさん
NGNG現実はそうかもね。高校はBasicかぁ。
Schemeの方が絶対に良いと思う。
0182デフォルトの名無しさん
NGNG教育のためなのか？就職のためなのか？
ということなんでしょうね。
0183デフォルトの名無しさん
NGNGを見て思ったのですが「Lispのユニークさ」の２番、３番、５番、６番
の条件が満たされていれば、関数型言語？
0185デフォルトの名無しさん
NGNGLispのユニークさ
1, 条件式。
2. 関数型。
Lispでは関数は整数や文字列と同じようなデータ型のひとつだ。
リテラル表記を持ち、変数に代入できて、引数として渡せる、というようなことだ。
3. 再帰。
4. 動的型付け。
Lispでは全ての変数は実質的にポインタだ。変数ではなく値の方に型が付いており、
代入や束縛は実質的にポインタのコピーで行われ、ポインタが指されるものには作用しない。
5. ガベージコレクション。
6. 式でプログラムが構成されること。
Lispプログラムは式の木であり、それぞれの式が値を返す。
これはFortranとそれを引き継ぐ多くの言語とは対照的だ。それらの言語は式と文を区別している。
7. シンボル型。
シンボルは実質的にはハッシュテーブルに格納された文字列へのポインタである。
これによって、文字をひとつひとつ比較しないでもポインタの比較だけで済む。
8.シンボルと定数の木によってコードを表現すること。
9. 言語の全てが常に在ること。
読み込み時、コンパイル時、実行時が明確に分離したステップになっていない。
読み込み時にコンパイルしてコードを走らせることもできるし、
コンパイル時にコードを読んだり走らせたりすることもできるし、
実行時にコードを読んだりコンパイルしたりすることができる。
0186デフォルトの名無しさん
NGNGhttp://www-6.ibm.com/jp/developerworks/linux/010615/j_l-prog.html
個人的には、大まかに言って、関数プログラミングとは、
以下の特性のうちの少なくともいくつかを備えたものであると考えています。
関数言語と呼ばれる言語は、以下のことを行いやすくし、 その他のことを困難または不可能にします。
1. 関数が最初のクラス (オブジェクト) である。
つまり、「データ」について行えることはすべて、
関数自体についても (関数を別の関数に渡すなどの方法で) 行うことができます。
2. 主要な制御構造として再帰が使用される。
言語によっては、それ以外の「ループ」構成は存在しないことがあります。
3. リスト処理に主眼が置かれている (たとえば、Lisp という名前にもこれが表れています)。
多くの場合、ループに代えて、リストがサブリストの再帰とともに使用されます。
4. 「純粋な」関数言語は副次作用を避ける。
これにより、最初にある値を変数に割り当て、
次に同じ変数に別の値を割り当ててプログラム状態を追跡するという、
命令型言語に付き物と思われるパターンが除外されます。
5. FPはステートメント の使用を思いとどまらせるか、あるいは完全に拒絶し、
代わりに式 (つまり、関数に引数を加えたもの) の評価を行います。
純粋な場合、1つのプログラムは1つの式 (およびそれをサポートする定義) になります。
6. FPは、どのように 計算するのかということよりも、 何を 計算するのかということを気にします。
7. 多くのFPは「高階」関数 (つまり、関数を操作する関数を、操作する関数) を利用します。
0187デフォルトの名無しさん
NGNG関数プログラミングのプログラマーからも、一貫性のある意見を得ることは困難です。
群盲象をなでる、という言葉がぴったりです。
…というあたりも、>>145の状況をよく表している様な.....
0188デフォルトの名無しさん
NGNGそのうち誰かがC言語でも関数型プログラミングは出来る。
とか言ってくれないかな？オブジェクト指向の時のように・・・・
0189デフォルトの名無しさん
NGNG0191デフォルトの名無しさん
NGNGSchemeをやって、Ｃに戻ったら以前よりうまくプログラムを書ける
ようになったって話もあるようだよ。
0192デフォルトの名無しさん
NGNGできるよ。
効率性も含めて犠牲になる部分が多いが。
0193デフォルトの名無しさん
NGNG0194デフォルトの名無しさん
NGNG君と僕にはそれはCだったということさ
0195デフォルトの名無しさん
NGNG0196デフォルトの名無しさん
NGNG0197デフォルトの名無しさん
NGNG事業目的に使えるかどうかならば、F#でも勉強しとけ
0198デフォルトの名無しさん
NGNG0199名無しさん＠Ｅｍａｃｓ
NGNGおまいらに関数型言語は無用だ。
0200デフォルトの名無しさん
NGNG関数型言語は無用
関数型言語は無用
関数型言語は無用
0201デフォルトの名無しさん
NGNG0202デフォルトの名無しさん
NGNGでも、日本語が読めるなら一度は読んでおいて損はないだろう。表現が豊かになる。
関数型言語も。いろいろとチャレンジしてみるのは良いことだと思うよ。
0203デフォルトの名無しさん
NGNG当然インラインアセンブラとかもOKで。C++っていうのは
なしね。
0204デフォルトの名無しさん
NGNG関数型言語なりのそれに代わりうるものがあれば
なにもいらないんだけど＜インラインアセンブラ。
0205デフォルトの名無しさん
NGNG0206デフォルトの名無しさん
NGNG前にちらっとみただけなんだけど、あるWebサイトに
MLでOSとそれに最適化されたツール群を作るって言う
研究が乗ってた。どうも見た感じだとコンパイラの
製作(そのために言語の拡張をしてたのかどうかは分からない)
で撃沈してた模様。UNIX/Cに変わりうるようなパラダイムが
関数型言語の方面から出てくるのかなあなんて思ったりも
してたけど、実際は難しいみたいね。
0207デフォルトの名無しさん
NGNG分かってにゃい証拠ﾊｯｹﾂ
0208デフォルトの名無しさん
NGNG20年前にタイム・スリップして、TI Schemeマシンとか、Lispマシンを買ってきて貰いたまえ
0209デフォルトの名無しさん
NGNGBSD UNIXって、Lisp研究用のブートローダだったと暴言する人も居たとか居ないとか・・・
0210デフォルトの名無しさん
NGNGcategorical abstract machineですか。
なにやらえらい難しそうですねえ。
いつも思うんだけど、citeseerなんかを眺めていると、
実装レベルとは関係無しに理論的にはどんどん進んで
いるんだなあと実感します。頭のいい人は凄いね、ホント。
>>207
分かってたらこんなアホなこときかないって
>>208
Lispマシンというのは実はUNIXよりもあまりにも技術的に進んで
いたがために、廃れてしまったのですかねえ。よく知らないですが。
まあUNIXならどんなヘタレでも使えるからね。こういうのも悪くないね。
0211デフォルトの名無しさん
NGNGWindowsやOSXにしても、OSの枠組みとしては
UIの話を抜けば、4.2BSDからは何も進歩してないように見えるね。
そもそも進歩する素地があったとしても金にならなそう。。。
食えない分野の代名詞として理論物理というのがよく言われるけど
もしかして計算機科学の人もそうなんでしょうか？理論に裏打ちされた
技術って誰も興味なさそうですよね。。。
0212デフォルトの名無しさん
NGNG>まあUNIXならどんなヘタレでも使えるからね。
Java と Lisp みたいなもんかも？
0213デフォルトの名無しさん
NGNGでもないよ．最近，形式的表明をなんとかして
ソフトウェア工学に応用しようと頑張ってる．
ミサイルの制御系とか，バグの無いコードのために
従来は無茶苦茶な工数を掛けていたのを，形式的
表明の助けを借りて軽減しよう，という感じらしい．
OSX は漏れ，知らんけど，Windows は COM とか
でかい進歩と思うが？
>>210
廃れた理由は，汎用ワークステーションの性能向上が
激しくて，ハードウェアで実現するよりソフトでやった
ほうが断然イイじゃん，ってことになっちまったから．
でも聞くところによると，NTTのアレとかは結構高性能だった
とかいうことだけどどうなんだろ．
絶対的に間違ったアプローチだったということはない，
というのは AS/400 が証明してる（と漏れは思う）
タグ付きアーキテクチャの真似とかをソフトでやるには
限界あるもんね．
>>209
BSD のカーネルイメージのファイル名が vmunix なのは
VM が実装されたためで，なんで実装したかっていうと，
メモリ空間食いまくりの Lisp を動かすためだった，とか
いう伝説があったりとかね．
0215デフォルトの名無しさん
NGNG0216デフォルトの名無しさん
NGNG・・・って昔どこかで聞いたような・・・。
ぐぐったら見つかったのはコレ↓だった。
ttp://www.namazu.org/~satoru/programming/sicp.html
0217デフォルトの名無しさん
NGNGもはやラムダは円マークだろ
0218デフォルトの名無しさん
NGNG0219デフォルトの名無しさん
NGNG↑総本山はココの山中にある，λ文字山算法寺と簡約神宮で，
修行を終えると単位互換制度により
ttp://burks.brighton.ac.uk/burks/foldoc/3/64.htm
↑λ算術騎士団と共通の徽章を貰うことになっている．
狂信的 Lisper は，構文解析はカッコで括れば全て
済むと考えており，BNF を毛嫌いしているため，
↓の最後のパラグラフにある
ttp://www.huis.hiroshima-u.ac.jp/jargon/LexiconEntries/BNF.html
black-on-green BNF buttons とλ騎士団の徽章が近くに
存在する状態は危険である．
0220デフォルトの名無しさん
NGNG0221デフォルトの名無しさん
NGNG0222デフォルトの名無しさん
NGNG0223デフォルトの名無しさん
NGNGλティディ･ベアはSUNのティディ・ベアと互換性があるのか？
λTシャツを着ると、ｱﾎﾟｰ信者や２ちゃねらーと、勘違いされるのではないか？
よく検討してから、購入させて頂きます。
0224デフォルトの名無しさん
NGNG・
・
・
MITで鳴らした俺達特攻部隊は………ダメだ思いつかないや．
0225デフォルトの名無しさん
NGNG0226デフォルトの名無しさん
NGNG0227デフォルトの名無しさん
NGNG0228C maga
NGNG0229デフォルトの名無しさん
NGNG>俺は、数式処理系(Macsyma～Mathematica) と 命題処理系(ML?)に
>類似性を感じて、興味を持っていたので、乱入大歓迎。
という意見があったけど、実際の所どうよ？
雰囲気は確かに似ている様な気がせんでもないが
0230デフォルトの名無しさん
NGNGほんとですか？ならボクにもやれそう....
0231デフォルトの名無しさん
NGNGどうよ、と言われてもなー。
どっちも派生元である原始言語はLISPなんだよね。
類似性ってのはそういう事かと。
0232デフォルトの名無しさん
NGNG違うってばよ。
Ｃマガの記事はたまに素人が書いてるので鵜呑みにできない。
「関数型言語＊風＊にも書ける」と書いてあるなら、あながち
間違いとは言えないけど、正解では絶対にない。
点数付けるなら、100点満点中25点ぐらい。
これはね、
「Ｃでもオブジェクト指向（風に書くことが）できる」
と言ってるのと同じ。
Ｃ言語と、関数型言語として洗練された構文と意味論を持つ
専用言語では、記述の幅からして比較にならない。
0233デフォルトの名無しさん
NGNGSML(Standerd) 演習
http://a414s1.it.nanzan-u.ac.jp/smlbook/smlwww/
初級ML講座
http://nt-p.net/adx/e/ml/mlkouza.html
C言語の時と同じ使い方をしようとしても、有り難味が判らないんじゃないかな。
論理学とか数学の知識は多少でもあった方がいい。
0234アシュル ◆adhRKFl5jU
NGNG関数型言語の共通コンパイラバックエンドを作ろうというプロジェクトなどが
計画されたことなどあるんでしょうか？聞いたことないですが。
0235デフォルトの名無しさん
NGNGlispだと最適化がやりやすいため。
0236アシュル ◆adhRKFl5jU
NGNG0237デフォルトの名無しさん
NGNG....
0238名無しさん＠Ｅｍａｃｓ
NGNGACL以外で、まともな最適化まで考えられてる
処理系とかあるの？
0239デフォルトの名無しさん
NGNG0240デフォルトの名無しさん
NGNGMLって元は定理証明システム用言語だった訳だけど、
数式処理も一種の定理証明システムなのではないか…
ちうあたりで、同じ様な処理が求められているという意味かも?
>>231
MLと断ってあるし、原始言語(LISP)はあまり関係ないと思う
0241デフォルトの名無しさん
NGNG>関数型言語の共通コンパイラバックエンドを作ろうというプロジェクトなどが
>計画されたことなどあるんでしょうか？聞いたことないですが。
これなんてどうなんでしょう？
http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/
0242デフォルトの名無しさん
NGNGなにこれ？
0243デフォルトの名無しさん
NGNGってゆー噺だと思われ
0244デフォルトの名無しさん
NGNGあれは、GCCの公式配布パッケージの中に取り込んでもらえないのかな？
0245デフォルトの名無しさん
NGNG若干意味不明
0246デフォルトの名無しさん
NGNGなるんでしょうか？バックエンドとしてgccを使うのは
なにもHaskell4.0Xだけではなかったように覚えてますが。
0247デフォルトの名無しさん
NGNG0248デフォルトの名無しさん
NGNG0249デフォルトの名無しさん
NGNG0250デフォルトの名無しさん
NGNG0251名無しさん＠Ｅｍａｃｓ
NGNG漏れもそうだと思ってたけど、
例の剃刀との関連が今一というか。
0252デフォルトの名無しさん
NGNGスレ違いと思うのは漏れだけ?
関数型プログラミング言語ML
1：デフォルトの名無しさん ：02/01/31 11:43
関数型言語ＭＬ（SML/Caml/Ocamlなど）についてのスレッドです。
￣￣￣￣￣
http://pc2.2ch.net/test/read.cgi/tech/1012445015/
0253デフォルトの名無しさん
NGNG0254デフォルトの名無しさん
NGNG0255デフォルトの名無しさん
NGNGそのスレは以前↓の質問があったのですがシカトされたという経緯がありますた
720 ：デフォルトの名無しさん ：03/01/10 01:54
OcamlとOccamは違うのですか？
0256デフォルトの名無しさん
NGNGttp://www.ops.dti.ne.jp/~cake-smd/hw/FrontPage.html
0257248
NGNGところで O'Caml には lambda という名前のオペレータは無いんですね。
新鮮ですた。It's FUNny, isn't it?
0259デフォルトの名無しさん
NGNG.fr ドメインの理由で www.ocaml.org があったのか。(w
0260デフォルトの名無しさん
NGNGできるんでしょうか？
イベントをストリーム化するとかの理屈はなんとなくわかるんですが、
例えば現在のマウスカーソルを取得して何かしたりするクリティカルな
場合は、ストリームから取ってこれないですよね？
0261デフォルトの名無しさん
NGNGttp://www.cs.kun.nl/~clean/About_Clean/Platform_Games/platform_games.htm
アクションゲームが書けるようだが。
0262デフォルトの名無しさん
NGNG0263デフォルトの名無しさん
NGNGそんなことしてる処理系は何がありますか?
もしくは、どうやって調べられる?
0264デフォルトの名無しさん
NGNG0265デフォルトの名無しさん
NGNG代数の勉強にいったまま帰って来てない
みたいですよね。。。
0266デフォルトの名無しさん
NGNG0267デフォルトの名無しさん
NGNG処理速度は良いとして、メモリの使用量の違いが興味深いね。
こんな感じ
http://www.bagley.org/~doug/shootout/bench/lists/
SML/NJ, bigloo, cmucl 辺りは結構メモリ食いだね。Haskell もかな。
0268デフォルトの名無しさん
NGNG色んな言語（関数型多し）のコードを見られるのは面白いと思います。
別の意味でも笑えます（"Hello there sailor" とかね）。
0269デフォルトの名無しさん
NGNG0270山崎渉
NGNG0271デフォルトの名無しさん
NGNG0272デフォルトの名無しさん
NGNG0273デフォルトの名無しさん
NGNG0274デフォルトの名無しさん
NGNGでも、なんで concurrent cleanスレないんやろ?
0275デフォルトの名無しさん
NGNGHaskellスレもMLスレも
ここからわかれたようなもんだし
0276デフォルトの名無しさん
NGNG0277デフォルトの名無しさん
NGNGここでやると埋もれてくから、スレ立てした方がいいよ。
寂れるの覚悟で。
0278デフォルトの名無しさん
NGNG0279デフォルトの名無しさん
NGNG立てろ
0280デフォルトの名無しさん
NGNG0281デフォルトの名無しさん
NGNGというか、なんでそんなにスレ立て避けるの？
Javaとかクソスレバンバン立ってるじゃん。
0282デフォルトの名無しさん
NGNGただそれだけ
新スレ立てたらここにリンク貼ってねー
0283デフォルトの名無しさん
NGNG0284デフォルトの名無しさん
NGNGtatoeba ??
0285デフォルトの名無しさん
NGNGJava ha fpl ni arazu
0286デフォルトの名無しさん
NGNG0287デフォルトの名無しさん
NGNGJava as a Functional Programming Language
ttp://www-compsci.swan.ac.uk/~csetzer/articles/javafunctional.pdf
0288デフォルトの名無しさん
NGNGminakutemo daitai naiyou ga souzou dekiru
Java demo fp mitaina koto ga dekiru to itteirunodarou
sikasi sore ha Java ga fpl dearu koto wo imisinai
0289名無しさん@xyzzy
NGNG0290デフォルトの名無しさん
NGNG0291anonymous@default
NGNG0292デフォルトの名無しさん
NGNG0293デフォルトの名無しさん
NGNG0294デフォルトの名無しさん
NGNGrubyやperlと異なり、なんとか関数型プログラミングできる。っていうこと
でいいんでしょうか？
http://www-6.ibm.com/jp/developerworks/linux/010615/j_l-prog.html
0295デフォルトの名無しさん
NGNGいいんじゃないですか。
でも正格言語では、末尾呼び出しのLOOP展開ができないと
本格的には使えないけど。
0296デフォルトの名無しさん
NGNGRubyで関数プログラミング
http://sky.zero.ad.jp/~zaa54437/programming/ruby/
0297デフォルトの名無しさん
NGNGPerlもRubyも関数オブジェクトを生成できるけど、何が違う？
そういえば最近のPyhonはレキシカルクロージャ作れるようになったんだっけ？
ところで関数がファーストクラス・オブジェクトで、末尾呼び出しの最適化が
行われるPostScript言語も関数プログラミングできまつか？
0298デフォルトの名無しさん
NGNGものすごく読みにくいね。
背景とか行間とか。
0299デフォルトの名無しさん
NGNG0300デフォルトの名無しさん
NGNGSqueaker かも。背景とか。
0301デフォルトの名無しさん
NGNGスタイルシートOffにすれば、まぁよめる。
0302デフォルトの名無しさん
NGNG0303デフォルトの名無しさん
NGNGCleaner というべきかも!
純粋関数型言語 Concurrent Clean
http://sky.zero.ad.jp/~zaa54437/programming/clean/
0304デフォルトの名無しさん
NGNG字面を見て再帰だって簡単に判断する方法ってないの？
簡約すると元に戻る奴が再帰だよね？
0305bloom
NGNG0306名無し＠沢村
NGNGおまいら、これからの言語はおまいらよ、これからの言語は量子言語しかないよ。
ふつーの言語では演算によって結果を求めるが、量子言語ではすべての結果は重ねあわせの状態でそでに存在しているから、その中から求める結果を選ぶだけよ。
求める結果は重ねあわせの係数で決まるのよ。
このあたりが古典言語と大きく文法が異なるところだな。
おまいらよ、人類の歴史は量子以前と以後とで２つにわかれるんだよ。
つまり、おまいらのは古典だな。
0307デフォルトの名無しさん
NGNG0308山崎渉
NGNGﾋﾟｭ.ｰ ( ＾＾ ） ＜これからも僕を応援して下さいね（＾＾）。
＝〔~∪￣￣〕
＝ ◎――◎ 山崎渉
0309デフォルトの名無しさん
NGNGこんなところにこなくてよい
0310デフォルトの名無しさん
NGNG0311デフォルトの名無しさん
NGNGさもなくばcleanスレ立てる
0312デフォルトの名無しさん
NGNGそれは正規形を持たないという。
再帰は不動点演算子を使っているものをいう。
で、正規形を持つかどうかは判断できません。
0313デフォルトの名無しさん
NGNG英語の論文読んでも
closure analysisとかフロー解析しないとできなそうな
雰囲気だったしな～
0314デフォルトの名無しさん
NGNG0315デフォルトの名無しさん
NGNG0316デフォルトの名無しさん
NGNGこうだったかも
0317新しい文法スレの753
NGNG>一番新しいものでも 3月21日だったので
それは残念だね。更新されるのを待つのがいいかもしれないね。
>>792
>でも、最左戦略で non-strict とすると、だいたい外側から試していくわけで、
>継続という処理が終わっていない部分は内側のように思えますが、
>そうなんでしょうか？
内側だろうが外側だろうが、まだ計算が終わっていない部分全て。
>また、Scheme で継続を呼び出すときは値をひとつ渡すわけですが、
>上記のように内側の部分を継続とすると、
>継続を呼び出したときに与える値はどこにはまるんでしょうか？
そりゃ、「継続で指定された場所」でしょう。
>Clean の簡約戦略は関数型簡約戦略だそうですが、これだとどうなんでしょう？
Cleanは知らないので答えられない。俺が教えて欲しいぐらい。
>また、仮にランダムに redex を選ぶような戦略を想定するとどうなるんでしょう？
それでも、計算されていない部分が継続で問題無いと思うが。
0318新しい文法スレの753
NGNG俺もよくわからない。
>上の例に delay と force を入れると、
>Haskell や Clean のように、
>合流性や参照透明性が保たれるようになるんでしょうか？
おそらく、delayとforceを使うと、評価順が一定に定まってしまって、
戦略を選ぶ余地がなくなると思うが。
だから、確かに合流性は保たれるんだけど、これは、レデックスが
同時に複数でてくる言語とは違うような気がする。
たしかに、Haskellのような言語に参照透明性が保たれる
ように継続を導入するのは一筋縄ではいかなそうだな。
俺が単純に考えて思いつくのは、例えば「この場所では同じ
継続呼び出ししかできない」のような制約を課せば
合流性が保たれるように実現できるかもね。
つうか、俺は関数型の専門家でもなんでもないし、
ラムダ計算とかも昔少し独学した程度なので、
つっこんだこと聞かれても困るが。
第一、あなたの方が詳しいような気がするんだけど。（ｗ
間違ったこと言っていたらスマソ。
0319デフォルトの名無しさん
NGNG0320デフォルトの名無しさん
NGNG0321デフォルトの名無しさん
NGNG0322デフォルトの名無しさん
NGNG0323デフォルトの名無しさん
NGNGhttp://pc2.2ch.net/test/read.cgi/tech/1047970129/
600 あたりから関数型の話題になってますた
0324デフォルトの名無しさん
NGNG結局、継続は関数型言語の純粋さを破壊する非関数型な機能のようですね。
0326デフォルトの名無しさん
NGNGあと、合流性の定義は調べたほうがいいですね。
評価順を決めれば結果がひとつになるというのは
合流性が成り立ったことにはならないので。
0327753
NGNG合流性の定義をそう解釈した覚えはない。
君が誤解している。
delayを使えば、「評価順を変える」などという
ことがそもそも出来なくなるので
戦略を選ぶ余地は無くなる。
それから、継承を使っただけでは合流性は損なわれない。
0328753
NGNG全てが全て、ラムダ計算のβ-簡約のように、評価順が
全く自由というわけではない。
0329753
NGNG(call/cc (lambda (k) (cons (k 1) (k 1))))
ならば、合流性は損なわれない。
全部k 1でそろえてるからだ。
これと同じ規則にしろとはいわないが、継続を使ったということが
イコール合流性が損なわれるということにはならない。
0330デフォルトの名無しさん
NGNGにも絶対に変えられない順序は存在する。
引数を計算しておかないとδ-リダクションは行えないからな。
0331デフォルトの名無しさん
NGNGもちろん、そういうのはありますよね。
TRS のほうでいえば、ある redex を書き換えた結果として
新しく redex がでてくるなら
前者より先に後者を書き換えるのは無理ですし。
0332デフォルトの名無しさん
NGNG合流性というのが、TRS の用語だということを知っていますか？
0333デフォルトの名無しさん
NGNGTerm Rewriting System の略で、項書き換え系というものです。
0334デフォルトの名無しさん
NGNGどっちがより基本的な概念なのだろう。
0335デフォルトの名無しさん
NGNG0336デフォルトの名無しさん
NGNGラムダ計算において使用不可能な概念ではないでしょう
0337デフォルトの名無しさん
NGNGあとスーパーコンビネータも。
0338預言者
NGNG0339デフォルトの名無しさん
NGNGそうですね。
それはそれとして、合流性じゃなくてチャーチ・ロッサー性と書いておけば
誤解を招かなかったかも、と後悔していたりします。
0341753
NGNG最終的に同じ結果になるということでしょう。
もともと、「リダクションの順番が変わっても
同じ結果になる言語」（schemeは違うけど）に、
継続呼び出しを使ったって、
(call/cc (lambda (k) (cons (k 1) (k 1))))
のように継続呼び出しが一定の形をしているのなら、
同じ結果になるはず。
違うというのなら、例を示して欲しい。
0342デフォルトの名無しさん
NGNGだったらはじめからチャーチ・ロッサーと書け。
こいつもそうだけど、分からないことを分かるのが高度とか思い込んでる風潮があるよな。
たとえば国語の試験。「作者は何を考えてこの文章を書いたのか答えなさい」
こんなの読んで分からない文章書くこと自体が間違い。
人によって解釈がまちまちになるほど説明が下手な文章を書くほうが間違い。
にもかかわらず、この設問のように、気持ちを察することの方を勉強させようとする。
本来は著者にもっとわかりやすい文書に書き直させるのが正解。
こんな教育やってるから、文章（説明）の下手なやつが多くて、
わからないと「実はこういう意味なんだ」「行間を読め」とか、なら最初から
そう書けボケェ！というやからが増える。
上場企業には財務を説明しなければならないアカウンタビリティ（説明責任）という
のがあって欧米では常識なのだが、日本は聞かない方が悪いみたいな風潮があるからな。
特に仕事なんかそうだよな。ドキュメント一式渡して、あとわらかないところは聞いてくださいと。
しかし最初はわからないところもわからないんだから、わかるように説明するべきなんだが、
みんな先輩からもおなじ教育受けてきてるから、おんなじことを繰り返す。
とくにソフトなんて客と１次請け、１次請けと下請けと、階層が多いんだから、なおさら
説明は大事。にもかかわらず、説明の重要さがわかってないから生産性が低くなり、
なんで生産性が低いのかすら理解できないということになる。さらにみんなこんな
もんだとか「みんな」意識が芽生えちゃって、問題とも思わなくなる。おまいらの職場も
こんな感じだろ。ちなみにもれが引き継ぎすると、このあたりの説明資料および説明行動
するから、すげぇ早く引継ぎが出来る。だいたい最初に自分が教えてもらったときの
３倍くらいの早さで理解してもらえる。相手の気持ちになって、自分から説明しようという
気持ちを持つだけのことなのにな。
0343デフォルトの名無しさん
NGNG副作用のない関数を簡単に定義できる事ですか？
0344デフォルトの名無しさん
NGNG確かに説明が稚拙なのが問題なときもあるが、説明を理解できないのが問題なときもあるのだよ。
0345デフォルトの名無しさん
NGNGそれなら、チャーチ・ロッサー性を誤解してますね。
チャーチ・ロッサー性は、
ある項について正規形がひとつしかないことをいうのではなく、
全ての項について正規形がひとつしかないことをいうので。
まぁ、∀と∃の違いがわかってないということか。
0346デフォルトの名無しさん
NGNG横から口出し失礼。
相手の立場にたって説明することの重要性については大賛成だ。
だけど、チャーチロッサー性≡合流性を知らないとは普通考えない、と思う。
0347デフォルトの名無しさん
NGNGチャーチ・ロッサー性というのは、すべての項について、
もし正規形にたどり着いたならそれは同じ項になる、
ということなので、たとえそうなるような
(call/cc (lambda (k) (cons (k 1) (k 1))))
という項が存在したとしても、そうならないような
(call/cc (lambda (k) (cons (k 1) (k 2))))
が存在する限り、チャーチ・ロッサー性が成り立ったことにはなりません。
そして、チャーチ・ロッサー性は参照透明性を実現する性質で、
これが成り立たないものは関数型として純粋とはいえません。
もちろん「純粋関数型」の定義が私と違うひとがいる可能性はありますが。
Scheme の継続を使うとチャーチ・ロッサー性が満たされなくなるということは
この継続は関数型言語の純粋さを傷つける機能というわけで、
継続という機能は関数型ではない、ということなのです。
0348デフォルトの名無しさん
NGNG>>753もそれは分かってると思うよ。
合流性を損なわない範囲で継続の概念を定義できる、ということだろう。
では、継続の本質とは何か？ という方向に行けば議論がかみあうのでは
ないかな。
0349デフォルトの名無しさん
NGNG0350753
NGNGいや、俺はそれはわかってるが･･･
>>347
だから、「全ての項」に初めから含まれていなければいいと言ってるんだよ。
つまり、例えば
(call/cc (lambda (k) (cons (k 1) (k 2))))
のような書き方は文法で禁止してしまうわけだ。
こうして、初めから存在しないことにしてしまう。
そうすれば、合流性は保たれるし、なおかつ継続も使える。
もちろん、なにか別の使ってもいい場所で（k 2)を使う
ということもできるだろうし、別の文法規則を考えたっていい。
0351デフォルトの名無しさん
NGNGでは、具体的には、どういう文法にするのですか？
0352デフォルトの名無しさん
NGNG文法を変える必要はない気がするけど
0353753
NGNGてか、何で俺がそこまで考えてあんたに教えなくちゃいけないんだ。
あまり役には立たないが、継続呼び出しを全部同じ形にすれば、継続が
使えるのは確か。普通に考えれば、
・同一エリア内では継続呼び出しを全部同じ形にしなくてはならない。
・別のエリアでは別の呼び出しを使っても良い。
この二つの規則を組み合わせることで、ちょっとは役に立つように継続を
実現できるのではないかと思う。この「エリア」をどうするかが大きな問題だが。
あとは、モナドなどが使えるかもね。
いずれにせよ、矛盾なく考えるのは非常に難解そうだが。
0354デフォルトの名無しさん
NGNG(define f (lambda (k) (cons (k 1) (k 2))))
(call/cc (lambda (k) (f k)))
(call/cc f)
継続とその他って、別々にした方がいいかもね。
どちらにしろ、そろそろschemeの範疇で考えるのは限界がある気がする。
0355デフォルトの名無しさん
NGNGなにかが存在するという主張において、
具体例が出せなければ説得力が皆無だからです。
説得力皆無でもかまわないというのであれば
「教えなくちゃいけない」わけではありませんし、
背理法での証明とか具体例なしに説得力を高める方法もありますが。
それはそれとして、
(call/cc (lambda (k) (if #t X (k Y)))
という例を考えつきました。
この場合、チャーチロッサー性を成り立たせるためには、
(if ...) を先に簡約した場合と (k Y) を先に簡約した場合で結果が一致しなければなりません。
つまり、X と Y は(正規形があるなら)一致する必要があります。
ということは、たとえば大域脱出に使おうと思っても、
脱出するときの値とそうでないときの値を自由に変えられないわけです。
なんか、考えれば考えるほど、役に立つ形で継続プリミティブを導入するのは
不可能ではないかという印象を強く感じています。
0356753
NGNG対して「具体的にどうしたら良いのですか？」と聞く必要性を感じない。
少なくとも351の時点では、俺が提示した具体例を、あなたが完全に否定
出来ていない以上、これ以上の説得力をもたせる必要性も感じない。
> (call/cc (lambda (k) (if #t X (k Y)))
> という例を考えつきました。
それは、ifの評価順を条件判定を先にするようにしてしまえば良いし、
それで特にifが役に立たなくなるとも思えない。
継続呼び出しをifの中で使うのを禁止するという手もある。
>なんか、考えれば考えるほど、役に立つ形で継続プリミティブを導入するのは
>不可能ではないかという印象を強く感じています。
難しいだろうね、とは思うし、不可能とまで断言するには根拠が薄すぎる
と思うが、別に役に立つと主張したいわけでもないので、俺はどうでも良い。
関数型の特徴と矛盾する機能ではないと言ってるだけ。
0357753
NGNGまでたどり着いたら、継続呼び出しの場所（直後の継続）へ
また戻ってくれば全ては解決するんじゃないのか？
これも一つの解決方法ではあると思う。
あまり役には立たないだろうけど。（ｗ
0358デフォルトの名無しさん
NGNG尋ねているのは具体的な項ではなく、具体的な文法です。
あぁ、もしかして、
(call/cc (lambda (k) (cons (k 1) (k 1))))
という項のみが許される文法ということですか？
それはそれとして「評価順を条件判定を先にするようにしてしまえば良い」
というのはやはりチャーチ・ロッサー性を理解していないのではないかと思えます。
if の中での禁止は私も考えましたが、一般に必ず評価されるようなところにしか
継続呼び出しを書けないのなら、必ず継続が呼び出されて外側が削除されるわけで、
その削除されるところには何の意味があるのだろうかという疑問が湧きます。
いずれにせよ、純粋関数型言語に役に立つ形で継続プリミティブを入れるのが
困難なのはたしかそうですね。
0359753
NGNG>(call/cc (lambda (k) (cons (k 1) (k 1))))
>という項のみが許される文法ということですか？
はぁ～。俺の話全く読んでないんだね。
「継続呼び出しが一定の形をしている文法」のこと。
これに対して、その後、あなたが、反例を一つ示した（ifのこと）から、
俺が解決策を示した。
この流れすらわかってないのかね。。。
>それはそれとして「評価順を条件判定を先にするようにしてしまえば良い」
>というのはやはりチャーチ・ロッサー性を理解していないのではないかと思えます。
あのなあ、評価順を文法で決めてしまえば、戦略を選ぶ余地はなくなるの。
枝分かれする余地がないの。だから、チャーチロッサー性なんて当たり前に
成り立つの。お分かり？
余地がある場合にチャーチロッサー性が成り立つかどうかが問題になるわけ。
「純粋」であることと、「評価順が複数あって選べる」ことは別問題なの。
あんた基本的なところから理解できてないね。
こんな人と話してたたのか･･･
>その削除されるところには何の意味があるのだろうかという疑問が湧きます。
言ってることが意味不明。
>いずれにせよ、純粋関数型言語に役に立つ形で継続プリミティブを入れるのが
>困難なのはたしかそうですね。
ま、評価順が一つに決まってる純粋関数型言語なら簡単だけどね。
あなたは、純粋関数型言語と言えば、レデックスが同時に複数出てくる
言語しか頭にないようだけど。
0360753
NGNG(((if #t) 1) 2)→((if_#t 1) 2)→(if_#t_1 2)→1
と簡約されるシステムが仮にあるとする。リストの先頭が関数でない
場合の簡約は無いとする。
このとき、評価順は一つに定まり、戦略を選べない。
適当なマクロを備えれば、見た目をSchemeらしい形にすることも
可能だと思う。
役に立つかどうかは別問題だけど。
0361デフォルトの名無しさん
NGNGもし正規形以外に任意の式が書けるのであれば、
(((if #t) (((if #t) 1) 2)) 2)
というように redex が 2つ存在する項が存在します。
一般に、関数適用構文には関数部と引数部がありますから、
両方に redex を含めば複数の redex が存在することになります。
さらに一般には、関数適用に限らず2つ以上の子をもつ項が存在すれば、
複数の redex が存在する項を作れるでしょう。
つまり、そういう構文がある言語では常に戦略を選ぶ余地があります。
そういう構文が存在しない関数型言語っていうのはまったく考慮していませんでしたが、
それはそれで常識はずれで興味深いですね。
0362デフォルトの名無しさん
NGNGiffってなに？
0363デフォルトの名無しさん
NGNGif and only if, i.e. necessary and sufficient.
0364デフォルトの名無しさん
NGNG0365デフォルトの名無しさん
NGNGhttp://www.dtek.chalmers.se/groups/icfpcontest/
The Contest is Over!
参加された方います？
0367山崎 渉
NGNG__∧＿∧_
|（ ＾＾ ）| ＜寝るぽ（＾＾）
|＼⌒⌒⌒＼
＼ |⌒⌒⌒~| 山崎渉
~￣￣￣￣
0368山崎 渉
NGNG__∧＿∧_
|（ ＾＾ ）| ＜寝るぽ（＾＾）
|＼⌒⌒⌒＼
＼ |⌒⌒⌒~| 山崎渉
~￣￣￣￣
0369山崎 渉
NGNG│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
⊂| |つ
（＿）（＿） 山崎パン
0370デフォルトの名無しさん
NGNG気に食わん
0371デフォルトの名無しさん
NGNG￥だったらいいのか？
0372デフォルトの名無しさん
NGNG0373デフォルトの名無しさん
NGNG↓こんな感じか？
＼
／＼
0374デフォルトの名無しさん
NGNG0375デフォルトの名無しさん
NGNGそれは72の頃の話じゃないのか？ 今でもできるの？
0376デフォルトの名無しさん
NGNG0377デフォルトの名無しさん
NGNG0378デフォルトの名無しさん
NGNG既出 >>274
0379デフォルトの名無しさん
NGNG0380デフォルトの名無しさん
NGNG0381デフォルトの名無しさん
NGNG0382デフォルトの名無しさん
NGNGサンプルが難しすぎてわけわかです。
とりあえず、数値を入力したら計算結果を出すとか、単純なものを作ってみたいのですが
標準入出力を使う関数のリファレンスなどはどこにあるのでしょう？
0383デフォルトの名無しさん
NGNGとりあえずここの日本語訳を読んでみたらサンプル難しい！を乗り越えられるかも。
ここを既に見ててわからんなのだとちとお手上げ
ttp://sky.zero.ad.jp/~zaa54437/programming/clean/
0385デフォルトの名無しさん
NGNG0386デフォルトの名無しさん
NGNGちょっと楽しみ。
0387デフォルトの名無しさん
NGNGはどうなんでしょうか。
Pythonなんかだと、ZopeというWebアプリケーションサーバーがあります。
関数型が本気になったら、Zopeなんてすぐできるとか、こんなにアドバ
ンテージがある、なんてこと考えられますか？
0388デフォルトの名無しさん
NGNG保守や引継ぎが楽になるんじゃね？普及すれば。
Zopeなんて直ぐできるだろうね。書く人がいればだけどね。
速度はめちゃ速で、pythonなんかと比較すんのもおこがましいだろうよ。
後々Cなんかで拡張部書く必要ないし。
ところでおまえ、Clean理解できる？
おれ無理。
0389デフォルトの名無しさん
NGNG俺も無理です。
プログラミング環境をダウンロードしていじってみたことありです。
作成したプログラムはGUIきれいだった。
関数型、GUIよし、マルチプラットフォーム。伸びてほしいですね。
でも商用で金がかかる（？）当時のサイトでは料金体系があいまい（？）
「作者にメールして聞いてね」って感じじゃなかったかな。今も？
関数型は言語の素養よりも、キラーアプリだと思う。
関数型のWEBアプリサーバーで良さが広まればと思いますが、どう
でしょう。
Zopeがあまりにも良いもんで(^^;
0390デフォルトの名無しさん
NGNGGUIというか、実用ソフトには無縁なイメージがあるんだよなー
見てみたいんで教えてくらはい
0391デフォルトの名無しさん
NGNGこの絵は大したことないですね。IDEのサンプルはもっと良かったです。
ttp://www.cs.kun.nl/~clean/About_Clean/Standard_I_O_Lib/standard_i_o_lib.html
0392デフォルトの名無しさん
NGNGあるんですが、それに対する公式の文書みたいなものはないんですか？
0393デフォルトの名無しさん
NGNG0394デフォルトの名無しさん
NGNGところで、関数型スタイルと OO スタイルをうまく共存させてプログラミング
するコツってある？ 当方、主に Common Lisp なんだが CLOS とか使うとどう
しても副作用出ちゃうし。
0395デフォルトの名無しさん
NGNG組んだことがあったがえらく不評だった。C++だが。
0396デフォルトの名無しさん
NGNG0397デフォルトの名無しさん
NGNG>公式の文書ってなんだ？
ニュースグループ内のFAQみたいなのです。
0398デフォルトの名無しさん
NGNG(0) Lisp で書かれたサーバが他サーバからの幾多の挑戦を悉く打ち負かした理由
「普通のやつらの上を行け!(和訳)」
ttp://www.shiro.dreamhost.com/scheme/trans/beating-the-averages-j.html
(1) Oracle の 10～100 倍速い関数型 DB 指向言語 K(Wall 街御用達) www.kx.com
(2) CUI/GUI な IDE が自己記述でカナダの数学授業に採用の J(M$やN興證券御用達)
www.jsoftware.com
「Oracle の 10～100 倍速い」ってのは Extreme Programming(XP) in APL のページ
ttp://aplxp.blogspot.com/
に書いてあった紹介文なのですが, この「XP(和称ペケぴー?)」や
「agile pg」「富豪的 pg(日本発なの?)」といった最近台頭して来ている
プログラミングパラダイムは関数型言語ととっても相性が良いような気が
するのですがどうでしょうか。(λ(←自主規制)計画の250億円がこう言った
方面に注ぎ込まれていたら……。)
(9) おまけ ttp://store.yahoo.com/paulgraham/fix.html
0399デフォルトの名無しさん
NGNG0400デフォルトの名無しさん
NGNG0401デフォルトの名無しさん
NGNG0402デフォルトの名無しさん
NGNGhttp://sports2.2ch.net/test/read.cgi/kouhaku/1057943092/-100
行政機関、日本の全マスコミ、教育機関などによる、
個人に対する住居不法侵入からの盗聴、盗撮、24時間監視、
ストーカーで収集した個人情報を、
テレビ、新聞、出版物などで嫌がらせをしながら悪用している事実について、
>>1>>394までにまとめました。
２ｃｈのマスコミ板 http://society.2ch.net/mass/
●●●マスコミの盗聴、盗撮は許されるのか？●●●
で被害者の訴え、マスコミの隠蔽が、３０スレまで続いています。
より多くの人に事実を知って貰うことが、
組織的、計画的な犯罪の刑事責任、民事責任を追及することにつながると考えています。
0403デフォルトの名無しさん
NGNGと煽ってみるテスト。
0404デフォルトの名無しさん
NGNG0405デフォルトの名無しさん
NGNGこの２つでもっとも大きな違いは何ですか？
0406デフォルトの名無しさん
NGNGさっそくLinuxの方面だとバグ発見されちゃいましたね。WinとMacの方は直ってるけど、Un*xの方の直し忘れたから次ので直すよ～って（汗
お茶目だ（w
0407デフォルトの名無しさん
NGNGロジック的なバグは減らないのか
0408デフォルトの名無しさん
NGNG0409デフォルトの名無しさん
NGNGOCamlは正格
haskell は非正格でlazy
0410デフォルトの名無しさん
NGNGいい性質のようにみえるのに，正格でないほうがかえって
理論的にきれいになる(不動点演算子の定義とか)のはなぜだろう？
0411デフォルトの名無しさん
NGNGまぁ、Clean自体Cleanで書かれてるんだからそういう言い方もありなのかもしれん。
0412デフォルトの名無しさん
NGNGあれって前提とする知識量が多すぎな気がするんだけど、
例えばML使える人が移行できる様なもの？
0414デフォルトの名無しさん
NGNG統合開発環境つきの言語でQっていうらしい（環境のほうはqpad）
↓ここから落とせる。
http://www.musikwissenschaft.uni-mainz.de/~ag/q.
紹介をよむと項書き換えシステムをつかったマルチプラットホームな
スクリプト言語らしい。
統合開発環境がつかいやすいので、初めての関数型言語にはいいかも。
でこれが製作者の顔
http://www.musikwissenschaft.uni-mainz.de/~ag/ag.gif
0415414
NGNG×http://www.musikwissenschaft.uni-mainz.de/~ag/q.
○http://www.musikwissenschaft.uni-mainz.de/~ag/q/q.php
0417デフォルトの名無しさん
NGNGと考えることは間違ってますか？
またどういったケースでどういう不都合がありますか？
0418デフォルトの名無しさん
NGNG無名だから自分自身を直接呼び出せないって制限があるだけ。
あとは埋めこみ構文ということで、スコープが書く場所によって違う。
0419デフォルトの名無しさん
NGNG>無名だから自分自身を直接呼び出せないって制限があるだけ。
ああ、これは言われて気がついたのですが、なるほどですね。
Perlなら関数リファレンスを引数に取る無名関数を定義、かつ
それのリファレンスをどこかの変数に入れて、
無名関数を評価するときにおいて自身のリファレンスを無名関数に
渡すことも可能か？！無名関数のリファレンスを取ること自体が
いけないのかもしれないですね。。。
>あとは埋めこみ構文ということで、スコープが書く場所によって違う。
これはそうですね。関数内において、値を計算することと関数を定義する
ことが式という枠組みで見れば等価っていう感じでしょうか。違うかな（汗
関数の実引数としてlambdaを定義。関数の戻り値としてlambdaを定義。
なんとなくですが、
http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E7%AE%97%E6%B3%95
ここで言われている、ラムダ算法なるものの概要が分った気がしました。。。
>基本的にラムダ計算では関数抽象 (プログラムの定義) と
>関数適用 (プログラムの実行) の 2つの操作しかない。
Perlでクロージャの有効な使い方を学ぼうと思っていいろいろ調べていたら、
やっぱりラムダやLISPのプログラミングテクニックについてちゃんと
理解してナイトダメみたいですね。難しい、鬱だ
0420デフォルトの名無しさん
NGNG>無名関数のリファレンスを取ること自体がいけないのかもしれないですね
いや、自身の参照を扱う事自体は特別なことじゃないよ。
（再帰関数と同じ扱い。）
ただし、再帰の終点をちゃんと決めておかないと終了しないコードになる。
・自分自身を引数に渡して呼び出す方法
(let ((tmp #f))
(set! tmp (lambda (self) (self self)))
(tmp tmp))
・letの変数経由で自己参照する方法
(let ((self #f))
(set! self (lambda () (self)))
(self))
これを構文糖衣にしたのがletrec
(letref ((self (lambda () (self))))
(self))
0421デフォルトの名無しさん
NGNG0422デフォルトの名無しさん
NGNGありがとうございます。
LISPでは"self"というキーワードで、現在の評価中関数の
参照が取得できるんですね。なるほど。
ネットでラムダに関して何か良いドキュメントはないかと探していたら
http://members.at.infoseek.co.jp/nbz/ref/lambda.html
こんなものがありました。
α変換、β変換について書かれているところで、自由変数(free variable),
束縛変数(bounded variable)という分らないキーワードが出てきたので
http://www.graco.c.u-tokyo.ac.jp/~kashiwa/sysI/2001/pred/node4.html
このドキュメントを読んでいまいた。
Cでいうところのローカル変数が束縛変数。関数の仮引数が
自由変数という解釈でいいのでしょうか？それともこういった
現実のプログラミング言語に置き換えるのは間違いでしょうかね、、
0423デフォルトの名無しさん
NGNGletやletrecはその変数を作る構文。
>>420はletで作成した変数tmpやselfを無名関数で初期化しているだけ。
LISPｽﾚ行くか適当な入門書読んだ方がいいんじゃないかと。
0424デフォルトの名無しさん
NGNG0425デフォルトの名無しさん
NGNGあらら、これはまたすみません。
やっぱりラムダ算法の本とLISPのプログラミングの本を容易しないと
話しにならないっぽいですね。ネットの断片的な情報だけでは辛ひ…
良く考えたらスレ違いなので、これ以上はここではやめておきます。
どもでした。
0426デフォルトの名無しさん
NGNG>>420の式はそれぞれ
;; expand (let ((tmp #f)) (set! tmp (lambda (self) (self self))) (tmp tmp))
((lambda (tmp)
(set! tmp (lambda (self) (self self)))
(tmp tmp)) #f)
;; expand (let ((self #f)) (set! self (lambda () (self))) (self))
((lambda (self)
(set! self (lambda () (self)))
(self)) #f)
;; expand (letrec ((self (lambda () (self)))) (self))
((lambda (self)
(set! self (lambda () (self)))
(self)) #f)
と展開して、lambda(とset!)だけで表現できる。
（ただしこの展開方法が唯一というわけではない）
こんなこと最初は知る必要ないんだけど、ほとんどの構文が
より基本的な構文への構文糖衣(syntax-sugar)だと知ると
きっと面白くなるよって話。
そろそろスレ違いぎみか。
0427デフォルトの名無しさん
NGNGありがとうございます。
ラムダというのはすごいですね。計算というものを変換規則で
言い表してしまうなんて。いままでプログラムの実行(つまり
私にとってのプログラムの意味)とは、VisualStudioなどの
IDEでのステップ実行のような、シーケンスが流れていく有様を
イメージしていたのですが、こんな風にも表現できるというのは
びっくりしました。
>letもlambdaの構文糖衣として表現できるので
構文糖こそラムダで表現できるんですね。となるとラムダでは
表現できない構文要素とはなんでしょうか。これから勉強しなくては
いけないですね。今さっき「計算機プログラムの構造と解釈」という本を
ラオックスで買って来ました。スレ汚しすんません。
0428デフォルトの名無しさん
NGNG先生ここに居られたんですかぁ。関数型言語の板に確か
ご在籍と記憶しておりまして、LispSchemeや
MLと関数型言語板を渡り歩いてしまいました。
（ML板では追剥ぎ？のような連中にとっつかまり
すっかり難渋いたしましたが…藁藁）
先生のご高説には常に感じ入って拝聴させて
頂いております。そこで関数型言語について
一つ質問させて下さりませ。
「かの言語は教育用や学究的な目的で使用されることは
ありますが、何故一般に普及しないのでありましょうか？」
（REXXやERLANGなど企業内言語として、少しはありますが）
0429デフォルトの名無しさん
NGNGグラフ理論や項書き換えシステムについて勉強しなきゃいけないんでしょうか？
その場合推薦図書とかあります？
0430デフォルトの名無しさん
NGNG↓
スレと全然関係無い計算機科学系の話題をいきなりふる
（しかも学部レベルの話）
↓
みんなが呆れていると、「こんなことも知らないの？
君達にはもう付き合えないよ」などと見当違いの感想
↓
MLとの関連性や、ちょっと突っ込んだ内容について
質問されるともう答えられない
・googleで検索して名前の出てきた人が自分に質問していると思い込む
・2ch管理人のひろゆき氏がMLスレに参加してると思い込み、中央大
（氏の出身大）を馬鹿にする
0431デフォルトの名無しさん
NGNG0432デフォルトの名無しさん
NGNG今のところ日本語では；
ttp://sky.zero.ad.jp/~zaa54437/programming/clean/
ここしかないようです？
Cleanの1.3.2ですが入れて試してみましたが、
なかなか良さげな感触でした。
0433ヒーロー勇気
NGNGアンタ？ストーカー？
２ちゃん管理人でない限り、ここまで追えないでしょう？
Log見ないでなんで分かるの？
本人ではないかも知れんが、これで少なくとも息の
かかった人間であることが証明された。（藁藁）
えっ？こんなに底レベルの発言するのは、２ちゃん広しと
言えど余輩だけって？（藁藁）
分かりました。もう逃げも隠れもいたしません。
皆さんの絶大なるご期待に応えて「検索」しやすいよう、今後
２ちゃんにおける余輩の全ての発言に「ヒーロー勇気」の
名前を冠することに致します。「たまたま」似た名前の方が
居られたとしても一切無関係であります。（藁）
さらに、名前無断借用！成りすまし！一切フリーですから。
従って「ひろゆき」も今後は「成りすまし」と見なされますので
念の為（ワラワラ）
またここではっきりさせて置きます。
この、支離滅裂、分裂気味の文章（２ちゃんでは普通？）
から賢明なるROMのご推察の通り、余輩は大学セントラルは
おろか一切「大学や大学院教育！」なるものを受けておりません。
キッパリ
（ただ、授業料だけ納め…藁藁）
時代は今や「大学教育」を受けて「ない」こと、これが
ステータス・シンボルであります。浜崎あゆみを見よ！
朝青龍を見よ！大リーグで活躍する松井を見よ！
打倒！Java！C#！C!VB!ついでにRUBY！
本屋に積んである全ての言語教則本を蹴散らしましょう！
関数型言語の本なんて、近所の本屋で見たことがない。
この落ち目でマイナーでショボクレタ関数型言語を
愛するオタク諸兄姉！マンセー！
0434デフォルトの名無しさん
NGNGhttp://pc.2ch.net/test/read.cgi/prog/1036464486/l50
0435ヒーロー勇気
NGNG>433スレ違いです
430は？（藁藁）
0436ヒーロー勇気
NGNGあのぉ。誠に申し上げにくいのですが、
432も余輩の発言なんですがぁ。（藁藁）
0437デフォルトの名無しさん
NGNG＞２ちゃん管理人でない限り、ここまで追えないでしょう？
＞Log見ないでなんで分かるの？
ｱｲﾀﾀ…
0438ヒーロー勇気
NGNG今日は()
関数型言語のプロンプト入力とその結果です。
はて、この言語は何かご存知でしょうか？
0439デフォルトの名無しさん
NGNG0440デフォルトの名無しさん
NGNG>>430
アンタ？ストーカー？
２ちゃん管理人でない限り、ここまで追えないでしょう？
Log見ないでなんで分かるの？
本人ではないかも知れんが、これで少なくとも息の
かかった人間であることが証明された。（藁藁）
0441デフォルトの名無しさん
NGNG0442デフォルトの名無しさん
NGNG言語は存じ上げませんが
"今日は" -- write関数の副作用
"()" -- write関数の返り値 (UNIT)
ですか？
0443ヒーロー勇気
NGNGすっご～い！Qですよ。良くお分かりですね？
http://www.musikwissenschaft.uni-mainz.de/~ag/q/q.php
ここがHPです。
http://www.musikwissenschaft.uni-mainz.de/~ag/ag.html
これがご本人です。
今回はくれぐれも誤解の無いよう、お願い致します。
ワタクシ、ご本人ではありませんので。（藁藁）
0444デフォルトの名無しさん
NGNG0445デフォルトの名無しさん
NGNG0446デフォルトの名無しさん
NGNG0447ヒーロー勇気
NGNG本家からLispScheme、Haskell/Clean、ML/OCAMLが
分家独立したら、関数言語板って何が残るの？
今更REXXやERLANGでもあるまいし、Qしかないん
じゃないの？（藁藁）
0448ヒーロー勇気
NGNG＞引用、転載等される場合があることを承諾します。
これってさぁ。改竄、捏造、中傷、罵倒は含んでないよね？（藁藁）
0449デフォルトの名無しさん
NGNG'((("山崎\\s *渉" R) . hide)
(("ヒーロー勇気" R) . hide)
((...
0450デフォルトの名無しさん
NGNG数学板の山口人生もそうだけど、キチガイは客観性が欠落してるから
自分のレスが完全に浮いている（2chの細かい流儀を踏まえてない）ことに
全く気が付かないんだよな。
sageない、レス番指定が変、顔文字が変、句読点が変、「（藁）」、、、
0451デフォルトの名無しさん
NGNGQ を知ってるなんて激しく頭良くて優秀ですね！
漏れを含めた低脳は存在を全く知りませんでした！
…と言って欲しかったのだと思われ。誰もそれを
言ってくれないので >>443 で自画自賛。とりあえず
ほめてエゴが満足したらおとなしくなったりしないかなぁ。
0452ヒーロー勇気
NGNGかの著名な山崎さんと同列でよろしいのでしょうか？（藁）
>>450
余程「ヒーロー勇気」とは呼びにくいらしい？
そりゃあ。ご本家「ひろゆき」の持つ不可侵！の
イメージー＞セコイ、小者、卑怯、未練とは
段違いだもんね。（藁藁）
>>451
Q is a modern functional programming language「 based
on term rewriting.」 It is simple, powerful, extensible,
portable, fast and easy to use:
Qの紹介文にある「Rewriting」ってご存知でしょうか？
そのために「敢えて」Qを選んだんですが。（Laugh,Laugh)
0453デフォルトの名無しさん
NGNG項書換えのためにあえて >>438 ね…いや、突っ込んではいかんのか。
はいはい。激しく深い思慮があったんだろうね。ｵﾏｴは頭がいいよ。
ほんと感服するわ。いやぁ、項書換えなんて単語すら全く知らなかったなぁ。
あ、「敢えて」の説明はしなくてもいいから。うん、しっかりわかってるよ。
苦し紛れの言い訳じゃないことはひしひしと伝わってきますから。
0454デフォルトの名無しさん
NGNGあのー、あなたのほうこそ何故堂々とAranskを名乗らないのですか？
ひろゆきに逆恨み粘着か…
行動パターンがますますﾔﾏｼﾞﾝとかぶってきたね
0455デフォルトの名無しさん
NGNG「状況を見て、判断します。常にこの方針に変化は
ありません。」（藁藁）
>>454
何故？堂々と「ヒーロー勇気」と呼べないのでしょうか？
何かやましいことでも？とても気恥かしくて呼べないって？
（大ワラワラ）
0456ヒーロー勇気
NGNG書かれたプログラムを完全に違ったロジックに書き換えて
バイトコードに変換し効率を高めております。（JVMやCLR？）
従って普通に再帰構造のプログラムを書けば、内部で自動的に
末尾再帰に変換してくれる訳です。
これまでプログラムはマシーンの挙動を制御するものであり
ました。これが徐々に単なるGUIと変わらないインターフェース
化しております。CUIだから当たり前ちゃぁ、その通りですが
少なくとも、GUIよりはマシーン寄りであるとの自負が
砕かれつつある訳です。
そこで関数型言語ご本家の方々にお尋ねします。
上記のようなプログラミング言語の流れの中で、関数型
言語の存在意義は何でしょうか？
ACLを使ってGUIプログラムを作った方いらっしゃるでしょうか？
VBやDelphiから見れば「オモチャ」です。
RubyApoloもついでに言えば「オモチャ」です。
何故？不得意なGUI、DB、OO指向に関数型言語は走るのか？
真摯なご反論をお待ちします。皆さんの高い知的レベルに
勿論、多いに期待をして、「は全くおりません。」（藁藁）
ご自由に普段のスタイルで結構です。
VBはその存在自体がオモチャ。
>何故？不得意なGUI、DB、OO指向に関数型言語は走るのか？
多目的言語であることはアドバンテージだから。
と言うか、この中にＤＢを入れる理由が分からん。
0458デフォルトの名無しさん
NGNG0459デフォルトの名無しさん
NGNGここを隔離スレにするってのはありだとおもうけど。
0460デフォルトの名無しさん
NGNG0461デフォルトの名無しさん
NGNGレスの前半と後半にほとんどつながりがないぞ。
自分のサイトがあるんだからそっちでやれよ。
MLスレじゃ「知識があることは何の意味も持たない」なんて言っておきながら
自分から「これ知ってるか？これ知ってるか？」と脈絡のない質問を連発
ここでも自作自演でQをry
0462デフォルトの名無しさん
NGNG0463ヒーロー勇気
NGNGそのオモチャにGUIでは負けているの？
プログラマーの数でも段違いなんだけど？（藁藁）
DB操作はGUI同様にイベント・ハンドリング的でしょう？
関数型言語を多目的言語であるって認識している
のは関数言語が好きな人だけ。（藁藁）
>>461
分かり易いように具体例を添えて聞いてあげたのに…。
じゃあ単刀直入にお尋ねします。
「関数型言語の存在意義は何でしょうか？」
ワタクシ、皆さん方を決して非難しておるので…「あります。」
関数型言語スレなんだから、個別言語が分家独立した後
当然、関数型言語群という一つ上の抽象化された部分で
発言なさるべきではないでしょうか？
ワタクシが言っておるのは、関数型言語の定義…副作用がどう
こうとかの些末な問題、ではありません。
そもそも、関数型言語自体が存在しているんじゃないこと
ぐらいはお分かりですよね？
関数型言語が好きな、また有用と考えるホンの一握りの
関数型言語族がかろうじて生存しておるのでしょう？
バイクが勝手に暴走する訳じゃない。
暴走族が存在するから、暴走するのです。
（もちろんバイク無しで走っちゃ…マラソン族ですが。藁）
我々少数民族である関数型言語族は今後何に活路を見出す
べきなのか？それをお聞きしておる次第です。
0464ヒーロー勇気
NGNGワタクシ、Aransk氏のHPは確かに紹介しました。
はっきり申し上げますが、完全に別人格であります。
彼のHPの関数言語コラムの最後にも、さも
迷惑そうな文章が掲載されております。
絶大なる宣伝効果を発揮した余輩の活動に
感謝の念がまだまだ薄い。彼はフォーラムに
おった時から超ニブなところがあった。
よ～く他人のハンドル名を間違えておった。
一緒にされては、余輩の方も多いに迷惑です。
またQを宣伝したからと言ってドイツの
ゲーテンベルグ大学とは何の関係もありません。
さらに引用しました、某大の某研、大学セントラル
の文学部とも全く無関係ですから念の為。
イラク情勢板の「川口外相は辞任すべき」スレでも
関数型言語板の宣伝しております。が、ワタクシが
このスレを立ち上げてはおりません。
お分かりでしょうか？（藁藁）
0465デフォルトの名無しさん
NGNG萩谷 昌己 (著)
この本を読んだことのある日とはいますか？
どう？
0466デフォルトの名無しさん
NGNGとりあえず「関数プログラミングってなに？」という感じの
人が読むと良いかも。そうでない人にはもの足りん。
0467デフォルトの名無しさん
NGNG使用人口でVBに負けてる言語なんて、手続き型・ＯＯ型問わず腐るほど
ありますが何か？Win上のGUI処理でVBに勝つのは大変ですね。
何でWinのGUIだけを考えてるのかはさっぱりわかりませんが＞Aransk
＞存在意義
そんなの人それぞれでしょ。「DB手続きが存在するのは
言語の存在意義に反するからおかしい」とか言ってる時点でどうかしてる。
つか不毛。
0468デフォルトの名無しさん
NGNG>つか不毛。
ここに激しく同意。
0469ヒーロー勇気
NGNG萩谷 昌己 (著)も読んだことのない初心者で御座います。
しかしながら、余輩が貴公らに問うておるのは、そのような
教科書的な知識では断じて御座らぬ。
WEB、GUI、RDB、３Dグラフィックなどが全盛時代に
関数型言語の存在意義は何か？
貴公ら自身の思うところを述べよ。
海外の本やHPなどの翻訳及び日本の研究者の
オッカケではなく、貴公ら自身の関数言語に対する
将来展望を熱く語って欲しいとお願いしておる次第です。
己の胸に秘めた若々しい想いを語ることが不毛ならば･…
いったい何に毛が生えるの？（藁藁）
0470デフォルトの名無しさん
NGNG普通に数学の素養のあるひとなら、プログラミング言語ごときに
萌えたりしません。
>プログラマーの数でも段違いなんだけど？（藁藁）
人数が多ければ勝ったといえるならば、
東大卒より高卒の方が優れているという議論も成り立つぞ。
>DB操作はGUI同様にイベント・ハンドリング的でしょう？
例えばＳＱＬはお前の中ではどうなってるんだ？
>関数型言語を多目的言語であるって認識している
>のは関数言語が好きな人だけ。（藁藁）
多目的言語であることはアドバンテージだといっただけ。
0472デフォルトの名無しさん
NGNGっていうイメージがあると思うが、
そもそも、パズルを解くためにコンピュータを使うのに、
そのコンピュータを使うためにパズルを解かなくちゃならない
っていうの、本末転倒だという気がするは漏れだけ？
0473デフォルトの名無しさん
NGNG‥‥とかぶってみるテスト（ぉ
0474デフォルトの名無しさん
NGNGそのパズルを解くプログラムを書けばいいんじゃない？
0475デフォルトの名無しさん
NGNG関数型言語だと、関数ごとの目的をはっきり意識しながら
プログラミングする必要があるよね。今までこれをしなくても
なんとかコードかけていたのは悪い習慣だから、
治さないといけないって個人的には考えてるけど。
0477デフォルトの名無しさん
NGNGでも、副作用のある言語だと割りと目的があいまいな
ままでもOKだったりしません？
0478ヒーロー勇気
NGNG岡潔先生は「数学は感性です。」と仰った。
「萌えない人には数学は向きません」とここまではっきり
仰っておられたかは不明だが…。
>>471
>東大卒より高卒の方が優れているという議論も成り立つぞ。
当たり前です、それが何か？
>例えばＳＱＬはお前の中ではどうなってるんだ？
Structured Query Languageです。
>多目的言語であることはアドバンテージだといっただけ。
多目的言語であるというのは単なる「思いこみ」
だと言いたいだけ。（まとめて、藁藁）
>>472,473,474
鋭い！詰め将棋や詰め碁の好きな人は概ね関数型言語を
好む。
>>475,476,477
嘘ついちゃいけません！
>関数型言語だと、関数ごとの目的をはっきり意識しながら
>プログラミングする必要があるよね。今までこれをしなくても
>なんとかコードかけていた
関数の目的無しに「どんな」言語でもプログラムが書ける訳が無い。
そのコードをここに示しなさい。
どうやら一行もコードを書いたことも無い連中が紛れこんで
いるようだが？文学部卒のお仲間か？（藁藁）
MLスレなんかと比較すると、著しく反応レベルが低いような
気がする。アンタ達は単なるお囃子社中じゃないだろうね？
0479デフォルトの名無しさん
NGNG0480デフォルトの名無しさん
NGNGだんだんに肥大する妄想を特徴とする精神状態で、幻覚を伴わず、また悪化
あるいは回復の傾向がほとんどないもの」である。奇人が掲示板の人々
すべてを向こうに回して孤独な、きびしい敵対状態に立つときには、必ずや
自分は偉大だという強い意識がバックにあるにちがいないことは容易に理解
される。
- 民明書房刊「奇妙な 2ch」より抜粋
0481デフォルトの名無しさん
NGNG0482デフォルトの名無しさん
NGNG努めて放置してるだけだっつーのに。
MLスレとここの住人がかぶってることすら思い至らずに
「管理人にストーカーされてる！」とか言ってるし
本当に客観性の無い人ですね。
0483デフォルトの名無しさん
NGNG> 多目的言語であるというのは単なる「思いこみ」
> だと言いたいだけ。（まとめて、藁藁）
主張は分かったのでそろそろ死んで下さい。
0484デフォルトの名無しさん
NGNGあなたCもまともに書けないじゃん。
0485ヒーロー勇気
NGNG絶大なる応援アリガトーって、選挙はもう終わった？（藁）
>>484
Cじゃ貴方が分からんでしょう？
で、これならとばかりにコードを見せつける。（藁藁）
module AStack( Stack, push, pop, top, size ) where
data Stack a = Empty
| MkStack a (Stack a)
push :: a -> Stack a -> Stack a
push x s = MkStack x s
size :: Stack a -> Integer
size s = length (stkToLst s) where
stkToLst Empty = []
stktoLst (MkStack x s) = x:xs where xs = stkToLst s
pop :: Stack a -> (a, Stack a)
pop (MkStack x s) = (x, case s of r -> i r where i x = x)
top :: Stack a -> a
top (MkStack x s) = x
0486ヒーロー勇気
NGNG皆さんの「ために」本日、かなり大きな本屋に「わざわざ」行きました。
そこはコンピューター関係の書籍が高さ２ｍ巾７ｍの棚５列に
びっしりです。はて？何に関する書籍一番多いでしょう？
年賀状の画材集です。（藁）これはこの季節やむ得ぬことです。
次は圧倒的にエクセル、ワードなどのMS関連、次はHP作成用の
本です。言語関係はこれもJavaが圧倒です。次はVB,C,VC++です。
HTML、XML、PHP、Ruby、Delphi、Perl、PythonなんとSqueakまで
あった！しかしながら我が関数型言語は皆無です。一冊もありません。
武市先生の計算機科学入門にかろうじて、わずか数行紹介されて
おりました。この現実を皆さんは直視していない。
膨大な書籍の山にほんの数行しか、関数型言語が無い。
この事実をどう認識するのか？危機感は無いのか？
すくなくとも日本におけるコンピューター界においては
皆さんがマイノリティーなのです。「基地外」集団であります。
白い服は着てないかもしれないが、今時それも２ちゃんの
関数型言語スレにカキコしているなんて、GFに告白してご覧、
超ヤパ～！一発で振られますよ。アダルトやコミケの方がはるかに
無難であります。まだGFは関心を示すでしょう。（藁藁）
まず率直に自からの置かれている立場を認識することが
大切なのではないでしょうか？
0487デフォルトの名無しさん
NGNG0488デフォルトの名無しさん
NGNG0489デフォルトの名無しさん
NGNG∧＿∧ ＿ ＿ .' ， ．. .∧＿∧
（ ´_ゝ`） _ .- ― .＝￣ ￣`:, .∴ ' （勇気 ）
／ ''￣ ＿＿――＝', ・,‘ ｒ⌒> _／ ／
/ /＼ /￣＼-― ￣￣ ￣"'" . ’ | ｙ'⌒ ⌒i
＿|￣￣ ＼ / ヽ ＼＿ | ／ ノ ｜
＼￣￣￣￣￣￣ ＼＿_） , ー' ／´ヾ_ﾉ
||＼ ＼ ／ , ノ
||＼||￣￣￣￣￣￣￣||￣ ／ ／ ／
|| ||￣￣￣￣￣￣￣|| ／ ／ ,'
|| || || ／ ／| |
!､＿／ / 〉
∧＿∧ 死ね
_（ ´_ゝ｀）
／ ） ＿ _
/ ,ｲ 、 ﾉ/ ∧ ∧―＝￣ ｀ヽ, ＿
/ / | （ 〈 ∵. ・（ 〈＿_ > ゛ 、＿―
｜ ! ヽ ｰ＝-￣￣＝_、 （／ , ´ノ
｜ | ｀iー＿＿＝―＿ ;, ／ ／ ／ ←勇気
!、ﾘ -=＿二＿＿￣_=;, ／ ／ ,'
/ / ／ ／| |
／ / !､＿／ / 〉
／ ＿/ |_／
ヽ､＿ヽ
>>東大卒より高卒の方が優れているという議論も成り立つぞ。
>当たり前です、それが何か？
さては高卒だな。
0491デフォルトの名無しさん
NGNG>Cじゃ貴方が分からんでしょう？
>で、これならとばかりにコードを見せつける。（藁藁）
誰でも解るんじゃない？
もっと、いいネタ無いの？
0492デフォルトの名無しさん
NGNG0493デフォルトの名無しさん
NGNG0494デフォルトの名無しさん
NGNG知的レベルが低いと判定されたので、もうここには書き込みません」
とか妄想捨て台詞吐いて逃げ出すようなクズだもんな。
そのOCAMLコードとやらを見せてみろよ。誇大妄想狂
0495デフォルトの名無しさん
NGNGMLスレでボコボコにされて、関数型言語全般に執着し始めたね。
肥大しきった自我・根拠のない全能感・・まさに天然素材だ
0496デフォルトの名無しさん
NGNG0497デフォルトの名無しさん
NGNG0498ヒーロー勇気
NGNG毎度変わらぬご支援恐れ入ります。（藁）
>>490
>さては高卒だな。
いや、厨房では？（藁藁）
>>494
>そのOCAMLコードとやらを見せてみろよ。
「隠れマルコフモデル」も分からん方々にお見せしても
「酷な」だけでしょうに？（藁藁藁）
それよりも、何故ICFP2003コンテストでC++「ごとき」に
関数型言語は全滅したのか？なんとOCAMLは17チームも
送りこんだにも関わらず惨敗してしまったのか？今年
審査員になった奴は何をしていたのか？メッ！
0499ヒーロー勇気
NGNG>肥大しきった自我・根拠のない全能感・・まさに天然素材だ
>…の第一の特徴は偏執狂の傾向である。偏執狂とは「慢性の、組織化された、
だんだんに肥大する妄想を特徴とする精神状態で、幻覚を伴わず、また悪化
あるいは回復の傾向がほとんどないもの」である。奇人が掲示板の人々
すべてを向こうに回して孤独な、きびしい敵対状態に立つときには、必ずや
自分は偉大だという強い意識がバックにあるにちがいないことは容易に理解
される。- 民明書房刊「奇妙な 2ch」より抜粋>
上記発言に関しては、素直に脱帽いたします。
「俺以外はバッカばっかり！」
この強烈な、一人よがり、>肥大しきった自我・根拠のない全能感
これ以外に何が「２ちゃんねる」を支えているのでしょうか？（大藁藁藁）
0500デフォルトの名無しさん
NGNG0501デフォルトの名無しさん
NGNG2ちゃんねるを支えているのは
read.cgiとか
削除人とか復帰人とか
2chブラウザとか
ヒーロー勇気,川合の子,山崎13といったちょっと変わったコテハンの面々とか
だと思うね。
ところで「ちょっと変わったコテハンの面々」についてだが、
ヒーロー勇気,川合の子,山崎13といったコテハンの方々は
確かに真面目に会話している人にとってはウザいかも知れぬが
客観的な目で見ると、なかなかイイ味をだしているのではないかと思うぞ。
こういう人格は2chだからこそ生まれるのであって、彼らに共通する反社会的とも言える
言動は2ch文化の象徴と言えるだろうな。ニュースグループなどでは決してこのように
派手に暴れまわったりはしないであろう。
....まさか、ここで"活発に"スレをのばしていただいているヒーロー勇気殿も
物理的な社会生活の中ではこういった発言の仕方は自粛しているにちがいないだろう。
いや、むしろ考えつきもしないのではないだろうか。
2chを鑑賞するとやはり人間というものは性悪だということがはっきりと分るね。
何が言いたいかというと、2chを支えている一番の要因というのは
こういったコテハンの方々に象徴されているのではないかということだ。
ところで旧Aransk殿、関数型言語が普及していないのは明らかだし、
リソースの観点から見るとCなどに圧倒的に負けていることは承認するから
このスレを平穏にしてくれないかね?
これを敗北宣言ととるなら....よろしい、そうしてくれたまえ。
俺は"リソースの観点から見るとCなどに圧倒的に負けている"と言っただけだが、
それでことが治まるのならこのスレはゆったりと関数型言語について語れるようになるだろう。
0502デフォルトの名無しさん
NGNG0504デフォルトの名無しさん
NGNG0505デフォルトの名無しさん
NGNGErlang
http://www.erlang.org/
ttp://www.kmonos.net/alang/etc/erlang.php
ttp://swiki.itolab.com:8080/seminar/65
ttp://dontaku.csce.kyushu-u.ac.jp/~eajes/erlang/FAQ.html
0506デフォルトの名無しさん
NGNG真偽はさて置くとして・・・。
自分の好きな言語で拡張可能なエディタがあったら嬉しいですね。
Lisp や Smalltalk みたいな「環境型」言語はこういうのに向いてそう。
静的型付けな関数型言語はエディタのマクロとしてどうでしょう。
設定ファイルを書いていて、型エラーを気にするのはやだな。
と思いました。皆さんはどうですか? 例えば、OCaml の top 環境と
して使えるエディタあったら嬉しいでしょうか?
-- OCaml 製のエディタってありましたよね ;-)
0507Lisp初心者
NGNGまだ勉強不足なのは重々承知なのですが、関数型言語の凄さが理解できていません。
何かきっかけになるようなものがあったら教えて下さい。
0508デフォルトの名無しさん
NGNG少しでも短くなるように書き直す。
他のやり方をあらん限り試してみる。
できるだけ少ない機能で作ってみる。
そのうち悟りを得る。
0509デフォルトの名無しさん
NGNG特にプログラムの面白い(重要な)部分が、
1st classとしての関数、λ、高階関数等が利用できることで、
短く、美しく、さらに簡単に書けることに気づく。
TreeやList構造との相性がいいから、XMLの処理とかやってみるといいかもしれない。
# Lispの例ではないけれど、
# Xerces(DOM, C++)で書いた後に、Haskell Xml Tool Box (or HaXml)で書き直すと
# 移ると見通しの良さと容易さに驚いた。
0510デフォルトの名無しさん
NGNG頭の中で常にλ計算をする
0511Lisp初心者
NGNGじっくり考えてプログラムを書いてみたいと思います。
悟りが開けるよう修行に励みます。
0512デフォルトの名無しさん
NGNG（代入くらい良いじゃん・・・）
0513デフォルトの名無しさん
NGNG代入なんて、しなくて済むならしようとは思わない。
同じ文字列なのにいつ実行されるかによって結果が違うなんて
分かりにくいだけではないか。
0514デフォルトの名無しさん
NGNG基本的にUNIXのCUI環境は好きだけど、シェルスクリプトをはじめ
各種コマンドのオプションや環境変数に型がある方が分り易いと
思うんだけどどうかな。PATHやLS_COLORSなんかも綺麗に記述できるよね。
0515デフォルトの名無しさん
NGNGシェルじゃなくてOSとプログラムを全て書き換えないと、
> 各種コマンドのオプションや環境変数に型がある方が分り易いと
は無理。
0516デフォルトの名無しさん
NGNGもちろん全てのコマンドを書き換えるような真似はできないけど、
インタラクティブに実行してるシェルやシェルスクリプトにおいて
型チェックしてくれたら、いい感じかなあなんて思ったり。
旨い事、この変のUNIX的な環境に乗せられたら面白そうだなと。
0517デフォルトの名無しさん
NGNG型チェックをするにはコマンドが要求する型というものが必要だけど、
UNIXにおいては引数はただの文字列でしか無いからできない。
例えば、プログラムが文字列を要求してるのか数字を要求してるのかを知る方法がないし、
プログラムは各自文字列を内部でパースしてる。optionもシェル変数も型は全てstring。
型を考慮した全く新しいシステムってことなら、面白そうだね。
オーバーロードの規則をうまく定めればそれほど入力も面倒にならないだろうし。
# シェルにそれぞれのコマンドについての知識を持たせて文字列をパースさせて…
# というのなら、時間の無駄かな。
# 複雑なシェルスクリプトの内部で使用する際に型が欲しいのなら、
# 最初から関数型言語でスクリプトをかけばいいし。
0518デフォルトの名無しさん
NGNG># シェルにそれぞれのコマンドについての知識を持たせて文字列をパースさせて…
># というのなら、時間の無駄かな。
自分の考えていたのはこっちですが、あんまり意味ないですかね。
>optionもシェル変数も型は全てstring
UNIX使いの人においては、単なる文字列のやり取りの自由度の高さは
とりがらとされていますね。レジストリに対して/etc/*の優位性を
挙げるときもプレーンテキストであることを主張したりとか。
UNIX的環境にはそれなりの価値観があるんでそれはそれでいいと思います。
パイプにおいてやり取りされるデータに型があったらスクリプト環境も
激変するのでしょうか。私には分かりません。
UNIXを使っていて不自由に思うのは、計算機のためのデータと
人間に表示するためのデータが混在していることです。
人間に表示するためのデータからsedで文字列を抜き出したりとか。
やり取りされるデータの全てに型があるなら、もう少し整理された
感じになるのではとは思いますが、結局既存のUNIX的な自由度の高い環境が
一番使いやすかったということなんですかね。
ヘタレの妄想はここらへんにして、もう寝ます。お休みなさい。
0519デフォルトの名無しさん
NGNG> とりがらとされていますね。レジストリに対して/etc/*の優位性を
爆笑してしまったではないか。取り柄は「とりえ」と読むの。
> 感じになるのではとは思いますが、結局既存のUNIX的な自由度の高い環境が
> 一番使いやすかったということなんですかね。
抽象型の概念が整備されてなかったのが大きいと思うよ。
0520デフォルトの名無しさん
NGNGはぁぁ・・・2ch 語って増えはすれども減ることはないのね。
また覚えなきゃ。
0521デフォルトの名無しさん
NGNG0522デフォルトの名無しさん
NGNG新2ch語かい（藁
0523デフォルトの名無しさん
NGNG「 高さが取り沙汰されていますね。」に脳内変換して読んでいた。
微妙に変な type だなと思いつつ。
想像のはるか斜め上を行く、よい2ch語だな。
0524デフォルトの名無しさん
NGNGtypo？
0525デフォルトの名無しさん
NGNG残してくと、どんどん馬鹿が量産されるだけだぞ。
>>518以降の不毛なやり取りでスレも潰れるしな。
0526デフォルトの名無しさん
NGNG518の内容が凄いまともなこと言ってるだけにうけるw
0527デフォルトの名無しさん
NGNGふいんきのガイドライン
http://that.2ch.net/test/read.cgi/gline/1070428448/l50
今まで勘違いしていたこと
http://human2.2ch.net/test/read.cgi/owarai/1066487700/l50
0528デフォルトの名無しさん
NGNG0529デフォルトの名無しさん
NGNG環境を選ばないOCamlを勉強してみようと思う。
では。
0530デフォルトの名無しさん
NGNGとりがら(←なぜかへんかんできない)
のようにすることを推奨します。
0531デフォルトの名無しさん
NGNG0532デフォルトの名無しさん
NGNG0533デフォルトの名無しさん
NGNG0534デフォルトの名無しさん
NGNGインタプリタは環境を選ぶだろうから、バイナリをはくの？
GCC？
0535デフォルトの名無しさん
NGNG0536デフォルトの名無しさん
NGNG数千万「行」？
俺にはとても書けん
0537デフォルトの名無しさん
NGNGLisp って common lisp ?
>>536
数千万「円」? 「㌦」? 「バイト」?
いずれにしても、かなりのものだと思われ。
0538デフォルトの名無しさん
NGNGこんなかんじか？
0539デフォルトの名無しさん
NGNGあるんだけど、これって誰も使わないの？エディタ自体も拡張言語もMLが
使われてるらしいけど、今では誰もサポートしてないので、
最新のOCAMLでビルドできないらしい。2.0ぐらい？分らないけど。
最近少しだけMLを勉強始めたので興味を持ちました。
0541デフォルトの名無しさん
NGNG0542デフォルトの名無しさん
NGNG【タイトル】
関数型プログラミング言語Haskell Part3
【名前】
デフォルトの名無し
【mail】
【本文】
Haskellの公式HP
http://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
Http://www.teu.ac.jp/kougi/koshida/Prog6/index.html
過去ログ、関連スレは>>2-5
2以降は私が書きますので
0543デフォルトの名無しさん
NGNG【２】
過去ログ
関数型プログラミング言語Haskell
Part1 http://pc.2ch.net/tech/kako/996/996131288.html
Part2 http://pc2.2ch.net/test/read.cgi/tech/1013846140/
関数型言語
Part1 http://pc.2ch.net/tech/kako/987/987954395.html
Part2 http://pc3.2ch.net/tech/kako/1007/10073/1007387924.html
Part3 http://pc2.2ch.net/test/read.cgi/tech/1037527388/l50
純粋関数型言語Concurent Clean
http://pc2.2ch.net/test/read.cgi/tech/1075629340/l50
ＭＬ！！！！！！
http://pc.2ch.net/tech/kako/1002/10021/1002111468.html
関数型プログラミング言語ML
Part1 http://pc2.2ch.net/tech/kako/1012/10124/1012445015.html
Part2 http://pc2.2ch.net/test/read.cgi/tech/1058630709/l50
0544デフォルトの名無しさん
NGNGCommonLisp Scheme MacLisp ....
Part1: http://piza2.2ch.net/tech/kako/987/987169286.html
Part2: http://pc.2ch.net/tech/kako/1002/10025/1002584344.html
Part3: http://pc.2ch.net/tech/kako/1008/10082/1008220265.html
Part4: http://pc.2ch.net/tech/kako/1016/10162/1016211619.html
Part5: http://pc3.2ch.net/tech/kako/1023/10230/1023091882.html
Part6: http://pc3.2ch.net/tech/kako/1031/10315/1031560687.html
Part7: http://ruku.qp.tc/dat2ch/0311/20/1042167213.html
Part8: http://pc2.2ch.net/tech/kako/1058/10582/1058263391.html
Part9: http://pc2.2ch.net/test/read.cgi/tech/1069594582/
Part10: http://pc2.2ch.net/test/read.cgi/tech/1075630259/l50
CommonLisp初心者スレ
http://pc2.2ch.net/test/read.cgi/tech/1075464728/l50
Emacs Lisp
Part1 http://pc2.2ch.net/test/read.cgi/tech/1004551074/
Part2 http://pc2.2ch.net/test/read.cgi/tech/1068467385/l50
0545デフォルトの名無しさん
NGNGっていうのはただの番号だから書き込まないでね
0546デフォルトの名無しさん
NGNG0547デフォルトの名無しさん
NGNG0548デフォルトの名無しさん
NGNGpythonは関数型的な事も出来るだけ。
作者のGuidoさんはpythonの関数型的な特徴をあまり良く思ってないらすぃ。
0549デフォルトの名無しさん
NGNGそんなにオブジェクト指向って肩書きの方がええのか？ああ？
気分悪いわ
そんな嫌なら関数型機能全部取ってしまえよ＞Guidoとやら
0550デフォルトの名無しさん
NGNG>>549みたいな
0551デフォルトの名無しさん
NGNG0552デフォルトの名無しさん
NGNGまぁ確かに関数型が呼び込む恐しいモノがあるよな。かつて関数型関連スレを恐怖の
どん底に落し入れたおそろしい存在。過ぎ去ったかと思うとまた Haskell スレに降
臨。今 Haskell スレの連中はガクガクブルブルと思われ。
0553デフォルトの名無しさん
NGNG0554デフォルトの名無しさん
NGNG0555デフォルトの名無しさん
NGNG0556デフォルトの名無しさん
NGNG0557デフォルトの名無しさん
NGNGttp://book.2ch.net/test/read.cgi/book/1074262148/l50
とりあえずこのスレも深々度に潜行しない危険なﾖｶｰﾝ。旧 Haskell ｽﾚは……。
0558デフォルトの名無しさん
NGNGGuidoは、「プログラミングを学び始めた人」や
「専門的なプログラマーでない人」にも Pythonを
使ってほしいと願っています。そのような人に
map, apply, reduceのようなHOFの使用（理解）を
「強いる」のはよくないことと彼はかんがえています。
そこで、関数型言語であればHOFが使われるような
問題のうち典型的なパターンにたいしては、HOFの
概念に依存しない構文をPython言語で用意する
というアプローチを、今はとっています。
近年では、Haskell言語のList Comprehensionsに
似た構文がPythonに導入されていて、さらに現在は
遅延評価版のgeneratorベースで実装しようとさえ
していますので、関数型プログラミングのアイディアが
本質的に嫌いということはないのでは。
なお、PythonにビルトインされているHOFs (map,
apply, reduce) はclassをつかって自分で作ることが
できます。したがって、これらが削除されたとしても
関数型スタイルのプログラミングをしたい人は困ら
ないでしょう。
(もし続くならPythonのスレッドでお願いしますが、
trollingは勘弁してください。)
0559デフォルトの名無しさん
NGNG(；´Д｀)
0560デフォルトの名無しさん
NGNGなんかPythonって面白そうですね。
0561デフォルトの名無しさん
NGNG関数型プログラミング言語Haskell Part3
http://pc2.2ch.net/test/read.cgi/tech/1076418993/
0562デフォルトの名無しさん
NGNGタイトル
超準関数型言語Aransk Part1
本文
ttp://homepage3.nifty.com/Aransk/
よろしこ
0563Aransk
NGNG沈んでしまっていた。(T_T)
ttp://www.geocities.jp/aransk88
こっちもオープンしたから、よろしくねぇ。(^O^)／
0564デフォルトの名無しさん
NGNG0565デフォルトの名無しさん
NGNG0566Aransk
NGNGJとKって、初耳ですが？
ttp://directory.google.com/Top/Computers/Programming/Languages/
ゴーグルにも載ってないマイナーな言語ですか？
TTTuneoとかHSPとか「ひまわり」とか、そのレベルでしょうか？(^_^;)
ttp://www.geocities.jp/aransk88
0567デフォルトの名無しさん
NGNG.NET向け関数型言語 Nemerle
http://www.nemerle.org/
0568デフォルトの名無しさん
NGNG0569デフォルトの名無しさん
NGNGAPLもよく知らんのだが、配列処理とか統計処理向きの言語?
MatlabとかS-plusに近い??
関数型言語???
0570デフォルトの名無しさん
NGNGhttp://www.jsoftware.com/
0571洩れ車＠J算譜工房=565
NGNGたいのだが)Jは行列や高次元配列、直積や部分集合等の取り扱いが
手軽なので、例えば隣接行列を使ったGoogleの被参照度評価法の
サブセットを試作する等には向いているかも(実装はC系の言語に
なっちゃうかもだが)。
個人的には双対(under/dual with respect to)演算子(&.)が好き。
今作っているのは歴史的かな遣いや方言用のIMEというよりKKCの
エンジンで、(そういえばこれも隣接行列の操作が主体だが)ソースは
全部で1000行くらいに収まる見込み。これはUnix/darwin系ならJで
実装可能だろうけどWindowsだと難しいか。
0572デフォルトの名無しさん
NGNGそうか、最近の人は知らないんだな。あの変てこなIBMのAPLキーボードを。
0573Aransk
NGNGNemerleなかなか良さ気なカンジですね。
def x = 3;
def y = "foo";
def fbq = make_fbq ();
The values of x, y and fbq cannot be changed.
mutable x <- 3;
mutable y <- "foo";
mutable fbq <- make_fbq();
The values of x, y and fbq can be changed.
変数がいちいちmutableってのはもう一つですが…
J言語の
J is a very rich language.
You could study and use it for years, and still consider
yourself a beginner.
ちょっぴり萎え(-_-;)
APLは知ってます。あの変てこな記号で以前既に萎え(-_-;)
ついでに、この際、K言語なるものも教えてください！(*^^)v
KOのKでしょうか？（大笑い）
ttp://www.geocities.jp/aransk88
ttp://homepage3.nifty.com/Aransk/
0574デフォルトの名無しさん
NGNG↓
http://page7.auctions.yahoo.co.jp/jp/auction/g16206466
画像と説明を間違って出品。
盗用元
http://page7.auctions.yahoo.co.jp/jp/auction/g15336665
http://page5.auctions.yahoo.co.jp/jp/auction/e34607530
落札額を天文学的な価格に引き上げてやってください。
0575デフォルトの名無しさん
NGNG>>186の様な観点から見て関数型言語なんでつか?
識者の意見を求む.
0576Aransk
NGNGAPLのような象形文字をコンピュータ言語に許したら
可読性はどうなるのだろうか？
プログラマーは全員ロゼッタストーンを抱えて
キーボードに向かうことになるのか？(^_^;)
ttp://www.geocities.jp/aransk88
ttp://homepage3.nifty.com/Aransk/
0577洩れ車
NGNG> J言語の ... ちょっぴり萎え(-_-;)
> APLは知ってます。あの変てこな記号で以前既に萎え(-_-;)
洩れなんかは難攻不落だと醜女でも魅力的に見えちゃう質なんですけどねえ。
でもJは三日以上付き合っても飽きない美人だと思います。
間口も広いし, 奥行きも深いので, 無理でなければやってみて損は無いと思いますよ。
> ついでに、この際、K言語なるものも教えてください！(*^^)v
> KOのKでしょうか？（大笑い）
>>398を御参照下さい。
最後に笑うものが最も良く笑うって諺もあります。笑いの安売りは損ですよ。
朗らかな笑いだったらすいません, 失言をお詫びします。スルーして下さい。
0578洩れ車
NGNG識者じゃないし他の言語にそれほど詳しい訳でもなく, APLの話ではなくて主にその方言のJの話ですが, >>186の項目に沿って点描すると,
1. 関数が最初のクラス (オブジェクト) である。
7. 多くのFPは「高階」関数 (つまり、関数を操作する関数を、操作する関数) を利用します。
例えば C の float foo(float z){return sin(z)+cos(z);} は foo =: sin + cos と記述。
z は複素数や配列であっても可。foo は (+ (sin cos)) みたいな形で関数型
データとして蓄えられ, デフォルトでは関数として呼び出されるが, データとして
呼び出すことも可能。ただ, 関数をデータとして呼び出して加工する必要が
生じる機会はそれほど多くない。
3. リスト処理に主眼が置かれている (たとえば、Lisp という名前にもこれが表れています)。
2. 主要な制御構造として再帰が使用される。
リスト処理も可能だが, 矩形配列は入れ子リストではなく矩形配列として扱う
事によって効率を上げている。
矩形配列の処理にはループも再帰も必要としない。一般のリスト処理には
再帰が必要なこともある。一部の例外を除き末尾再帰のループへの変換までは
行わない。
APLは制御構造としてgotoしか持たなかったが, それで可読性を損なうことは余り
無かった。さすがに少し不便なのか最近のAPLとJはgoto以外の制御構造も持つ。
4. 「純粋な」関数言語は副次作用を避ける。
関数のトップダウンあるいはボトムアップ定義が推奨され変数への代入や
再代入は推奨されていないが計算に時間が掛かる中間結果をあちこちで
参照するような場合には必ずしも躊躇う必要はない。
5. FPはステートメント の使用を思いとどまらせるか、あるいは完全に拒絶し、...
全てのプログラムは1文で記述しようと思えば可能だが, 可読性や実行効率を
損なうので, 一部のオタッキーなJer以外はステートメントも使う。
6. FPは、どのように 計算するのかということよりも、 何を 計算するのかということを気にします。
今一つ意味が分かりませんでした。
0579洩れ車
NGNG先人のリスト」に, APLとJの開発者であるKenneth Iverson先生の名前も
挙がっていたそうだが, その本を通読したIverson氏曰く, 「リストアップされた
本人として断言できる。私からWolfram氏への影響はゼロだ」
尚, 数学をやった方ならIverson記法ってのは聞いたことがあるのでは?
[真の命題]=1, [偽の命題]=0 ってやつです。
0580デフォルトの名無しさん
NGNG> 関数が最初のクラス(オブジェクト)である
翻訳が変。関数がfirst class object、つまり操作の対象となり得るということですね。
元のIBMのページ見てみたら、ちゃんと
> 関数は、ファーストクラス・オブジェクトである。 つまり、「データ」について行えることは
> すべて、関数自体についても (関数を別の関数に渡すなどの方法で) 行うことができます。
となってますよ。
0581洩れ車
NGNG0582Aransk
NGNGK言語の情報有難う御座いました。PL/SQLの関数言語版のような？
J言語はお陰さまでDLしました。ぼちぼち楽しみながら味わうつもりで
おります。YahooUSAのプログラミング言語カテゴリーに入るぐらいだから
結構向こうではポピュラーなんでしょうね。
Rebolって日本ではあまり人気がありませんが、
自称関数型言語？らしいです。
既出であれば無視して下さい。
ttp://www.rebol.com/
>最後に笑うものが最も良く笑うって諺もあります。
>笑いの安売りは損ですよ。
結果じゃなくて、プロセス重視なものですから…(*^^)v
ttp://www.geocities.jp/aransk88
ttp://homepage3.nifty.com/Aransk/
0583#
NGNG0584Aransk
NGNGもう話は出ました？
ttp://www.erlang.org/
日本語はココしかない？
ttp://www.kmonos.net/alang/etc/erlang.php
日本語も通りそうだし、仕様的にはすっきり
している。またプロセス間でのデータ受け渡し
なんてコンカレントなことも出来るようです。
ただ、WINで26MBってのがダウンロードには
いかにも重い！(^_^;)
ttp://www.geocities.jp/aransk88
ttp://homepage3.nifty.com/Aransk/
0585
NGNGMLやHaskellと同列に論ずるのは無理ってゆうか…。
>>99「手続き呼び出しが関数のような形…」のレベルの噺の様な??
だからケシカランというのではなく、関数型でなくてもこれはこれで面白そうだから、APLスレ立てを提案します。
0586デフォルトの名無しさん
NGNGその辺でAPLが関数型言語との関係が語られることが
あるのではないかと予想。
BackusのFPとかｵﾏｲﾗどうですか？
0587デフォルトの名無しさん
NGNGと書いているし、記号はAPLの影響を受けていると思う。
0588Aransk
NGNGttp://www.cse.sc.edu/~bays/FPlink
これのことでしょうか？
ttp://aransk.cocolog-nifty.com/raplique/
0589デフォルトの名無しさん
NGNG-- A Functional Style and Its Algebra of Programs"
ttp://www.stanford.edu/class/cs242/readings/backus.pdf
1977年 チューリング賞講演より
0590デフォルトの名無しさん
NGNG0591sage
NGNG0592デフォルトの名無しさん
NGNG0593デフォルトの名無しさん
NGNG0594デフォルトの名無しさん
NGNG0595これの元ネタを知りたい、パックで前歯折りage！
NGNG0596デフォルトの名無しさん
NGNG0597デフォルトの名無しさん
NGNGつまり、LispだけでなくMLも「非Backus流の関数型言語」なのだそうだ。
0598597
NGNG0599デフォルトの名無しさん
NGNG0600デフォルトの名無しさん
NGNG0601デフォルトの名無しさん
NGNGttp://www.ipsj.or.jp/members/Magazine/Jpn/4309/article015.html
0602デフォルトの名無しさん
NGNG0603デフォルトの名無しさん
NGNGパス要求される
0604デフォルトの名無しさん
NGNGって日本語訳の本でてる？
0605デフォルトの名無しさん
NGNG0606デフォルトの名無しさん
NGNG0607デフォルトの名無しさん
NGNGくなった。HaskelとOcamlどっちがおすすめですか？
文字列処理とかちょっとした日常の作業に使う程度の予定です。あくまで
学習がメイン。
0608デフォルトの名無しさん
NGNGユーザーはOcamlが多そうだけど
0609デフォルトの名無しさん
NGNG0610デフォルトの名無しさん
NGNGStandard MLも候補に入れてください
0611デフォルトの名無しさん
NGNGどうもです。とりあえず Haskel をあたってみようと思います。
>>610さん的には Standard ML がお勧めなんでしょうか？名前すら
知らなかったので調べてみようと思います。。
0612デフォルトの名無しさん
NGNG0613デフォルトの名無しさん
NGNG0614デフォルトの名無しさん
NGNGMLやHaskellでは表現可能ですか？
またそれはどうやって表現するんでしょうか？
0615デフォルトの名無しさん
NGNG> let id x = x
> :t id
id :: forall t. t -> t
> :t id id
id id :: forall t. t -> t
0616デフォルトの名無しさん
NGNG# let id x = x;;
val id : 'a -> 'a = <fun>
# id id;;
- : '_a -> '_a = <fun>
# id 1;;
- : int = 1
# id id 'a'
- : char = 'a'
# let id2 = id id;;
val id2 : '_a -> '_a = <fun>
# id2 'a';;
- : char 'a'
# id2;;
- : char -> char = <fun>
こんなとこかな． _a な型は OCaml では，一度適用されるとその型になってしまう．どうしても id2 のような記法で型多相にしたければ， let id2 x = id id x;; とすること．
もちろん， let id2 = id;; なら id2 は型多相．
0617デフォルトの名無しさん
NGNGありがとうございます。と素直に言いたいところでしたが、
ううーん、読めない・・・
どっちかの言語の勉強を始めてみます。
自分自身の型を返す関数とはCでどう記述したらいいのかを
考えたのがきっかけでした。
typedef func (*func)(func);
こんな再帰的な関数ポインタ型を作りたいなと。
Cではこのような型定義はどうしても無理そうな結論になりました。
0618616
NGNGどっちにしても(GHCi書いたのは漏れじゃないが)
let id x = x
がキモで， id は x を受け取り x をそのまま返す関数．
id にはどんな型も適用できる型多相な関数なので， id 自身を
引数として与えることもできる，ってわけ．
>617 のような型宣言じたいに自分自身を含む定義は， OCaml では
明示的に禁止されている．
# type t = t -> t;;
The type abbreviation t is cyclic
が，コンストラクタ(型識別のためのタグのようなものという理解
でよい)を使えば回避できる．
# type t = T of (t -> t);;
type t = T of (t -> t);;
# let func = function T(f) -> f;;
val func : t -> t -> t = <fun>
うーんこれって期待した動作なのかな？よくわからん．
0619/= 615
NGNG> 自分自身の型を返す関数とはCでどう記述したらいいのかを
型を返す関数は書けないが。同じ型の関数を返す、という読みでいいのかな。
そもそも何に使う気？単なる好奇心？
副作用の無い関数にできることは、何かに作用して返り値を得ることだけだ。
> typedef func (*func)(func);
こんなものを作れても、そこからは
同じ無意味な関数を返す関数しか出てこないから何の役にもたたない。
>>618
Haskellでもできない。コンストラクタを使うと近いことはできる。
-- f # xはf(x)の意味。
newtype RecFunc = RecFunc {(#) :: RecFunc -> RecFunc}
f = RecFunc id
---
Main> :t f
f :: RecFunc
Main> :t (f # f)
f # f :: RecFunc
0620デフォルトの名無しさん
NGNG状態マシン。
>>617
関数へのポインタを構造体にいれる。
0621デフォルトの名無しさん
NGNG>状態マシン。
厳密な型定義は出来ないだろう。
そういう場合はキャストを使うのがセオリーだね。
#include <stdio.h>
void (*f(void))(void)
{
static int n = 0;
printf("%d\n", n);
return (n ++ < 10) ? (void (*)(void))f : NULL;
}
int main(void)
{
void (*(*p)(void))(void) = f;
while (p)
p = (void (*(*)(void))(void))p();
return 0;
}
0622デフォルトの名無しさん
NGNGだからそんな「状態マシン」からは、副作用を用いない限り
何の情報もとりだせないと言ってるんだが。
newtype Auto i o = Auto (Auto i o -> (o, Auto i o))
のように結果を取り出せるようにしなければならない。
0623デフォルトの名無しさん
NGNG>自分自身の型を返す関数とはCでどう記述したらいいのかを
>考えたのがきっかけでした。
>typedef func (*func)(func);
>こんな再帰的な関数ポインタ型を作りたいなと。
がやりたかっただけだろうが、ｺﾞﾙｧ!
"手段" の為には "目的" を選ばない、正に関数型言語厨だな >>622
0624デフォルトの名無しさん
NGNGだから目的を聞いたんじゃないか。
>>619
> そもそも何に使う気？単なる好奇心？
> ...
> 同じ無意味な関数を返す関数しか出てこないから何の役にもたたない。
とな。そうしたら何も>>621->>622が何もわかってない返答をした。
おまえもな。
最後の行は意味がわからない。無意味な型を定義しようとする
ほうが目的と手段が逆転しているのではないかと俺はおもうがな。
ところで、
> newtype Auto i o = Auto (Auto i o -> (o, Auto i o))
は newtype Auto i o = Auto (i -> (o, Auto i o)) の間違い。
>>617みたいなものは内部情報がとれないので使えない。
# >>621って全然
# >typedef func (*func)(func);
# になってないな。
0625デフォルトの名無しさん
NGNGもしかして君は状態マシンというものを知らなくて、
> だからそんな「状態マシン」からは、副作用を用いない限り
「副作用を用いない限り」に引っかかってヒステリー起こしてるのか？
標準的な状態マシンってのは内部状態を変更した自分自身を(or も)返すだけで、
引数に自分自身をとったりしないんだよ。
実際621だって引数voidだろ(621は内部状態がstatic変数だから別の問題があるが)。
> だからそんな「状態マシン」からは、副作用を用いない限り
これは副作用使いまくれば処理内容と無関係な、しかも、もともと
役に立たない型からでもなにかができるだろう、という最大限譲歩した主張だ。
0626デフォルトの名無しさん
NGNG> 引数に自分自身をとったりしないんだよ。
=>
> 引数に自分自身と同じ型の別のオブジェクトをとったりしないんだよ。
0627Aransk
NGNGで、今CURLに嵌っております。ttp://www.curl.com/solutions/download.php
ここからV3.0をダウンロードします。そして…何の設定もしません。ファイルをオープンします。
{curl 3.0 applet}
{curl-file-attributes character-encoding = "shift-jis"}
なんと、shift-jisまで自動的にコードが作成されたぁ。(*^^)v
感動の瞬間であります。その下に""無しで、こう書きます。
今日は カール君！
そしてRUNをクリックしても良いし、Ctl+F5でも良い。ジャーンとブラウザが
立ち上がります。ー＞今日は カール君！
0628Aransk
NGNGお決まりのswapマクロ定義:
{define-macro public {swap ?x:identifier, ?y:identifier}
{return
{expand-template
{do
let tmp:{compile-time-type-of ?x} = ?x
set ?x = ?y
set ?y = tmp
}
}
}
}
これがマクロ呼び出し：
{let first:double = 1.0,
second:double = 2.0
}
{swap first, second}
{spaced-vbox
background = "silver",
{text first: {value first}},
{text second: {value second}}
}
ー＞first:2.0
second:1.0
一応ハイジェニック＝健康マクロと称しております。ところが、ワタクシ恥ずかしながらLispやSchemeのマクロが
出て来ないのです。ー＞本を図書館に返却したので。(^_^;)誰か申し訳ありませんが、同様機能のScheme又はLispの
コードを書いて頂けませんか？
0629デフォルトの名無しさん
NGNG(define-syntax swap
(syntax-rules ()
((swap x y)
(let ((tmp x))
(set! x y)
(set! y tmp)))))
Lisp:
(defmacro swap (x y)
(let ((tmp (gensym)))
`(let ((,tmp ,x))
(setq ,x ,y)
(setq ,y ,tmp))))
0630620
NGNG謎 f(何か)
{
/* 省略 */
return g;
}
f と g が同じ型のとき「謎」の部分がどうなるか知りたいんだ
と思ってたんだが、fでなきゃやだって一点のか？まあ、どっち
にしろ無理なんで構造体をかまして次のようにする。
typedef struct retval_t {
struct retval_t (*fp)(int);
} retval_t;
んで各状態を担当する関数をこさえて、引数に応じて次の状態
を担当する関数のポインタを(構造体に入れて)返すのだ。
retval_t f(int);
retval_t g(int);
:
0631デフォルトの名無しさん
NGNG0632Aransk
NGNGどうも有難う御座いました。やっぱり本家は相当シンプルですね。
変数になんでも入るってところが味噌なんだ。
Primitives型チェックの厳しいMLとかOCAMLなんかにも
マクロありましたっけ？と言うかScheme、Lisp並みのマクロを
実装している言語ってRebolが少し似たことが出来る程度じゃ
なかったでしょうか？
0633デフォルトの名無しさん
NGNGおまえはえらそうなことをかいているまえに
しっているとしょうしているげんごを
ひととおりきちんとまなびなおしてから
でなおしてこい
0634デフォルトの名無しさん
NGNGttp://caml.inria.fr/camlp4/index.html
0635Aransk
NGNGメモリーが小さいものですから、後入れ先出しになっております。
今キューに残っているのはCURLしか…(*^^)v
0636デフォルトの名無しさん
NGNG0637デフォルトの名無しさん
NGNG1個いれる度にオーバーフローしてるから。
0638デフォルトの名無しさん
NGNG0639デフォルトの名無しさん
NGNGところでちゃんと見てないんだけど curl って関数型なの？
0640Aransk
NGNG貴方は正確にジョークを理解している。そうです一個しか残らない、
つ～か完全に残っているものは一つもない。（笑い）
>639
MITのCurlPjtが前身です。今はCurlCorpとなり、日本ではNTTと
技術提携しております。韓国でもかなり流行っている？
関数型かどうか議論は分かれますが、Lispの（が｛に変わっただけ
って部分＋JavaのOO指向＝CURLの文法です。
機能的にはHTML＋JavaScript＋Javaか？
0641デフォルトの名無しさん
NGNGネイティブコンパイルできるとこが良さげ>curl
インストーラーとか付いてたり、
どこでも動くって意味では仕事で導入しやすいかも。
あんま使いたいとは思わないけど面白そうではある。
なんで{}にしたのかが謎。
0642Aransk
NGNGこれで見ると有料ソフトのように見えますが、日本語版V2.08だけです。
前記CurlCorpのHPから英語版V3.0が無料でダウンロードできます。
かつ日本語SJISもバッチリ通ります。
0643Aransk
NGNG但しDB操作はJDBC経由のみのようです。
0644634
NGNG0645デフォルトの名無しさん
NGNG0646デフォルトの名無しさん
NGNGcamlp4 がなんなのか理解されなかったと思われ．
camlp4 は lisp なみに強力な，しかも型に安全なマクロ
機能を持つプリプロセッサ． scheme の構文を受け取っ
てコンパイルとかまでできる(これは微妙に怪しいが……)．
コード例は >>634
0648Aransk
NGNG悪い！てっきりCaml専用のエディターかなんかと勘違いしました。
話はCurlに戻りますが、SideBySide手法ってご存知ですか？
Curlはどんなに文法が変わろうが機能がバージョンアップされようが
全てに対応可能なんですって！
何故そんなことが可能なのか？
それは全てのバージョンをインストールしておくことですって！（笑い）
つまりコードの先頭に必ずバージョン名が入っているので
それに基づいて自動的にそのバージョンのモジュールが起動する。
但しバージョン間の互換性は一切無いそうです。（大笑い）
今V3.0最新版を入れていますが、確かにWEB上で公開されているサンプルは
一切動きません。－＞いかにもMITの連中が考えそうなアイデアですよね？
0649Aransk
NGNGオバーロードだけは出来ません。F#と同じです。但しオーバーライドは出来ます。
Camlはどうでしたっけ？
0650デフォルトの名無しさん
NGNGOO指向とは？とか Caml はそもそもオブジェクト指向じゃない，とかいった
細かい指摘はさておくとすると，型にうるさい OCaml ではオーバーロードは
できない．オーバーライドはむろんできる．
もっとも，オプション引数かバリアントか多相メソッドを使えば，同じ処理は
できるだろう．
0651デフォルトの名無しさん
NGNGJ言語の本って、いくつかあったけど、すぐに絶版になってるよね...
0652Aransk
NGNG>OO指向とは？とか Caml はそもそもオブジェクト指向じゃない，
>とかいった細かい指摘はさておくとすると
失礼しました。ObjectiveCamlです。
Objective Caml is a general purpose programming language
that combines functional, imperative, and object-oriented programming.
これって？細か「過ぎる」指摘でしょうか？(*^^)v
0653デフォルトの名無しさん
NGNG0654デフォルトの名無しさん
NGNGそっとしといてやれよ……
0655デフォルトの名無しさん
NGNGPaul Graham が作った、Yahoo! Store カスタマイズ用言語の
RTML は純粋関数型言語なのだそうです。
http://store.yahoo.com/rtml.html
出所はこちら
ttp://www.shiro.dreamhost.com/scheme/trans/road-j.html
0656Aransk
NGNG># 元の 655 は復帰させなくても良いよね。
こりゃぁ、いくらなんでもマズかんべぇ。
それとも応える自信がないの？（笑い）
ひどいとは聞いていたが、ここまでやるのか？(-_-;)
0657デフォルトの名無しさん
NGNG怒らせたならｽﾏｿ。
煽りっぽかったし本筋と関係が無かったから、わざわざ貼るのが
面倒だったもんで。
0658Aransk
NGNGこの程度で怒っていたらこの２ちゃんねるでは
生きて行けません。誤魔化し、証拠隠滅、挑発
罵倒、何でもありのところが面白い。(*^^)v
この泥沼のような不透明性とメタンガスのような
発言こそ、２ちゃんねるの華ではないでしょうか？＼(^o^)／
0659デフォルトの名無しさん
NGNG0660565
NGNG即死スレの恐れがあるのでとりあえず点呼取ってから決めましょう。
nounから始めてdyadまで行ったら立てる、そうでなければここ間借りということで。
まず私から:
noun define NB. つまんなくてスマソ。
565
)
0661デフォルトの名無しさん
NGNG日本語であればいいのですが、なければ英語でもいいです。
0662デフォルトの名無しさん
NGNGFPの何についての情報が欲しいのかによって答えは変わるかと思われ
0663デフォルトの名無しさん
NGNG0664デフォルトの名無しさん
NGNGAutoexec.batに
set path="D:\lsi-c-shishokubann\BIN;d:\ocaml\bin;"
set ocamllib="D:\ocaml\lib;"
と設定した後に再起動して次のように打ち込んだら、
D:\Ocaml\bin>ocamlc -v
The Objective Caml compiler,version 3.07+2
Standard library directory : C:/ocamlmgw/lib
となり,libへのパスがうまく通りません。
d:\ocaml\libへパスを通す方法を教えてください。
0665デフォルトの名無しさん
NGNG0666デフォルトの名無しさん
NGNGあるけど、FDBっていうのはありえないのかな。
0667デフォルトの名無しさん
NGNGRDBがそもそもそれなのではないだろうか。
SQLはある意味関数型言語だと言われているし。
0668デフォルトの名無しさん
NGNGある。
databaseに直接さわるところがfunctionalだとO(1)-updateはできないから、
(多分文脈的に参照のみを意味する)"query language"を関数型にしたもののことを呼ぶらしい。
# O(log(n))なら可能だし、データセットが大きければ定数みたいなものだ。
functional database:
http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?query=functional+database&;action=Search
0669デフォルトの名無しさん
NGNGhtp://www.i.kyushu-u.ac.jp/~honda/ctcs/2-2.html
htp://yuzu.ee.uec.ac.jp/natu01/PHe1/sakuhin/FP-m.html
htp://ca.meme.hokudai.ac.jp/people/tak/fp/fp-eval.html
htp://directory.google.com/Top/Computers/Programming/Languages/FP/
htp://www.google.com/search?hl=en&lr=&ie=UTF-8&oe=UTF-8&c2coff=1&q=fp+OR+%28functional+programming%29+OR+fl+OR+%28function+level%29+backus&btnG=Search
htp://murl.microsoft.com/videos/cmhc/leaders/1-bac_OnDemand_150_100K_320x240Slides.htm
htp://www.cs.berkeley.edu/~aiken/pubs.html
htp://http.cs.berkeley.edu/~aiken/ftp/FL.ps
htp://www.cs.ui.ac.id/staf/wp/scientific-materials/functional/fun_faq.html
htp://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/fp_lp/fp/0.html
htp://www.math.grin.edu/~rebelsky/Courses/CS302/99S/Outlines/outline.19.html
htp://www.cc.gatech.edu/data_files/classes/cs6390/readings/backus.pdf
htp://www.cc.gatech.edu/classes/AY2004/cs6390_fall/slides/fp_files/frame.htm
htp://www.iit.edu/~tc/fp-impl.ps
htp://www.iit.edu/~tc/fp.ps
0670デフォルトの名無しさん
NGNGchristophe.deleuze.free.fr/D/fp.html
www.vorlesungen.uni-osnabrueck.de/informatik/fp01/fp01.pdf
files.chatnfiles.com/Carousel/026C/files.htm
web.mit.edu/afs/athena/astaff/project/docsourc/OldFiles/doc/unix.manual.progsupp2/07.fp/fp.PS
web.mit.edu/afs/athena/astaff/project/docsourc/OldFiles/doc/unix.manual.progsupp2/07.fp/fp.text
www.wave.co.nz/~glyn/fpuo-README.txt
www.latrobe.edu.au/philosophy/phimvt/joy/j08cnt.html
0671デフォルトの名無しさん
NGNG0672デフォルトの名無しさん
NGNG払わなくて良いのか否か、結果だけ書け
0673Aransk
NGNG勝手にワタクシに対する質問と解釈します。(*^^)v
商用でなければ無料です。
但しJavaや.Net同様CurlRunTimeがユーザー側にも
必要ですからブラウザーだけでは駄目のようです。
0674デフォルトの名無しさん
NGNGVBのようなもんですね。
0675デフォルトの名無しさん
NGNG0676デフォルトの名無しさん
NGNGモバイルから使えないwebアプリは萎える
0677Aransk
NGNG恥ずかしながら既にワタクシもCurlに萎え気味です。(^_^;)
最近なんで読んだか忘れましたが、エスペラントみたいな
人工言語って600以上あるそうです。コンピュータ言語よりは
少ないが、それでも相当な数です。しかし使用者がいるのは
辛うじてエスペラントのみ、それも細々と…。
さらにエスペラントって数ある人工言語の中では最も
自然言語に近い＝言語仕様が不合理、なんですって。
つまり合理性を追求した言語は現実を写像する能力に
欠けるために実用的じゃないらしい。
関数型言語スレでこんなこと言っちゃ悪いけど
細々と狭い研究分野で生き残る以外に関数型言語の
未来は無いのかも？(*^^)v
0678デフォルトの名無しさん
NGNGW3CのXQueryというのは自分で「関数型だ」って言ってるんだけど、
このスレの皆様的にはどうでしょう？
http://www.w3.org/XML/Query
以下引用
[XPath/XQuery] is a functional language. [XPath/XQuery] is built from expressions,
rather than statements. Every construct in the language (except for the XQuery
query prolog) is an expression and expressions can be composed arbitrarily.
The result of one expression can be used as the input to any other expression,
as long as the type of the result of the former expression is compatible with the
input type of the latter expression with which it is composed. Another characteristic
of a functional language is that variables are always passed by value, and a variable's
value cannot be modified through side effects.
0679デフォルトの名無しさん
NGNGＣでも関数つくれるけど？
0680デフォルトの名無しさん
NGNG0681デフォルトの名無しさん
NGNG0682デフォルトの名無しさん
NGNGﾜﾗﾀ
0683デフォルトの名無しさん
NGNG（純粋な関数型言語の）関数に同じ引数を渡せばいつでも同じ結果が得られる。
本来の数学の関数により近い。
（sin(π)の値は未来永劫変わらない。)
ttp://www.sampou.org/haskell/article/whyfp.html
0684デフォルトの名無しさん
NGNGそれは関数プログラミング？ｗ
0685デフォルトの名無しさん
NGNGじゃあ今現在の時間を得る関数なんて作れないね。
0686デフォルトの名無しさん
NGNG「同じ引数」でどうやって「今現在の時間を得る」んだよ
0687厨房をからかってみる
NGNGハードウェア内蔵時計は、関数言語の外側の事象だから、
そのハードの読み取りを関数型言語で書けば、別に問題ないでしょ。
じゃ、なくてぇ～。
じゃ、オブジェクト指向言語もしくは手続き型言語なら、
ハードウェア内蔵時計なしで時間を読み取れるとかｗ
じゃ、なくてぇ～。
別に、変数使わなくても、状態の変化を表現できるでしょ。
例えば、OSなりアプリが、１秒に一回、引数timeに１足して再帰していけば、
そのOSなりアプリは「時間」という概念を表現することはできるでしょ。
再帰によるスタック・オーバフローの回避には、末尾再帰最適化を使うとしてｗ
あと、「一秒に一回再帰する」というタイミング設定をどうやるつもりかは、知らないけどｗ
まぁ、一回再帰したら、一再起秒っつう事にして、現実の１秒とは全く別の時間概念と定義して（ｒｙ
じゃ、なくてぇ～。
関数型言語ってのは、宣言的言語を目指してて、
「プログラムを定義したら、静的にその振る舞いを把握できる」、
という建前だから、「時間」などという動的な概念を扱う必要がないのでつ（ゆんゆん
じゃ、なくてぇ～(ry
0688デフォルトの名無しさん
NGNGCのtime関数って知っている?
0689デフォルトの名無しさん
NGNG入出力もしてはならない。
>>685
計算機の状態を引数とすれば可能。
ただし、その「計算機の状態」は当然複製できないし、してはならない。
これがIOモナドやCleanのuniqueness typingがやっていること。
# ただ、Cだって全ての関数が暗黙にWorldを取っていると考えれば関数型だ。
# そんなことを言ってもなにも得しないけれど。
0690デフォルトの名無しさん
NGNGとすると「関数に同じ引数を渡せばいつでも同じ結果が得られる。」でないことってあるの？
0691デフォルトの名無しさん
NGNG> とすると「関数に同じ引数を渡せばいつでも同じ結果が得られる。」でないことってあるの？
無い。
関数型言語でいうところの関数は定義が
「同じ引数を渡せばいつでも同じ結果が得られる」もののことだから。
0692デフォルトの名無しさん
NGNG>>687の第3パラグラフ嫁
0693デフォルトの名無しさん
NGNG>>687本人？それとも釣られてる人？…おまえが俺の文章を読め。
第三パラグラフはまさしく複製を禁止できてない駄目な例じゃないか。
0694デフォルトの名無しさん
NGNGいや関数型言語でない言語の場合でも(スレ違いな質問かな？)
まったく同じ状態、全く同じ引数で違う結果が返ることなんて考えられない。
とすると、どんな言語の関数でも関数型言語でいうところの関数であるということかな。
0695デフォルトの名無しさん
NGNGそれは誤解。
例えばtime()はC言語では関数という。
しかしtime()のどこにも状態の存在を示すものがないので、
同じ引数(void)で違う結果を返していることになる。
int f() { return (time() - time()); } は
int f() { int x = time(); return (x - x); } や
int f() { return ( (- time ()) + time ()); }
とは違う結果を返すだろう。time()が関数なら全部同じものが返る。
>>689の#は、time()をtime(world)か、time :: IO time_t のようなもの
だと考えて初めて成立する話。
# たしかCの関数引数の評価順序は言語としては規定されてなかったように思うから、
# >>689の#以下は「C言語は」というより「ある処理系」とかもっとローレベル
# に落とさないと成立しないかもしれない。
0696デフォルトの名無しさん
NGNGgetClockTime :: IO ClockTime
という関数で取得できる。上のfは
-- ClockTimeの型はIntでないので実際にはコンパイルできない
f :: IO Int
f = do x <- getClockTime
y <- getClockTime
return (x - y)
と書くことになり、順序が一つに定まる。
f = do return (getClockTime - getClockTime)
とは書けないことが言語によって保証されている:-)
# さっきまでHaskellスレと勘違いしてた。意味がわからなかったらすまん。
0697デフォルトの名無しさん
NGNG0698デフォルトの名無しさん
NGNG0699デフォルトの名無しさん
NGNG0700デフォルトの名無しさん
NGNG「まったく同じ状態」などという条件を勝手に付け足してはいけません. 「同じ引数」というだけ.
関数の中からグローバル変数を参照していれば…
>>699
参照透過かどうか? というだけですね. でも関数型であることの条件自体が(ry
0701デフォルトの名無しさん
NGNG0702デフォルトの名無しさん
NGNG(1) 現在時刻を含む引数を取るようにする．例: time = λx.x
(2) 呼び出された時の引数の値をすべて記録しておき，新しい値がきたら
現在時刻を何らかの手段で取得して返す．既出の値だったら，その値
に対して以前返した時刻を返す．
例: time 1 = 11:23; ... ; time 2 = 12:35; time 1 = 11:23; time 3 = 12:36; ...
の2つしかないと思う．
(2)の場合，同じプログラムでも実行するたびに関数の定義が変化するのは
いいのだろうか．
0703デフォルトの名無しさん
NGNG0704デフォルトの名無しさん
NGNG(1)でいいじゃん。
何回timeを呼び出したか覚えておくなんて…
> (2)の場合，同じプログラムでも実行するたびに関数の定義が変化するのは
> いいのだろうか．
最適化でえらいことになるかもね。
でも、timeはともかく、起動時のオプションの処理ではそういうことをやりたくなる。
最初にオプションを処理すれば、プログラムの以降の部分ではglobalなImmutableとして
考えられるはずだから。
0705デフォルトの名無しさん
NGNG0706デフォルトの名無しさん
NGNG0707デフォルトの名無しさん
NGNGそれが聞きたいのなら
0708デフォルトの名無しさん
NGNGこいつインタプリタないのね。ちょっと残念。
Dynamicは結構面白そうだね。よく分かってないけど。
Cleanの入門サイトあったら教えてくれ～。英語でもいいよん。
0709デフォルトの名無しさん
NGNGhttp://pc5.2ch.net/test/read.cgi/tech/1075629340/
0710デフォルトの名無しさん
NGNGコンパイラしかないのを残念がるとは珍しい
0711デフォルトの名無しさん
NGNGスピード狂は見向きもしない
0712デフォルトの名無しさん
NGNG0713デフォルトの名無しさん
NGNG0714デフォルトの名無しさん
NGNG0715デフォルトの名無しさん
NGNGしかも素早く立ち上がらなくちゃならない。
0716デフォルトの名無しさん
NGNGじゃあHaskellがC++よりも流行って無いのはどういうわけだw
0717デフォルトの名無しさん
NGNGスクリプト言語の間違いだな
0718Aransk
NGNGVC++6.0は速い。Haskellの対話的環境と同じくらい？
旧Delphi3.1はもっと速いが…(*^^)v
0719デフォルトの名無しさん
NGNG0720Aransk
NGNGもちろん>715さんの「すばやく立ち上がる」ことでんがなぁ。(*^^)v
おまけにコンパイルも速い、プログラムの実行スピードも
速い、HaskellがC++より流行る訳がないことを立証しておるのです。^m^
0721デフォルトの名無しさん
NGNGC++がCより流行る訳がないことを立証しておるのです。^m^
0722デフォルトの名無しさん
NGNGもっと言えばF-BASICをVBよりも…
0723sage
NGNG0724Aransk
NGNG無料の開発環境ってのがあったと思うのです。
しかし、EclipseやDelphi6.0,JBuilder,C#Builder,MsMatrixと
商用と比較して遜色ないものが次々とフリーでリリースされてます。
するといくらなんでもHug,GHaskell,ObjectiveCaml,Scheme,Clean,など
の開発環境が「見劣り」するのは否めないのではないでしょうか？
お分かりとは思いますが、ワタクシは荒らしや煽りで発言して
いる訳ではありません。関数型言語の一ファンより自らの
ポジショナリティーを批判的に考察する意味で意見を
述べておりますので、くれぐれも誤解泣き様お願いします。(*^^)v
0725デフォルトの名無しさん
NGNG> するといくらなんでもHug,GHaskell,ObjectiveCaml,Scheme,Clean,など
固有名詞はできるだけ正しく書いたほうが馬鹿に見えにくいのではないでしょうか。
> の開発環境が「見劣り」するのは否めないのではないでしょうか？
そうですね。
> ポジショナリティーを批判的に考察する意味で意見を
寡聞にして「ポジショナリティー」なる単語の意味を知らないのですが、
なにを批判的に考察されたいのでしょうか？
0726デフォルトの名無しさん
NGNG増殖してしまった感じがするのは気の性でしょうか？
2chだけの現象ですか？そうですか。
0727デフォルトの名無しさん
NGNGEmacsとviがあれば問題ない
0728デフォルトの名無しさん
NGNG0729デフォルトの名無しさん
NGNGっていうのも
>>727 なんで Emacs「と」vi なの?
っていうのも
>>728 ちょっと笑った
のも, スレとは没関係だよな.
0730Aransk
NGNG>馬鹿に見えにくいのではないでしょうか。
馬鹿に見えないと親近感が湧かないっしょ？(*^^)v
>なにを批判的に考察されたいのでしょうか？
関数型言語の社会的位置性 positionalityを批判的に
考察する必要を感じております。
つまりJavaやC++やC#など汎用言語の後を追うのでは
なく、数学的研究分野に絞り込んだ発展が望ましいのでは
ないでしょうか？
>726
>馬鹿が
これは725のことしょうか？それとも724を指しておられるのか？
それとも両方か？
あるいは極めて適正な自己言及性 self-refrentiality？( ^^) _旦~
0731デフォルトの名無しさん
NGNG> 関数型言語の社会的位置性 positionalityを批判的に
相変わらず不明確ですね。「社会」、「位置性」とはなんですか？
まあ、どうやら、関数型言語の「位置づけ」に関する話のようですが。
> つまりJavaやC++やC#など汎用言語の後を追うのでは
一体何が「汎用言語の後を追う」ようなことで、
どの言語、どの研究者がそのようなことをしているのでしょうか。
また、そうすべきでないことと、開発環境が「見劣り」することとの
間にはなんの関係があるのでしょうか。
> なく、数学的研究分野に絞り込んだ発展が望ましいのでは
「数学的研究分野に絞りこんだ発展」とはどのような発展でしょうか？
0732デフォルトの名無しさん
NGNG「現在、関数型言語の開発環境は主流の言語のものと比べて「見劣り」する。
したがって、数学的研究分野に絞り込んだ発展が望ましい」
ですが…論理も考察も何もないですね。
「現在、関数型言語の開発環境は主流の言語のものと比べて「見劣り」する。
したがって、「見劣り」しないような開発環境を開発することが望ましい」
とか
「現在、関数型言語の開発環境は主流の言語のものと比べて「見劣り」する。
したがって、主流の言語と比べて開発者が増えないのはやむを得ない」
とか
「現在、関数型言語の開発環境は主流の言語のものと比べて劣っている。
したがって、主流の言語と比べて開発効率が劣っている」
とか
「現在、関数型言語の開発環境は主流の言語のものと比べて「見劣り」する。
しかし、実は関数型言語はその性質上そのような開発環境を必要としない。
なぜなら…」
と続くなら、その議論が考察に値するようなものを持っているかどうかは別としても、
理解できますが。
0733デフォルトの名無しさん
NGNG「現在、ガソリンエンジンの開発環境は蒸気機関とくらべて見劣りする。
したがって、ガソリンエンジンは物理的研究分野に限った発展が望ましい」
というぐらいのことしか言っていない。
0734Aransk
NGNG皆様の理解力と想像力に問題があるのかも…^m^。
これから一つ一つ積み上げて行くようにご説明します。明敏なROMには
退屈かも知れません、が、「しばし、我慢の程を」。m(__)m
ポジジョナリティーとは当然、交換可能であります。
例えばCleanが好きな人、Haskellが一番の人、Schemeマンセイの人
など、それぞれスレをこの板で立てておられる。そこでアンタなんで
その言語が好きなの？と聞いても百花繚乱の意見が飛び交うだけです。
特にJavaやVBのようなポピュラーな言語ではない、今にも消滅しそうな
仕事にはとても使えないマイナー言語に嵌るオタクぽい方々(*^^)v
（ワタクシも含め！）には言うに言われぬ？私的？事情があるでしょう。
で？この関数型言語と総称した場合は個々の言語オタとは違う
ポジショナリティーがあるはずです。時々、個々の言語オタのように
嬉しげにコードを書き散らかして悦に入る変な人？もおられますが…(-_-;)
関数型言語と総称する以上このスレでは個別関数型言語のスーパークラス
的話題を中心に議論するのがポジショナリティーではないか？
とまず一点指摘しておきたいのであります。
一つ一つ行きます。ここまでで、疑問が既にある方、又は付いて来れない方？
は、「まさか！」いらっしゃいませんよねぇ？(^_^;)
0735デフォルトの名無しさん
NGNG0736デフォルトの名無しさん
NGNG世の中には、以下の様に「関数型言語なんぞは結局使い物にならない」等と平気で言う、
物を知らない愚か者も生息しているみたいですが、
そのような輩には、どのように反論してやれば良いでしょうか？
http://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/7bits/saredo
>時たま Common Lisp などという言語を使うこともあるが、
>それは単なるプロトタイピングだと割り切っている。
>Lisp で書かれたシステムはすべてプロトタイプであり、
>本物のシステムにするためにはＣで書きかえなければならないと思っている。
>なぜＣが優れているのかといえば、
>フォン・ノイマン型アーキテクチャにベッタリしているからである。
>つまり、私は何を隠そう、
>フォン・ノイマン型以外のコンピュータは実用にはなり得ないと
>信じているものの一人である。
0737デフォルトの名無しさん
NGNGそれはもしやKCLの作者様。。。
0738736
NGNG> 私のようなＣプログラマにとって、
>論理型言語と関数型言語は中途半端な存在に思えてしかたがない。
0739デフォルトの名無しさん
NGNG0740デフォルトの名無しさん
NGNG0741デフォルトの名無しさん
NGNG0742デフォルトの名無しさん
NGNG所詮「計算機落ち」だからな・・・
自分の身の程をわきまえているのだろう。
0743デフォルトの名無しさん
NGNGCがどうしてノイマン型アーキテクチャのコンピュータに最適なのかな？
このエッセイでは触れられてないけど。
0744デフォルトの名無しさん
NGNG0745デフォルトの名無しさん
NGNG>既成の意味論がその難易度の割にあまり使い物にならないってのはいいとして、
いいのか？
0746デフォルトの名無しさん
NGNGいいよ、おれは頭足りなくてよくわかんなかったから
何いう資格もなし（恥
0747デフォルトの名無しさん
NGNG２ｃｈネラーらしくないな。
もしこれが匿名で書かれたエッセーだったら、これでもかとばかりに噛み付く癖に。
よく分からなかったのなら、
「また訳の分からん奴が毒電波飛ばしているよ」
ぐらいの事を書いてみろよ。
有名人だからといって腰が引けてはいかん。
0748デフォルトの名無しさん
NGNG今のCPUが、まさにC言語のために設計されているからだよ
0749デフォルトの名無しさん
NGNGもうCは不効率だといわれ始めているのだが…時代遅れだな。
Cは無駄に実行順序を指定するし、ポインタのエイリアシングの問題で
並列化を妨げる。現代のCPUアーキテクチャと発展のもとでは決して
効率の良い言語ではない。
依然としてCを基本としてCPUが設計され、良いアセンブラを吐かせるための
努力が最も集中しているのがCであることも事実だが、
逆に言えば、Cのアドバンテージはそれだけのことだ。
フォンノイマン型なんて関係ないし、例えフォンノイマン型に
べったりしていることと言語の実用性と一体何の関係があるのやら。
仮りにべったりが大切なら手でRISCアセンブラでも書いてろ。
馬鹿馬鹿しい。また訳の分からん奴が毒電波飛ばしているよ。
0750デフォルトの名無しさん
NGNG0751デフォルトの名無しさん
NGNG歴史を知らない馬鹿ですか？
0752デフォルトの名無しさん
NGNGが基本になっている。
チューリングマシンは操作的意味論に立脚するものなので、
操作＝手続きにより計算を記述するほうが自然である。
計算を機械にやらせることが出来たのは、ひとえに、
操作的意味論＝チューリングマシンによって計算が
実行できるという発見があればこそのことであるから、
ラムダ計算を機械が直接実行できない以上、
すべてのLispプログラムはCで書き換えられるべき
プロトタイプなのである。
0753デフォルトの名無しさん
NGNG0754デフォルトの名無しさん
NGNG0755デフォルトの名無しさん
NGNGしかしながら、ラムダ計算は「機械」に
直接実行させられない。
0756デフォルトの名無しさん
NGNG一般的なCPUとスタックの形式では
ラムダ式の基礎となるクロージャ構造を簡単には作れない。
作成できたとしても
Cの関数と比べるとコストの差は歴然。
まるっきり専用命令とエミュレートの差。
これで答えになってないか？
0757デフォルトの名無しさん
NGNG0758デフォルトの名無しさん
NGNG0759デフォルトの名無しさん
NGNG0760デフォルトの名無しさん
NGNG解釈し直されて機械によって実行されているのである。
したがって(ry
0761デフォルトの名無しさん
NGNGhttp://www.google.co.jp/search?q=LISP%E3%83%9E%E3%82%B7%E3%83%B3&ie=UTF-8&oe=UTF-8&hl=ja&lr=
0762デフォルトの名無しさん
NGNG0763デフォルトの名無しさん
NGNGみんな嫌でもラムダマンセーしなきゃいけない事情があった。
0764デフォルトの名無しさん
NGNG0765デフォルトの名無しさん
NGNG0766デフォルトの名無しさん
NGNGそれはまあ事実だが、それを理由に関数型言語を馬鹿にしている人が
オブジェクト指向言語を使っていたら、お笑い種だ。
0767デフォルトの名無しさん
NGNG統合環境がないとかそんなのばかりだね。
だったらすなおにVC++でも使っとけと思うんだけどな。
でも使えないんでしょうね。きっと。CとかJavaも、
というかオープンソースのコードとかが読めないんだと思う。
長くて、
で、コード量の少なく見える関数型に手を出してみたわけだが、やっぱり理解できなくて、
環境とかのせいにしてるわけだ。
彼に欠落しているのはアルゴリズムや数学とかの基礎的に知識や設計能力だと思われる。
これがないとどんな言語に手をだしたって駄目。
なんか長くなったが、Schemeインタプリンタぐらいは書いて文句いいなさいってこった。
0769デフォルトの名無しさん
NGNG状況:
本論からみれば些細(ささい)な相手のミスを殊更(ことさら)に指摘し、相手の意見に対して優位に立とうとする。
例:
言葉尻を捕らえる。揚げ足を取る。細かいミスを(鬼の首を取ったように) 指摘し相手が無知であると主張する。
A: 「B型の人は自己中心的です」
B: 「B形の人がみんなそう、ということもないと思うのですが」
A: 「『B形』ってなんですか? 簡単な漢字も満足に書けないような人になんやかんや言われたくないですね」
0770デフォルトの名無しさん
NGNG0771デフォルトの名無しさん
NGNG貴方様には下賎な計算機なぞ相応しくない！是非、数学板が哲学板
あたりで高尚なる議論を交わしていただきたい。>>767 偉大なる大アランスク様
になんたる暴言！もし大アランスク様がその気になればこの板に災いをもたらす事
なぞ容易な事であるぞ！歴史から学ばない 767 は逝ってよし！
大アランスク様が使えないのは言語や環境に問題があるのだ！
アランスク様、是非数学板か哲学板におこしくださいませ。
0772デフォルトの名無しさん
NGNG>数学板が哲学板
∴ >>767 = 771
三つ子の魂百まで、とはこの事か。。。
0773立った
NGNGhttp://pc5.2ch.net/test/read.cgi/tech/1082176723/
デリダやハイデガーをなんなく読みこなし、
石板からζまでを語り尽くすAransk様。そんな神のための
専用スレです。ライプニッツの生まれ変わりである
神の言葉は貴重なため、スレを統一した方がよりよいと思い
立てました。
0774デフォルトの名無しさん
NGNG（>>749乙）
やはり萩谷ブランドの威力は未だ健在か。
確かに、これが書かれたのは 1993 年の事だから、
いささか時代遅れの感が否めないというのは
当を得ている指摘だと思う。
しかし、本質的な意味において今日までに
このエッセーの主張を打ち破るような
技術的なブレークスルーは起こったのだろうか？
また、将来起こる可能性があるのだろうか？
また、もしそれが今後も起こらないようならば、
関数型言語の存在意義とは一体何なのか？
0775ブレークスルー
NGNG0776デフォルトの名無しさん
NGNGやめたの？
どうしようもないヘタレだなw
0777デフォルトの名無しさん
NGNG萩谷センセは今それやってるね
0778デフォルトの名無しさん
NGNG適度に時系列的な要素がないと
人間の理解力を超えてしまうんじゃないかと考えるようになってきた。
あるは逆に人間の思考パターンが時系列的だから
ノイマン型コンピュータを作った、、ってのは言い過ぎか。
0779デフォルトの名無しさん
NGNGAransk じゃないとしても Aransk なみに思い込みの激しいやつだな。
技術的なブレークスルー？いくつもあっただろ。 C では面倒って
場面を考えてみろ。だいたい萩谷センセの考えがその古いエッセイから
まったくかわってないと思ってるのか？
0780デフォルトの名無しさん
NGNG>まったくかわってないと思ってるのか
変わってないから、方針転換したんじゃないの？
0781デフォルトの名無しさん
NGNGＶＢ、Ｃ、Ｊａｖａの最近のブレイクスルーって何よ？
存在意義厨のｱﾗﾝｽｺ君
0782デフォルトの名無しさん
NGNG関係ないけど、Kyoto Common Lispの二人の作者のうち。
湯浅先生は本当にLispマニアで、 昨年度のIPA未踏にわざわざ一般応募してまで、
Logo MindStormに ミニLisp載っけて遊んでいる^H^H^H^H我々若輩者に道を示そうとなさる、
なかなか気骨のあるLisperらしい。(いちおう学会発表したら、Steelさんが譲ってくれと言ってきたとか)
一方、萩谷先生は、一体ナニがお好きなんでしょうね。
なんか、上の７びっつ読むと、LispじゃなくてCが好きだ、とか言いながら、実際は
検証論とか定理証明の方が好きそうだったり、構成的プログラミングの研究してたり、
気が付いたらDNAコンピューティングも終わって、一体今はナニをなさっておられるのやら。。。
まったく、頭のいい人達は、ナニを考えてるのやら、常人には理解ができませんねｗ
0783デフォルトの名無しさん
NGNG0784デフォルトの名無しさん
NGNGと続きを書こうとしたら>>782に言及されちゃった
0785デフォルトの名無しさん
NGNG0786デフォルトの名無しさん
NGNG0788デフォルトの名無しさん
NGNGプログラミングができないのがあまりに多すぎることを
嘆いてるだけなんじゃないの？
実際、できもしない分際でCハッカーを「肉体労働者」とか
いうの多いでしょ。
0789デフォルトの名無しさん
NGNGすげー深読み・・・
ある意味、天才だな。
0790デフォルトの名無しさん
NGNG0791ｂit
NGNGだから、ちょうど３年になるかな
0792デフォルトの名無しさん
NGNG0793デフォルトの名無しさん
NGNG復活祈願のスレとかなかったっけ？ないか…
0794デフォルトの名無しさん
NGNG2年半ぐらい前にあったかも
0795デフォルトの名無しさん
NGNGおまえが騙されてるだけやん。
ふつー、実践に裏打ちされた理論を語れない、
なんちゃって学歴のなんちゃってＳＥ、なんちゃってコンサルなんて、
総研だろ～が、外資コンサルだろうが、相手にしないだろ。
だって、そんな奴と一緒に仕事したら、合理的でない、常識はずれな仕事が来るのは見え見えだから。
(つか、漏れはサイエンス系だから、そんな連中とお仕事しなきゃならん悲惨な場面には一度も遭遇した事ないけどｗ)
あと、プログラムできるつっても、Ｃ言語歴十ウン年(但し業務系)とか、FORTRAN77オンリーとか(中途半端なサイエンス系)、
ましてやMS系開発言語命！みたいなのは、健全な好奇心の発露に問題ありそうだから、
やっぱ引いちまう。
0796デフォルトの名無しさん
NGNG操作意味論のものばっかりだと書いてあった。これってどういうこと？
0797既視感ありすぎ。マンネリ。
NGNG0798デフォルトの名無しさん
NGNG中途半端な理論に過ぎない。
0799デフォルトの名無しさん
NGNG仮想機械で意味論決める、つうのは、いろいろ拡張し易くて「つおい」と思うけど、
果てしなく不毛な「意味の探求」を、簡単に捨てちまうのは、いかがなものかね。
世の中には分担とか役割っつうものがあって、
不毛な試みを続けて、ついにはなんらかの宝石を発見する開拓者も必要なのではないか、
と言って見るテスト。ひとごとだからなぁ～(笑
0800デフォルトの名無しさん
NGNGその仮想機械で意味論定義するのは、
表示的意味論にカウントしてもいいですか？
それとも、やっぱ操作的意味論？(ｶﾞｯｸｼ
0801デフォルトの名無しさん
NGNGその中で一番優れているのはチューリングのものだって
ゲーデルが言ってたのは、どういう理由なんだでしょう？
0802デフォルトの名無しさん
NGNG0803デフォルトの名無しさん
NGNG関数型言語の意味をユーザーが操作意味論で理解するというのは
本末転倒ではないだろうか…
0804デフォルトの名無しさん
NGNG0805デフォルトの名無しさん
NGNG0806デフォルトの名無しさん
NGNG0807デフォルトの名無しさん
NGNG>情報科学って屍になる覚悟もないのに理論をやろうとするアマちゃんばっかだからな～
始めから屍になるつもりでいる税金泥棒供よりはずっとましだと思うが。
0808デフォルトの名無しさん
NGNGなんか似たような話を聞いた覚えが。
CAML の Category Abstract Machineとか、
Prologの Warren Abstract Machine とか。
0809デフォルトの名無しさん
NGNGやっぱ独立法人化に合わせて、
インキュベーションの一個や二個持ってるとか、
企業領域の技術の学問的体系化とか図ってるくらいじゃないと、
ねぇ～(ため息
あ、アカデミ領域の方で、企業領域への進出図ってる方、居ましたら、
漏れが水先案内しますので、お声をおかけくらちい。
0810デフォルトの名無しさん
NGNG> 表示的意味論などは発展途上にあった
> 中途半端な理論に過ぎない。
萩谷さんがそんなことを言ってたな．
0811デフォルトの名無しさん
NGNG0812デフォルトの名無しさん
NGNG0813デフォルトの名無しさん
NGNG「さん」とは呼ばない。高山先生だってやっぱり「先生」だ。
0814デフォルトの名無しさん
NGNG本人降臨だったら、ヤダな～ｗ
財布の中に隠し持ってる、はぎゃ～先生のコラム、見つかったらどうしよう(ｷｬー言っちゃった♥
0815デフォルトの名無しさん
NGNG0816デフォルトの名無しさん
NGNG恥ずかしがりやの萩谷センセ
0817デフォルトの名無しさん
NGNG0818デフォルトの名無しさん
NGNG他の学問へも輸出できる。
0819デフォルトの名無しさん
NGNGなわけないよね。操作意味論は理論ではないんだよ。
「理論」という概念が変われば、また違ってくるだろうけど。
0820デフォルトの名無しさん
NGNG0821デフォルトの名無しさん
NGNG停止しないプログラムの意味をどうやって与えてるのかな？
さすがにbottomにして済ませる訳にはいかないと思うのだが。
0822デフォルトの名無しさん
NGNG0823デフォルトの名無しさん
NGNGおまえら横内先生の本の最初の数ページでいいから読んでこい。
0824デフォルトの名無しさん
NGNG読んできました。
クロちゃん、可愛いですね。
http://bookweb.kinokuniya.co.jp/guest/cgi-bin/wshosea.cgi?W-NIPS=9971125234
0825デフォルトの名無しさん
NGNG君、帰っていいから。
0826デフォルトの名無しさん
NGNG>>821、>>822は古典的なdomain theoryをやった後に出てくる話でしょ。
0827デフォルトの名無しさん
NGNG哲学科でやるような数理論理学と
情報科学でやるようなソフトウェアサイエンスって
何がどうちがうの？
0828デフォルトの名無しさん
NGNGviでカーソルを動かすとき、HJKLでは動けるが、カーソルキーでは動けない。
そんな束縛感にひたり、ニヤリとしてしまう。
長井秀和です。
viの話。
viに慣れてきた奴は、Windowsのメモ帳でも間違えたときEsc連打しちゃう。間違いない。
viに慣れてきた奴は、秀丸のあのボタンの絵のセンスはどうにかならないものかと思っている。
間違いない。
Excelで入力をミスったときにEscを押すんじゃない、入力した内容が消えてしまうぞ、気をつけろー！！
viに慣れてきた奴は、アレを使うときCtrl-c、Ctrl-sしか知らなかったりする。間違いない。
viに慣れてきた奴は、矩形選択にちょっとあこがれている。間違いない。
0829Aransk
NGNG『Curlプログラミングエッセンシャルズ』
『Curlプログラミングバイブル 』と2冊も本が
出版されてます。新しい言語で本が出版されるのは
久しぶりですよね？
但し両方ともヴァージョンが2.08で古いんです。
有償日本語版が2.08だからかな？無償英文版は既に
3.02です。従って3.0以降の機能であるMacroやRTTIなどは
上記書籍には掲載されておりません。NTTが力を入れている
らしいので伸びる可能性はありますよね。
0830デフォルトの名無しさん
NGNGvimしらんのか（ ´,_ゝ`）
0831デフォルトの名無しさん
NGNGなんでこのスレに書き込むの？
純粋に疑問なんだが……
Haskell の本(日本語の)って出ないのかなぁ。
0833デフォルトの名無しさん
NGNG0834デフォルトの名無しさん
NGNG本気でﾜﾛﾀ
0835デフォルトの名無しさん
NGNG計算機科学固有の意味論は操作的なものだろ？
表示的意味は、
数学（つまり集合と写像）による、解釈だから。
0836デフォルトの名無しさん
NGNG>計算機科学固有の意味論は操作的なものだろ？
言いたいことが分からん。
それは
「"操作的意味論" という概念は、計算機科学という分野でしか扱わない」
という意味か？
0837デフォルトの名無しさん
NGNG数学板にあった「自然科学を記述するのはアルゴリズムだ」ってやつみたいな。
0838Aransk
NGNGご承知の通りCurlはMITのPJTから発展したものです。
MITの連中の頭は完全に関数型言語思考に染まっております。
故にCurlは関数型言語の特色をほとんどカバーしております。
例えば皆さんのお好きなObjectiveCaml、Camlが出来て
Curlが出来ないことはありません。逆は多いが…(*^^)v
Schemeの（を｛に変えただけじゃありませんか？
MITの発想の貧困さ！を確かこのスレで嘲笑しておられた
人もおられたはずです。なんせ残余引数まであるんですから
して、これを関数型言語と呼ばずんばCを関数型言語と
呼ぶきや？（大笑い）
0839デフォルトの名無しさん
NGNGhttp://pc5.2ch.net/test/read.cgi/tech/1082176723/
0840デフォルトの名無しさん
NGNGAransk言語の話はこちらでしてね☆
0841デフォルトの名無しさん
NGNG0842Aransk
NGNG「絶滅寸前？」の関数型言語スレがワタクシには
ピッタリとフィットしております。(*^^)v
0843デフォルトの名無しさん
NGNGこのスレでは以後NGワードということで。
0844デフォルトの名無しさん
NGNG0845デフォルトの名無しさん
NGNG表示的意味なんて、
数学かぶれが好むのだろうけど、
意味論的には、なんも斬新でなくない？
操作的意味こそ、計算機科学が生み出した斬新な意味論なんじゃない？
0846デフォルトの名無しさん
NGNGあれ、ＳＱＬが操作的意味論で定義されてたら、ＲＤＢ実装者の裁量が極端に狭くなって、今みたくＲＤＢが隆盛を極めることはなかったんじゃねぇ？
ってな意味で、表示的意味論を軽視するのはいかがなものか、と思た。
0847デフォルトの名無しさん
NGNGＳＱＬが、ってならまだわかるが。
0848デフォルトの名無しさん
NGNG0849デフォルトの名無しさん
NGNG与えたからといって実装の自由度は変わらない．
どうも操作意味論に対する誤解がありそうなので，一度Plotkinの原論文を
読むことを薦める．
0850デフォルトの名無しさん
NGNG関数言語スレもアフォばっか、か。
0851デフォルトの名無しさん
NGNG0852デフォルトの名無しさん
NGNG0853デフォルトの名無しさん
NGNG属性文法を作った。
0854デフォルトの名無しさん
NGNGいや、あんまり見当違いなレスを３連ちゃんで付けてきたんで、
大笑いしてるだけだけど。
ＲＤＢってコッドの正規化理論を実装したもので、
その正規化理論自体が、写像や関係代数に基礎を置いてるだろ。
だから、ＲＤＢも、ＳＱＬも、表示的意味論の代表的成果
とい言っても差し支えないだろう、つうことだよん
0855デフォルトの名無しさん
NGNG>差し支えない
大蟻。
0856デフォルトの名無しさん
NGNG所詮、表示的意味論と操作的意味論なんて、対応関係付けて、等価性を示せるんだから、いちいち区別してるあんたの頭は腐ってるぞぃ～。
両者をあえて区別したいなら、その決定的な相違を示してごらん～(大笑
＃古いネタ振ってるヤシが居るから、何かトピックでも有るのかと思ったら、このザマかよっ！
0857デフォルトの名無しさん
NGNG> ＲＤＢって、写像～関係代数で基礎付けがされた、表示的意味論の産物じゃね？
> あれ、ＳＱＬが操作的意味論で定義されてたら、ＲＤＢ実装者の裁量が極端に狭くなって
>>856
> 所詮、表示的意味論と操作的意味論なんて、対応関係付けて、等価性を示せる
>>846と>>856は別人なのか？
まあそれはいいとして，>>856の発言はfull abstractionを示すのに苦労してる人が
聞いたら怒るぞ．
0858デフォルトの名無しさん
NGNG怒って発奮して、成果が出るなら、それもまた善き哉。
あと、>>800よんどけｗ
0859デフォルトの名無しさん
NGNGって聞くべきところか。
あと、
＞ 両者をあえて区別したいなら、その決定的な相違を示してごらん～(大笑
こっちもスルーせず回答よろしくくくくっ
0860Aransk
NGNGワタクシめったに２ちゃんねるでは人の意見に賛同しません。
が、コンピュータ言語に関して言うなら
>856
に載りたい。結構重いけど…大笑い。
0861デフォルトの名無しさん
NGNGよく分かってないのですが、つまり操作意味論と表示意味論は区別不要だから、
>>846の主張
「RDB(SQL)は表示意味論の成功例。操作意味論では失敗していただろう」
は間違いだということでしょうか？
0862デフォルトの名無しさん
NGNG逆に浮きまくってる人が約一名・・・
0863デフォルトの名無しさん
NGNG表示的意味論はべつに普通じゃんってこと、
計算機科学分野いがいでも
操作的意味論のほうが可能性がある。
0864デフォルトの名無しさん
NGNG頭悪い人って、なんで直ぐ否定的な意見に飛びつくんだろう？！
なんで、肯定的な意見を慎重に探る訓練ができてないんだろう？？！
0865デフォルトの名無しさん
NGNGＲＤＢって、写像～関係代数で基礎付けがされた、表示的意味論の産物じゃね？
あれ、ＳＱＬが操作的意味論で定義されてたら、ＲＤＢ実装者の裁量が極端に狭くなって、今みたくＲＤＢが隆盛を極めることはなかったんじゃねぇ？
ってな意味で、表示的意味論を軽視するのはいかがなものか、と思た。
856 名前：デフォルトの名無しさん[] 投稿日：04/05/01 12:39
笑止千万。つか一行レスしかできてない時点で、アンタの負け(ﾌﾟﾌﾟﾌﾟ
所詮、表示的意味論と操作的意味論なんて、対応関係付けて、等価性を示せるんだから、いちいち区別してるあんたの頭は腐ってるぞぃ～。
両者をあえて区別したいなら、その決定的な相違を示してごらん～(大笑
＃古いネタ振ってるヤシが居るから、何かトピックでも有るのかと思ったら、このザマかよっ！
0866デフォルトの名無しさん
NGNGＲＤＢやＳＱＬは、まさに関係代数や写像に基づく「正規化理論」を実装したものなので、
表示的意味論というクラスに所属している、と言える。
＃実際には、ＲＤＢに関する基本的アイデアがコッドの頭の中にあって、
＃それを表現するのに数学概念を駆使した、と言うことなんだろうけど。
＃俺的には、やっぱＲＤＢの概念は本質的に数学的なものだと思ってる。
他方、表示的意味論と操作的意味論の具体例(インスタンス)は、
対応関係を示して、等価性を示す事ができる。
つまり、表示的意味論に基づくシステムがあったら、
それを操作的意味論と解釈したり、
あるいは等価だが、より操作的意味論に適したシステムを示す事ができる。
上に書いたことをより具体的なに示すと、例えば、
表示的意味論を厳密に実行する仮想機械を定義して、
その仮想機械の上で操作的意味論を定義してやれば、
表示的意味論と操作的意味論を一致させることができるだろう。
その仮想機械の実行効率や、プログラマにとっての分かりやすさが良いものかどうか、
はさておいて。
逆に、気まぐれに定義された操作的意味論を、表示的意味論に戻そうとしても、
例外的な取り扱いが多くて、表示的意味論として美しくない、複雑怪奇なものになるだろう。
0867866
NGNG表示的意味論は、プログラムの要求仕様、
操作的意味論は、その要求を満たす設計や実装、
に適してるんじゃねぇの？
＃もちろん理想家は、二つの意味論が並立するのは面倒だから、設計や実装も表示的意味論でやりたいとか、
＃プログラマーさんは、「ワタシ文系だから数学的記法なんてわかんないし、理解したくもない。」
＃とか、いろいろ言うだろうけど。
すると、ＲＤＢのANSI/SPARC３層モデルで、ＲＤＢの利用インターフェースを
1. アプリケーション層
2. 論理層 ＳＱＬによる表示的意味論
3. 物理層 あらかじめ作り付けのデータ格納/検索アルゴリズム実装(選択変更可能)
とゆーふーに分けて、
表示的意味論に基づく記述（2.のＳＱＬ）は、大体どこのベンダーでも共通で、ユーザの移植の手間が最小限で済むようになってて、
他方、データ格納/検索アルゴリズムやそれに対する指示は、ベンダー毎に特色を持たせる、
つうビジネスが成立しているのは、なかなか興味深い事だと思う。
(実装がクローズドだから、ビジネス足り得る。最近はオプソＲＤＢも増えたけどねｗ)
これが、粘着クンへの回答。
0868866
NGNG他方、JavaやCLRの場合、VMの操作的意味論をベンダー間で共通化して、
クラスライブラリやフレームワークのバリエーションや実装で、差別化を図る、
つうモデルなわけだが。。。アプリケーション・パーティショニングやらクラスタリングやら、
ＶＭの操作的意味論にも、共通クラスライブラリにも抵触する部分がいろいろあって、
なんか問題解決の手段としてよろしくないのでは、とか思っちまう。
揚げ句に、ＲＤＢの時と違って、実装がオープンだから、利益をベンダーに集中させるビジネスモデルが成立しなくなっている。
まぁ、昔からオプソ文化推進派の俺にとっては、正しい方向なんだけどｗ
結局、広範囲で使われる汎用プログラム言語では、
表示的意味論を決めるビジネス的要求もなければ、
表示的意味論で統一する現実的見通しもない、って感じなんだろうな。
そこで、ＵＭＬの出番ですよ！ＵＭＬの一部は表示的意味論ｄ(以下、長くなるので全部割愛)
0869デフォルトの名無しさん
NGNGあなたの言ってる区別は抽象レベルの違いであり、意味論が表示的か操作的
かの区別とは関係はあっても別物だろう。
操作意味論には、初期の抽象機械を用いて意味定義を与える具体的なものから、
80年代に現れ、操作意味論の復権を果たした構造操作意味論や自然意味論
（現在普通に操作意味論と言えばこれらを指す）まで、様々な抽象レベルのもの
が存在する。
表示意味論にしても同様で、プログラムを初期状態から終了状態への関数とみなす
古典的なものから、トレースを用いてより細かく実行過程を扱えるようにしたものまで
様々である。
0870デフォルトの名無しさん
NGNG賛成。
ただ、表示的意味論で実装というのは意味がわからない。
実装自体が一つの操作的意味を言語に与えるものだと思うし。
> ＃もちろん理想家は、二つの意味論が並立するのは面倒だから、設計や実装も表示的意味論でやりたいとか、
0871870
NGNG構造操作意味論しかしらない素人だが、構造操作意味論はやはり
実装を抽象化したものだと感じるな。
>>866のJavaの例を、JavaVMの互換性=共通の操作意味論、と読めば抽象レベル
の違いということになるが、そういう文章なのだろうか。
0872デフォルトの名無しさん
NGNGその内部処理過程を細かく規定する具体的なものから、
1stepで結果を与えるような抽象レベルの高いものまで
選択肢は色々だということでは。
0873866
NGNG要求と、分析・設計の件は、仕様記述によるプログラム自動生成というIPSJ20年来の研究テーマ((c)2003 OOｼﾝﾎﾟでの伝聞)を想定して書いた文章でつ。
それはさておき、select文は明らかに表示的意味論で記述するのが正しいと（ｒｙ
0874デフォルトの名無しさん
NGNG0875デフォルトの名無しさん
NGNG0876デフォルトの名無しさん
NGNG{A[t/x]} x = timeGetTime() {A} where t is fresh
0877Aransk
NGNG再帰構文が表示的意味論でfor文が操作的意味論って
言いたい訳でしょうか？
これは誤りです。両者とも操作的意味論が正しい。
違いは実装レベルの問題です。極端な話、機械語も
操作的意味論の世界であります。コンピュータ言語に
おいては表示的意味論はコメントしか有り得ないのです。
と、言い切って…もういいかい？( ^^) _旦~~
0878デフォルトの名無しさん
NGNG超準関数型言語Aransk
http://pc5.2ch.net/test/read.cgi/tech/1082176723/
0879デフォルトの名無しさん
NGNGつか、Schemeって仮想機械使って実装する類いの言語やん、
continuation視野に入れた場合。
なんで再帰が表示的意味論になるんだろう。。。おかしい人の発言って不思議。
0880デフォルトの名無しさん
NGNG決まりや興味・関心の押しつけ
理解の悪さ：表面的／暗示的意味の間違った解釈を含む
0881デフォルトの名無しさん
NGNG意味論って「何」か、分かっているの？
0882デフォルトの名無しさん
NGNG超準関数型言語Aransk
http://pc5.2ch.net/test/read.cgi/tech/1082176723/
0883デフォルトの名無しさん
NGNGことが分かってない人がいるような気がする。
0884デフォルトの名無しさん
NGNG珍説の誤解珍をきぼんぬぅ～
0885デフォルトの名無しさん
NGNGふ～ん、λ-calculusの表示意味論ならそないなところだろね。
他の表示意味論でもそうなの？ｗ
0886デフォルトの名無しさん
NGNG副作用ではなくて、宣言じゃないのか？
副作用使っておいて、それを「表示的意味論」と呼ぶのはおかしい。
0887883
NGNG頼むから一冊ぐらい意味論の本読んでくれよ。
assignment(副作用)は環境の変化として表される。
副作用がないってのは環境の変化が無いんだよ。Haskellとかな。
r5rs読んだことあるか？
0888デフォルトの名無しさん
NGNGだから、あんたの言う表示意味論はラムダ計算限定の話だろ。
いい加減に子供じみた知ったかぶりはやめとけ。
0889デフォルトの名無しさん
NGNGなにが知ったかぶりなんだ？
schemeや関数型言語の話をしてて
> 副作用使っておいて、それを「表示的意味論」と呼ぶのはおかしい。
っていわれたらλ計算の意味論を説明するだろ？
あほ？
あなたがどれだけいろんな意味論をしってるのか知らんが、無関係。
0891デフォルトの名無しさん
NGNGScheme環境で副作用がどうしても必要になるのはトップレベルの話でしょ。
これは言語が抱えている作りの問題。
Schemeは表示的意味論に沿ってコードを書くこともできるというだけの事。
環境で副作用という話は、Scheme実装の歴史とか互換性とかそういう話であって、
r5rsが絶対的に正しいって事ではない。
表示的意味論の話にそういうローカルなのを持ち込むのはどうかと。
話が通じない。
0892デフォルトの名無しさん
NGNG>>886に対する>>887の返信なんだが？
そもそも、いままでの流れを見て
>>886のような奴がいるだろうなと思って
> 表示的意味論には環境というものがあって普通に副作用を扱えるという
> ことが分かってない人がいるような気がする。
と書いてるんだよ。
あんたが知識自慢をしたいだけの馬鹿なのはわかったからもう相手にしないよ。
0893デフォルトの名無しさん
NGNG0894デフォルトの名無しさん
NGNGなかなかの珍説だと思うけど、どうでしょ？
あんたの話はラムダ計算限定でしょーが。
Schemeの実装の制約だ、なんて逝ってるヤシも、変。
0895デフォルトの名無しさん
NGNGだれも実装の話なんかしてないが。
> Scheme環境で副作用がどうしても必要になるのはトップレベルの話でしょ。
なにいってんの？
> 環境で副作用という話は、Scheme実装の歴史とか互換性とかそういう話であって、
λ計算の意味論はそういうものですが。実装の歴史も互換性も無関係。
> r5rsが絶対的に正しいって事ではない。
表示的意味論で環境によって副作用を表現している具体例なんだが。
r5rsには欠陥があるっていう大胆な主張か？
0896デフォルトの名無しさん
NGNG0897デフォルトの名無しさん
NGNG勝手に一般とか付け加えて読むなよ。
関数型言語のスレでしかもschemeの話をしていて、
>>886がいるだろうと思って書いた文章なんだぞ。
0898デフォルトの名無しさん
NGNG世の多勢にも、計算機科学にとっても、さしたる影響は、ない。
＃GLS Jr.ﾀｿごめん、電波相手だから極論言わないと伝わらないのよ
0899デフォルトの名無しさん
NGNGだれがそんな話をしているんだ？
0900デフォルトの名無しさん
NGNGという珍説を発表した香具師が跳梁跋扈するスレ。
0901デフォルトの名無しさん
NGNGSQLのqueryコマンド単品なら表示的意味論で表せるが、
SQLコマンドの羅列で見れば操作的意味論の範疇。
視野が変わるというか。
もうちっとマクロ的に見ようよ。
0902デフォルトの名無しさん
NGNGそんなことはどこにも書かれていないんだが。
跳梁跋扈する妄想に悩まされて大変ですね。
0903通りすがり
NGNG0904デフォルトの名無しさん
NGNGGWの奇跡でつね。
0905デフォルトの名無しさん
NGNGこいつもデムパ。
なんで、表示的意味論では副作用を定義できない事にしたいのか、
全くもってｲﾐﾌﾒｲ。
きっと、関数言語スレで叩かれまくって、副作用(･Ａ･)ｲｸﾅｲ!!とか勝手に思い込んでるんだろうなｗ
0906デフォルトの名無しさん
NGNGSchemeは例として出ているだけであって、
わざわざ(Scheme狭義の)表示的意味論に話を
展開させる必要があるのか？
つーかScheme狭義の話だったら枕詞か何か付けろよ。
0907デフォルトの名無しさん
NGNG0908デフォルトの名無しさん
NGNGざわ・・・・
ざわ・・・・
0909デフォルトの名無しさん
NGNGそうだな。「λ計算の」と枕詞をつければ、
変な粘着電波にからまれてることもなかった。
# Scheme狭義ではないが。
>>886, >>901といった「表示的意味論では副作用を定義できない」と
思い込んでいる人々にたいして、そんなことはないと指摘するための
書き込みだったからな…
話の展開には別に興味ない。
0910デフォルトの名無しさん
NGNGｷﾁｶﾞｲの開き直りｷﾀ━(ﾟ∀ﾟ)━( ﾟ∀)━( ﾟ)━( )━(ﾟ )━(∀ﾟ )━(ﾟ∀ﾟ)━!!!!
おまいみたいに、いい加減な主張を二つも三つも並べて、
さんざんｽﾚを荒らした揚げ句に、
なんとなく勝ち馬っぽくみえる奴に乗っかって捨てぜりふ吐いて逃げるような奴こそ、
人間の屑だ。さっさと死にさらせ、この基地外め
0911デフォルトの名無しさん
NGNG0912デフォルトの名無しさん
NGNG0913デフォルトの名無しさん
NGNG0914デフォルトの名無しさん
NGNG例のﾌﾟ逝一とかAranskとか名乗ってる屑、だな。ﾂﾏﾝﾈ
0915デフォルトの名無しさん
NGNG0916デフォルトの名無しさん
NGNGある言語で表現された文と、その文に関わる動作との
「結びつき方」の事を指すと思っていたのだが・・・
で、その際に各文節が文脈を持たずに
（その意味を）表現できれば「表示的」、
そうでなければ「操作的」、という区分けだと思っていたけど。。。
何かここで話されている「意味」という言葉の「意味」は
全然違うものを指しているような気がするのだが、
俺が間違っているのか？
どうして処理系固有の話（副作用云々）が出てくるんだ？
0917デフォルトの名無しさん
NGNG副作用(<-> 参照透明)というのは、言語に対して定められるもので、
処理系固有の話ではないと思うんだが。
0918デフォルトの名無しさん
NGNG嗚呼、勘違い。ｶﾜｲｿｳ系の人が、訳も判らず自己主張してるだけなんだ。
相手にするだけ時間の無駄だね
0919デフォルトの名無しさん
NGNG引用してみるのはどうだろう。
表示意味論の創始者って誰だっけ? Scott? Strachey?
0921デフォルトの名無しさん
NGNG0922デフォルトの名無しさん
NGNG今までのヴァカ騒ぎは、用語も知らない素人が、空騒ぎしてただけだろ。
今更そんな事言い出しても無駄無駄無駄無駄
0923デフォルトの名無しさん
NGNG0924大爆笑
NGNG今の今まで、表示意味論わからずにﾍﾀﾚ議論してたんですかぁ～？
小学生なみですね
0925デフォルトの名無しさん
NGNG勇者の居るスレに記念カキコ
0926デフォルトの名無しさん
NGNG勇者っつうより、たんなるドキュソだろ。
ほら、途方も無いウソつくドキュソって居るやん、いくつになっても小学生なみの奴
0927デフォルトの名無しさん
NGNGドキュソはドキュソだけど、あんま追い詰めるのは(･Ａ･)ｲｸﾅｲ!!
ほら、「ドキュソ、猫を噛む」つうやん
えぇー、よろしいオチが付きましたようで、このへんで・・・
♪ﾁｬﾝﾁｬｶﾁｬｶﾁｬｶ、ﾄﾞﾝﾄﾞﾝ、ﾁｬﾝﾁｬｶﾁｬｶﾁｬｶ、ﾄﾞﾝﾄﾞﾝ
0928883他
NGNGJ.Stoy の "Denotational Semantics"が手元にあるので。
The Denotational Approach.
We give "semantic valuation functions",
which map syntactic constructs
in the program to the abstrac values (numbers, truth
values, functions etc.) which they denote. These
valuation functions are usually recursively defined:
the value denoted by a construct is specified in
terms of the values denoted by its syntactic subcom-
ponents, and it is this emphasis on the values denoted
by all these constructs that gives the approach its
name. There may or may not be an obvious way of
working out the results of these functions in any
particular case: that is, the defining equatiojns may
or may not suggest a way of implementing the language.
0929デフォルトの名無しさん
NGNG0930デフォルトの名無しさん
NGNG0931デフォルトの名無しさん
NGNGこのスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、日本語翻訳して説明してやるｗとかしたらどぅ？
あと、手元にあるというそのプレプリントなり著作の文献情報を示してゴランｗ
0932デフォルトの名無しさん
NGNG0933デフォルトの名無しさん
NGNG0934デフォルトの名無しさん
NGNG>928
このスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、日本語翻訳して説明してやるｗとかしたらどぅ？
あと、手元にあるというそのプレプリントなり著作の文献情報を示してゴランｗ
0935デフォルトの名無しさん
NGNGStoyの本って結構有名だと思ってたんだが…
ISBN は 0-262-19147-4
持ってればわかるだろうが、例えば127ページの一番上の行は
be doing this for the λ-calculas itself in Chapter 8.)
電波の相手をするのは大変だなぁ。
0936931
NGNG禿藁
0937デフォルトの名無しさん
NGNG0938デフォルトの名無しさん
NGNGおまえは俺ではありません。
人のスレ番騙る犯罪者は、さっさと逝ってください。
0939デフォルトの名無しさん
NGNG君本当に病院にいった方がいいよ。
p387 Miscellaneous Matters 全文タイプはだるい。
programmers. で終わってるね。そのあとはAppendix。
0940デフォルトの名無しさん
NGNGそういえばStoyの本ではdomainとしてcpoでなくcomplete latticeを使ってると
聞いたんだけど、T(top element)にはどういう意味を持たせてるの?
0941デフォルトの名無しさん
NGNGここまで稚拙な議論を展開するものかねぇ～ｗ
良くて、手元に死蔵してるだけで読んでも居ない、もしかすると隣の学科の図書室からかっぱらってきただけでしょ。
しかも、意味論程度のツマランネタで「病院」だってｗﾁｮーｳｹﾙ
あんた、鬱病で何度も精神病院逝ってる人でしょ。サイコなネタをすぐ振るから、すぐあんただって判る。はやく病院戻れよｗ
0942デフォルトの名無しさん
NGNG騙るくらいで犯罪者というお前もな。
つーかスレってなんだよ。レスだろw
0943デフォルトの名無しさん
NGNG[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
ﾁｮｰｳｹﾙ。
意味論程度で精神病院突っ込まれた >>939も、大変だな～
0944デフォルトの名無しさん
NGNGおまえは俺ではありません。
人のスレ番騙る犯罪者は、さっさと逝ってください。
0945デフォルトの名無しさん
NGNG0946デフォルトの名無しさん
NGNG0947デフォルトの名無しさん
NGNGこのスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、日本語翻訳して説明してやるｗとかしたらどぅ？
あと、手元にあるというそのプレプリントなり著作の文献情報を示してゴランｗ
0948デフォルトの名無しさん
NGNG0949デフォルトの名無しさん
NGNG0950デフォルトの名無しさん
NGNGこのスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、
日本語翻訳して説明してやるとかしたらどぅ？
あなたに、そうする能力が無いわけないよね？頑張れ
0951デフォルトの名無しさん
NGNG釣られるなよ、いつくスレ無駄に使えば気が済むんだよ。
0952デフォルトの名無しさん
NGNG残念ながら、内容を理解して、他人に説明する能力が欠けて居るらすぃ（笑
俺はどーでもいいけど、ここには約二匹のドキュソが常駐してるようだから、
さっさと説明してあげたらどうなんだろうね、他の人でもいいからさぁ（笑
0953デフォルトの名無しさん
NGNG意味論程度のツマランネタで「病院」だってｗﾁｮーｳｹﾙ
あんた、鬱病で何度も精神病院逝ってる人でしょ。
サイコなネタをすぐ振るから、すぐあんただって判る。はやく病院戻れよｗ
0954デフォルトの名無しさん
NGNG>>885はなんでそんなに喧嘩腰なんですか？
0955デフォルトの名無しさん
NGNG0956デフォルトの名無しさん
NGNG残念ながら、内容を理解して、他人に説明する能力が欠けて居るらすぃ（笑
俺はどーでもいいけど、ここには約二匹のドキュソが常駐してるようだから、
さっさと説明してあげたらどうなんだろうね、他の人でもいいからさぁ（笑
0957デフォルトの名無しさん
NGNGついでだから、全文丸ごとタイプして、アップしといてくれ
0958デフォルトの名無しさん
NGNG0959956=957=958
NGNG0960デフォルトの名無しさん
NGNGそれ以前：約 40 レス／月
おまいら、もちつけ・・・
0961Aransk
NGNG皆さん余程レベルが高いのか？実はさっぱり
分かってないのか？（笑い）
このミスプリは稀少なんです。普通tionは眼をつぶっても
打てるのが英文を打ち慣れた人間のはずだが？
余程不慣れな方か？それともご自身も意味が分かってないのか？
（大笑い）
0962デフォルトの名無しさん
NGNG0963デフォルトの名無しさん
NGNG名無しに戻すの忘れてるよ
0964デフォルトの名無しさん
NGNGどうせタイプ・ミスもわざとやった釣り餌だろー (だって、j って釣り針の形そのものやん)
と推察して、放置しときましたが、伺か。
0965デフォルトの名無しさん
NGNGそんな事よりお前のページの"Fortrun"を直せよ
馬鹿丸出しだぞ
http://homepage3.nifty.com/Aransk/pro.html
27行目ぐらい
Fortrunで検索
http://www.google.co.jp/search?sourceid=navclient&hl=ja&ie=UTF-8&oe=UTF-8&q=Fortrun
0966デフォルトの名無しさん
NGNG0967inf*seek テキスト翻訳
NGNG私たちは「意味的な評価機能」を与えます。構文的な地図は、それらが表示
するアブストラクト価値(数、真実価値、機能など)へのプログラムにそれを
構築します。これらの評価機能は通常再帰的に定義されます: constructに
よって表示された値は、その構文的なサブコンポーネントによって表示され
た値では指定されます、また、それはすべてのこれらによって表示された値
に対するこの強調です、それを構築する、アプローチにその名前を与えます。
そこで出てくる明白な方法かもしれないし、任意の特別の場合でのこれらの
機能の結果: すなわち、定義する方程式は、言語をインプリメントする方法
を示唆するかもしれないし、示唆しないかもしれません。
0968デフォルトの名無しさん
NGNG関数型言語Part4
http://pc5.2ch.net/test/read.cgi/tech/1083624060/
0969デフォルトの名無しさん
NGNG新しいスレを誰かまともな人間が立てるまで、休止でいいっしょ、関数型言語
0970デフォルトの名無しさん
NGNG情けない人間だね、あんた。
専門書を持ってる持ってるっつっても、
Infoseek翻訳するのがせきの山か。
これで、意味論わからずに意味論の議論したがるドキュソが、
理解できるのかどうか？ｗ
0971デフォルトの名無しさん
NGNG次スレ
関数型言語Part IV
http://pc5.2ch.net/test/read.cgi/tech/1083649982/
0972洩れ車
NGNG> 最近、適度に時系列的な要素がないと人間の理解力を超えてしまうんじゃ
> ないかと考えるようになってきた。
> あるいは逆に人間の思考パターンが時系列的だからノイマン型コンピュー
> タを作った、ってのは言い過ぎか。
亀レスですが,『宇宙の素顔』(ブルーバックス)って本を読んでいたら
「時間とは、すべてのことがいっぺんに起こらないようにする自然なりのやり
方である」ジョン・A・ホイーラー
「神が空間を発明したのは、すべてのことがプリンストンで起こらないように
するためである」マーティン・リースによる返歌
ってのがあったので, >>778を思い出してカキコしますた。
0973デフォルトの名無しさん
NGNG操作的意味論は全て(数学を含む)を抽象的な機械の動作で表現する
っていう、まったく反対の方向を向いているっていうことですか？
0974デフォルトの名無しさん
NGNGやっとこさ「意味論」の意味が判った、知恵遅れの >>973 は、
もう終わってるスレで今更ナニをしてんの？
続きは新スレでヤレ
0975デフォルトの名無しさん
NGNG>>867
公理的意味論は、プログラム検証～デバッグ、テストに役立つかﾓﾅ～。
ただし、最近は Test first とやらの風潮で、テストを仕様段階から考えておく事が、
トレンディでナウなヤングのハートにバカ受けらすぃ
0976デフォルトの名無しさん
NGNG0977デフォルトの名無しさん
NGNG意味論やったのは学部の三年位だから、
学部の数学のべんきょが約二年かな。
あと、工房の算数も数学としてカウントするか否か、か。
で、何か？
0978デフォルトの名無しさん
NGNGがっこで数理科学と物理数学をかれこれ４年やってぇ～、
実務で非線形最適化問題を２年、
あとは情報数学オンリーだな、俺のばやい
0979デフォルトの名無しさん
NGNG0980デフォルトの名無しさん
NGNG0981デフォルトの名無しさん
NGNG日本語が不自由な人
0982デフォルトの名無しさん
NGNG本業(物性基礎論～物理計測)そっちのけで、
Linusと同じ時期に Lisp OS作ろうと本気になってたから、
勉強量は多少違うかもねぇ～、文系のヒトとはぁ～(余裕の笑み
0983デフォルトの名無しさん
NGNG0984デフォルトの名無しさん
NGNG0985ばやい
NGNG0986デフォルトの名無しさん
NGNG0987デフォルトの名無しさん
NGNG0988デフォルトの名無しさん
NGNG0989デフォルトの名無しさん
NGNGこのばやい、できたかできなかったかはどうでもいいんだよ。
0990デフォルトの名無しさん
NGNG基地外が基地外判定しても、一般社会には通用しないよ。
隔離病棟でがむばれ
0991デフォルトの名無しさん
NGNGあなたのLispOSと従来のOSの違いだけでも教えてくれませんか？
0992デフォルトの名無しさん
NGNG0993デフォルトの名無しさん
NGNG説明しても理解できないだろうなぁ～。
だからやめておく(笑
0994デフォルトの名無しさん
NGNG是非こちらにカキコ願いします。多少の虚言はOKです。
超準関数型言語Aransk
http://pc5.2ch.net/test/read.cgi/tech/1082176723/
0995デフォルトの名無しさん
NGNGこのスレを見ているのは私と貴方だけではありませんよ。
スキルのある人が有意義なレスを返してくれるかもしれませんよ。
仮想マシンですか？
それともネイティブな環境で実行されるのですか？
0996まとめ
NGNG・Stoyの結構有名な本持ってるけど、表示的意味論の説明もできないヘタレの居るスレに乾杯！
・公理的意味論と、Test First を関連付けて理解する事は重要。
未解決な問題
>>940 そういえばStoyの本ではdomainとしてcpoでなくcomplete latticeを使ってると 聞いたんだけど、T(top element)にはどういう意味を持たせてるの?
0997デフォルトの名無しさん
NGNGﾍｪーﾍｪーﾍｪーﾍｪーｘ25
今、旧Symbolicsのヒトと仕事で一緒だけど。
スキルあるヒトって、誰の事？
世の中広いから、まだ会った事もない凄いヒトが、隠れてるなら、
是非教えてクレ！
0998デフォルトの名無しさん
NGNGキチガイは>>994のリンク先に逝け
0999デフォルトの名無しさん
NGNG1000デフォルトの名無しさん
NGNG1001１００１
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。