[過去ログ]
関数型プログラミング言語Haskell Part16 (978レス)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
962: デフォルトの名無しさん [] 2012/01/02(月) 14:33:23.75 >>945 どんなもの達をもってきても、それらが「大体同じである」と見る視点はいくら でも作れるわけだが、ListとIOとMaybeは大体同じだというモナドの視点はそんな ナンセンスな視点ではないのだね? http://echo.5ch.net/test/read.cgi/tech/1317958045/962
963: デフォルトの名無しさん [sage] 2012/01/02(月) 15:05:16.12 >>962 > そんなナンセンスな視点ではないのだね? 「そんな」がどんなのを指しているのか曖昧だな もっとはっきりと言ってくれ 大体同じであるという視点はどのような集合に対しても適用できるけど、 「どう同じなのかが論理的に説明できる」ことと、 その視点が応用する上で「役に立つ」こと、 この2点が無いとせっかくの発見も後の時代まで残らない モナドはとりあえず今のところ残ってる http://echo.5ch.net/test/read.cgi/tech/1317958045/963
968: デフォルトの名無しさん [sage] 2012/01/02(月) 16:15:00.92 >>967 すまん、言わんとしていることがよく分からん 俺の発言の何に対する意見なんだ? 通じやすかったというのは世間にか? それともここ一連の会話の誰かにか? 前者なら最初から委員会の連中はリストはリストと言っている(モナドは後付け) 後者なら誰だよそんな事言ったの 俺は >>962 の ListとIOとMaybeは大体同じだというモナドの視点はナンセンスかどうか、に対して、 モナドはどう同じなのかが論理的に説明できており、かつ役に立つ視点である、 だからナンセンスではない、という自分の考えを謂わば逆説的に述べただけだよ http://echo.5ch.net/test/read.cgi/tech/1317958045/968
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s