トップページ⇒tech
986コメント341KB

関数型言語Part2

レス数が950を超えています。1000を超えると書き込みができなくなります。
0001デフォルトの名無しさんNGNG
前スレ
http://pc.2ch.net/test/read.cgi/tech/987954395/
0936デフォルトの名無しさんNGNG
>>921　ttp://www.ececs.uc.edu/~franco/C511/html/Scheme/ycomb.html
0937デフォルトの名無しさんNGNG
なにが既出？
ちゃんと日本語しゃべれ
0938　NGNG
対応してないわけ無いだろう。
下らんこと引っ張るな。
0939デフォルトの名無しさんNGNG
MLで書くとどうなるの？
0940名無しさん＠ＥｍａｃｓNGNG
2ch最古(と思われる)λスレ
http://piza.2ch.net/log/prog/kako/935/935986860.html
0941デフォルトの名無しさんNGNG
http://www.cs.nott.ac.uk/~gmh//faq.html
結局どれにすればいいんだ？
0942　NGNG
>>941
Mercuryにしてください。
0943　NGNG
Win版が、cygwinか.NETというのが減点対象
0944デフォルトの名無しさんNGNG
http://www.is.titech.ac.jp/~kando9/work/Progress/TypeSystem/OverLoading.html
Hindeley/Milner型システムというものに関心があるのですが、
なにかよい文献はありますでしょうか？日本語じゃないかな。
0945デフォルトの名無しさんNGNG
>>944
卒研リンク(泣)....

型推論の説明してる本だったら、
必ず触れてる話だと思うよ。

例えば岩波の本。
0946デフォルトの名無しさんNGNG
>>945
え”ご本人さんですか？それはすみませんでした。。。
悪意があったわけではないのでお許しを。m(　 )m

明日本屋さんでざっくり見てきます。それにしても
日本語でこういったネタを扱ってるサイトって少ないですね。
0947　NGNG
OOP vs. FPの話がcomp.lang.functionalで盛り上がっているのは何故？
0948デフォルトの名無しさんNGNG
ちょろっと見たけどあんまりおもしろくはないですねえ
0949デフォルトの名無しさんNGNG
型付きλって何なの？
0950デフォルトの名無しさんNGNG
何といわれても。
どの程度の知識を前提に説明すればよいのやら。
0951　NGNG
>>949
ftp://ftp.cs.kun.nl/pub/CompMath.Found/HBKJ.ps.Z

Lambda Calculi with Types
0952デフォルトの名無しさんNGNG
これってプログラミング言語でいう「型」とは意味違う？
0953　NGNG
ちみのいうところの、「プログラミング言語でいう型」とはなんぞや？
0954デフォルトの名無しさんNGNG
952じゃないけど、
>>953
データの集合。あるデータxが型tとは、x∈tのこと。通常、型t1,t2には重なりがないが、継承などを考えて重なりをもたせることもある。
代数で言えばsort。

この観点からどう答えますか？
0955デフォルトの名無しさんNGNG
さあ。
0956デフォルトの名無しさんNGNG
関数型言語ファンなら Curry-Howard isomorphism くらいは
ウンチクとして知っておいた方が良いと思われ
しばしばMLが利用される問題の例だし
0957デフォルトの名無しさんNGNG
>>956
恥ずかしい奴だ。
聞きかじりの知識を、そーゆー言い方で自慢する奴を見ると、反吐がでる
0958デフォルトの名無しさんNGNG
＞しばしばMLが利用される問題の例だし
聞いた事ありまへんなー。
例きぼんぬ
0959デフォルトの名無しさんNGNG
>>957
気に障ったようで申し訳ない
>>958
例えばこんなんとか
ttp://www.csse.monash.edu.au/~jnc/Cwrapper.ps
卒論くらいで似たようなことをさせる人はいるんじゃないかな
0960デフォルトの名無しさんNGNG
卒業研究かよっ！
0961デフォルトの名無しさんNGNG
そろそろ次スレですか？
0962デフォルトの名無しさんNGNG
>>956
で、型(sort)と かりー・はわーど対応の繋がりは何？

とりあえずFred(>>959)で、Higher Order Logicを複数のsortに展開してるって辺り？
0963デフォルトの名無しさんNGNG
ようするに、「Curry-Howard対応使って型からプログラムを生成する試みがあった」と言いたかっただけじゃないかと…
0964デフォルトの名無しさんNGNG
それよりもよー、
型付きλ計算の型と、
「プログラミング言語における型」の違いがよく分からんのだが。
0965デフォルトの名無しさんNGNG
ごまかしに入ったな
0966デフォルトの名無しさんNGNG
>>964＝逝ってよしの１
0967デフォルトの名無しさんNGNG
964=955
0968デフォルトの名無しさんNGNG
>>964
何を型といってるかによるけど違いはないよ。
高階関数がどこまで扱えるかどうかは言語によるけど。
ただ >>954 のように型を集合と考えるのに対して >>956 の挙げた
型を命題とする見方は typed lambda の応用に独特だと思う。
この辺のイントロでよくまとまってるのは >>951 の5章かな。
もっと平易なのがよければ冗長だけど↓
ttp://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/7bits/shoumei_kata
0969デフォルトの名無しさんNGNG
このスレってtail recursionしてない？
0970デフォルトの名無しさんNGNG
いつまでも同じ話題にしがみ付いていて、
恥ずかしくないの？
0971デフォルトの名無しさんNGNG
さあ、そこんとこは少なくとも俺には分からない。
0972デフォルトの名無しさんNGNG
ということでこのスレは終わりかな。
まともな議論を死体人は数学板でやるのがいいと思う。
ここは何もしらいない厨房が分ったふりをして書き込む板なので。
0973デフォルトの名無しさんNGNG
数学板で煽りの入らないまともな議論をするのは非常に難しいという罠
0974デフォルトの名無しさんNGNG
論理スレとか酷いことになってますねえ。
0975デフォルトの名無しさんNGNG
>>968,>>971-972が「何もしらいない厨房が分ったふりをして書き込む」のサンプルな罠
0976デフォルトの名無しさんNGNG
具体的なことを何一つ書き込まないのは所詮厨房という罠
0977デフォルトの名無しさんNGNG
977
0978デフォルトの名無しさんNGNG
>>975
あふぉぅ
0979デフォルトの名無しさんNGNG
979
0980デフォルトの名無しさんNGNG
この書き込みで 980 超えたので、
次スレ立てるなら数日中に立てないと dat 落ちします。
スレ住人の人よろしくお願い。
0981デフォルトの名無しさんNGNG
>>976-979
　>>976
0982デフォルトの名無しさんNGNG
次スレ立てました。

関数型言語Part3
http://pc3.2ch.net/test/read.cgi/tech/1037527388/
0983デフォルトの名無しさんNGNG
983
0984デフォルトの名無しさんNGNG
乙
0985デフォルトの名無しさんNGNG
985
0986デフォルトの名無しさんNGNG
986
レス数が950を超えています。1000を超えると書き込みができなくなります。