[過去ログ]
関数型プログラミング言語Haskell Part16 (978レス)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
510: デフォルトの名無しさん [sage] 2011/11/12(土) 23:01:33.64 >>508 どういうのをOOPと言ってるの? 何がどうできたらOOPと言っていいの? http://echo.5ch.net/test/read.cgi/tech/1317958045/510
511: デフォルトの名無しさん [sage] 2011/11/13(日) 00:47:50.77 どんな言語でもまともなプログラムを作ろうと思うったらOOPしない方が難しい http://echo.5ch.net/test/read.cgi/tech/1317958045/511
512: デフォルトの名無しさん [sage] 2011/11/13(日) 00:53:06.55 定義と思ってるものが各人違うから http://ja.m.wikipedia.org/wiki/%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E6%8C%87%E5%90%91%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0 - カプセル化 (振る舞いの隠蔽とデータ隠蔽) - インヘリタンス (継承) --クラスベースの言語 - ポリモフィズム (多態性、多相性) --型付きの言語 - ダイナミックバインディング (動的束縛) --インタープリタの言語 この機能 これらの機能のうち、オブジェクト指向の考え方で不可欠なのは「カプセル化」の機能だけである http://echo.5ch.net/test/read.cgi/tech/1317958045/512
513: デフォルトの名無しさん [sage] 2011/11/13(日) 00:58:52.92 隠蔽かあ。あんまり良い定義とも思えないな PythonとかOOPLでなくなってしまう なんでこう日本語版のWikipediaは(略 http://echo.5ch.net/test/read.cgi/tech/1317958045/513
514: デフォルトの名無しさん [sage] 2011/11/13(日) 01:03:23.86 そう思うのなら翻訳よろしく http://en.wikipedia.org/wiki/Object_Oriented_Programming http://echo.5ch.net/test/read.cgi/tech/1317958045/514
515: デフォルトの名無しさん [sage] 2011/11/13(日) 01:16:28.24 やさしいHaskell入門 型クラスと多重定義 http://www.sampou.org/haskell/tutorial-j/classes.html Haskell vs OOP http://d.hatena.ne.jp/kazu-yamamoto/touch/20080828/1219888005 OOP vs type class http://www.haskell.org/haskellwiki/OOP_vs_type_classes ↓こういう考えかたも、分かりやすいと思うんだけどな。 Clojureは、皆さんがオブジェクト指向から望む多くのものを提供 *して* います。 http://www.infoq.com/jp/news/2009/02/clojure-interview-halloway http://echo.5ch.net/test/read.cgi/tech/1317958045/515
516: デフォルトの名無しさん [sage] 2011/11/13(日) 01:18:40.31 > ダイナミックバインディング (動的束縛) --インタープリタの言語 この機能 これ dynamic dispatch のことだよね インタープリタの言語じゃなくてもあると思うんだけど http://echo.5ch.net/test/read.cgi/tech/1317958045/516
517: デフォルトの名無しさん [sage] 2011/11/13(日) 01:20:07.80 オブジェクト指向といえば、こんなのも有るよ。 Perl5's Moose ロールベース?のオブジェクト指向 http://perldoc.perlassociation.org/pod/Moose-Doc-JA/Moose/Manual.html http://echo.5ch.net/test/read.cgi/tech/1317958045/517
518: デフォルトの名無しさん [sage] 2011/11/13(日) 01:36:57.23 宣言的とのことなので、ロールじゃ無くてルールだった。 そういえば、動的型付け言語も動的ディスパッチする部分を型推論したり、 宣言する方向で高速化してるな。 http://echo.5ch.net/test/read.cgi/tech/1317958045/518
519: デフォルトの名無しさん [sage] 2011/11/13(日) 01:45:46.50 What is "Object-Oriented Programming?" [B. Stroustrup ECOOP '87] によれば (subtype) polymorphismとADTの組み合わせだと言ってる データ隠匿やデータ抽象だけならADTで可能だけど、これだけではOOPじゃない http://echo.5ch.net/test/read.cgi/tech/1317958045/519
520: デフォルトの名無しさん [sage] 2011/11/13(日) 02:46:52.16 それは二つに分岐した一方のオブジェクト指向ではないかい? http://echo.5ch.net/test/read.cgi/tech/1317958045/520
521: デフォルトの名無しさん [sage] 2011/11/13(日) 03:05:26.23 Haskellの型クラスとかインスタンスという用語は OOPの用語と重なっているからまぎらわしい もちろんHaskellの型クラスがOOPのクラスとは全く異なる概念であることは 調べればすぐに理解できることだけど、 いざHaskellのFPとOOPを対比させた説明を始めようとすると、 いちいち「Haskellのクラスは...」と「OOPのクラスは...」というように修飾が必要 http://echo.5ch.net/test/read.cgi/tech/1317958045/521
522: デフォルトの名無しさん [sage] 2011/11/13(日) 03:10:45.95 もう一つのオブジェクト指向のひとたちは、環境全体を考えるから分かりにくいね。 オブジェクト指向プログラミング:筋悪だったのか? http://www.infoq.com/jp/news/2010/07/objects-smalltalk-erlang http://echo.5ch.net/test/read.cgi/tech/1317958045/522
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
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 439 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s