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