[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
523: デフォルトの名無しさん [sage] 2011/11/13(日) 08:17:08.75 #Ruby の人でHaskellを勉強したいと思っている人はけっこういる。 Haskellの人でRubyに興味がある人はあんまりいない。 両方使えるならHaskell使うだろ。 つまりそういうことだ。 ちなみにRubyはListをmapしたらArrayになる。こんなのをほったらかし たままで新しい構文がどうのこうの言っている。Rubyはオワコン http://echo.5ch.net/test/read.cgi/tech/1317958045/523
524: デフォルトの名無しさん [sage] 2011/11/13(日) 08:42:40.27 >>506 は？京大なんて傲慢レポート何位だと思ってんだよ？ http://echo.5ch.net/test/read.cgi/tech/1317958045/524
525: デフォルトの名無しさん [sage] 2011/11/13(日) 09:05:28.47 >>523 > ちなみにRubyはListをmapしたらArrayになる。 どゆこと？ http://echo.5ch.net/test/read.cgi/tech/1317958045/525
526: デフォルトの名無しさん [sage] 2011/11/13(日) 09:15:34.66 言葉通りの意味だろ http://echo.5ch.net/test/read.cgi/tech/1317958045/526
527: デフォルトの名無しさん [sage] 2011/11/13(日) 09:26:08.75 いやだってRubyにListってクラスは（多分）無いし、 Listと同じように扱えてmapを呼べるArrayはmapしてもArrayを返す rb> a1 = [1, 2, 3] => [1, 2, 3] rb> a1.class => Array rb> a2 = a1.map{|e| e * 2 } => [2, 4, 6] rb> a2.class => Array なのでもう少し説明が欲しい http://echo.5ch.net/test/read.cgi/tech/1317958045/527
528: デフォルトの名無しさん [sage] 2011/11/13(日) 09:26:50.55 トートロジー http://echo.5ch.net/test/read.cgi/tech/1317958045/528
529: デフォルトの名無しさん [sage] 2011/11/13(日) 09:45:49.75 イテレータであるEnumerableから実際のコンテナにアクセスするとかそういう意味ならばまだ分かったんだけどなぁ>rubyのmap http://echo.5ch.net/test/read.cgi/tech/1317958045/529
530: デフォルトの名無しさん [sage] 2011/11/13(日) 10:27:18.52 >>523 そもそもRubyは関数型言語ではないんだよね 関数風の(=関数型言語スタイルの)プログラミングも可能だというだけで.... 厳しく言えば、Rubyでは関数(メソッド)はファーストクラスじゃないし、 末尾再帰も最適化されないからすぐにスタックオーバーフローする 自分達の優位な土俵で下位レベルの言語をつかまえて、 自身の優越感に浸るとは、なんともはや心の狭い発想じゃないのかと思われ そんなにもHaskellという言語に対して自信が無いの？ もっと胸を張ってもいいと思うんだけどなあ.... http://echo.5ch.net/test/read.cgi/tech/1317958045/530
531: デフォルトの名無しさん [sage] 2011/11/13(日) 10:33:02.71 その点トッポって凄いよな 末尾までちゃんとチョコが再帰してる http://echo.5ch.net/test/read.cgi/tech/1317958045/531
532: デフォルトの名無しさん [sage] 2011/11/14(月) 04:23:49.84 >>530 >>473のどこから優越感が云々という話になるのか分からんのだが Rubyは言語仕様を読むとけっこう滅茶苦茶、細部をつつくと大変な事になる言語だが 一方で、言語仕様の「良さ」で支持されてきた言語でもある 悪い意味じゃなくてHaskellとは対照的な感覚があると思うけど http://echo.5ch.net/test/read.cgi/tech/1317958045/532
533: デフォルトの名無しさん [sage] 2011/11/14(月) 08:04:23.97 >>532 どこから473が出てきたのか分からんのだが 523は俺が読んでも酷いレスに思える http://echo.5ch.net/test/read.cgi/tech/1317958045/533
534: デフォルトの名無しさん [sage] 2011/11/14(月) 16:30:43.08 そろそろ純粋関数型とそうじゃないやつは分けて話そうぜ Lisp対Haskell並に不毛な議論 最強を決めたいなら、とりあえずラムダ計算にしとけばいいよ http://echo.5ch.net/test/read.cgi/tech/1317958045/534
535: デフォルトの名無しさん [sage] 2011/11/14(月) 16:46:43.11 ラムダ計算vs型付きラムダ計算 http://echo.5ch.net/test/read.cgi/tech/1317958045/535
536: デフォルトの名無しさん [sage] 2011/11/14(月) 16:54:16.83 Typed Pi-CalculusとTyped Join Calculusも虎視眈々と最強を狙ってる。 http://echo.5ch.net/test/read.cgi/tech/1317958045/536
537: デフォルトの名無しさん [sage] 2011/11/14(月) 18:34:22.14 まーちんれふでも意味分からんのにホモとピーとか有向型理論とかどんどんでてきてついていけせんねん http://echo.5ch.net/test/read.cgi/tech/1317958045/537
538: デフォルトの名無しさん [さげ] 2011/11/14(月) 18:43:45.63 君たちがなんかやっても、外人Haskell使いのほうが詳しいし 何でHaskellやるの?教えて？？？ http://echo.5ch.net/test/read.cgi/tech/1317958045/538
539: デフォルトの名無しさん [sage] 2011/11/14(月) 18:56:08.83 釈迦の教えに通じるから http://echo.5ch.net/test/read.cgi/tech/1317958045/539
540: やんやん ◆yanyan72E. [sage] 2011/11/14(月) 21:07:35.07 Haskellは現代数学をWikipediaで勉強するレベルの人間が 粋がって数学用語を多用するのがなんか鼻に付く。 http://echo.5ch.net/test/read.cgi/tech/1317958045/540
541: デフォルトの名無しさん [sage] 2011/11/14(月) 21:10:21.00 にわかほど語りたがる -- あるハッカー http://echo.5ch.net/test/read.cgi/tech/1317958045/541
542: デフォルトの名無しさん [sage] 2011/11/14(月) 21:18:39.79 >>538 単純に楽しいから・・・かな なぜか組み込み関数と同じもの自分で定義したり、＋演算子と同じ機能定義しようとして数学の世界に片っぽ足を突っ込んで「おお！！これ、数学スレやLispスレで見たぞ！！大学数学を高卒なのに解いてる!!」とか、そんなことに興奮してるけど… http://echo.5ch.net/test/read.cgi/tech/1317958045/542
543: デフォルトの名無しさん [sage] 2011/11/14(月) 21:34:31.55 証明するより、プログラムのが楽しいというのもあるし、、、 http://echo.5ch.net/test/read.cgi/tech/1317958045/543
544: デフォルトの名無しさん [sage] 2011/11/14(月) 21:40:08.83 >>543 証明するつもりなかったんだけどね… 単に＋演算子と同じもの作りたかっただけだったのに、自然数から定義しなおす羽目になって、それがHaskellで動くもんだから、興奮しちゃうという… http://echo.5ch.net/test/read.cgi/tech/1317958045/544
545: デフォルトの名無しさん [sage] 2011/11/14(月) 22:04:22.81 Yampa を調べているのですが、意味が分からない部分があります dpSwitch 関数が第1引数として適用する関数 forall sf . (a -> col sf -> col (b, sf)) これの sf はこの関数においてどのような役割を果たすのでしょうか http://echo.5ch.net/test/read.cgi/tech/1317958045/545
546: デフォルトの名無しさん [sage] 2011/11/14(月) 22:09:25.28 出番だ、>544 http://echo.5ch.net/test/read.cgi/tech/1317958045/546
547: 545 [sage] 2011/11/14(月) 22:23:14.00 >>545 質問がやや曖昧でした > これの sf はこの関数においてどのような役割を果たすのでしょうか これの sf は dpSwitch 関数おいてどのような役割を果たすのでしょうか http://echo.5ch.net/test/read.cgi/tech/1317958045/547
548: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:51:01.97 >>542 楽しいとか病気かよ 数学やればいいじゃん なんか モナドとか国論とかまじ意味不明 >>540 の言うとおり、花につくんですが http://echo.5ch.net/test/read.cgi/tech/1317958045/548
549: デフォルトの名無しさん [sage] 2011/11/14(月) 22:52:14.13 プリン吹いた http://echo.5ch.net/test/read.cgi/tech/1317958045/549
550: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:56:10.39 天才でも頭悪くもない ”普通”のやつがなんか 数学とか知的ぶったりしてて気持ち悪い 花につく 本当に気持ち悪いよ エジソンとか気取ってるのかな？ 知的遊戯好きアピール ”パズル、知恵の輪、囲碁、将棋、Haskell、数学” インテリジェンス気取りたいだけ http://echo.5ch.net/test/read.cgi/tech/1317958045/550
551: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:56:44.70 せいぜい、こういうのはMatzとかそういう頭のいい連中レベルになって語って まじ気持ち悪い 花につきます 以上 http://echo.5ch.net/test/read.cgi/tech/1317958045/551
552: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:58:13.53 >>539-544 窓ガラスぶち壊してくれてありがとう 汚れたスレになったから書き込みやすくなったよ またよろしく http://echo.5ch.net/test/read.cgi/tech/1317958045/552
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 426 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s