関数型プログラミング言語Haskell Part17

1 名前：デフォルトの名無しさん mailto:sage [2012/01/02(月) 22:19:28.26 ] haskell.org ttp://www.haskell.org/ 日本語サイト ttp://www.sampou.org/cgi-bin/haskell.cgi ttp://www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/ Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/ Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/ Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/ Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/ Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/ Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/ Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/ Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/ Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/ 111 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 15:20:01.72 ] ttp://ja.wikibooks.org/wiki/Haskell/%E5%9C%8F%E8%AB%96 圏論知らないなりに↑の説明読んだんだけど、 >モナド は圏から同じ圏へいくつかの追加の構造を提供する特殊な関手 ってところにちょっと引っかかったので2点質問させてください。 1.例えばInt と Maybe Intは別の圏に存在する対象だと読みながら勝手に想像してたんだけど、 この説明からいくと同じ圏に属していると考えてOK？ あるいは、Dまでいかない、C'ぐらいの内部的な圏みたいな概念がもしかして存在する？ 2.Haskellにおいて圏から別の圏への変換にあたる操作って、具体的には何なんでしょう？ 112 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 16:06:41.22 ] 1.同じ圏の対象とも別の圏の対象とも考えることは可能。 そのリンク先ではHask圏という、Haskellの型が対象で関数の値が射とする圏を考えているので、 その文脈の限りではIntとMaybe Intは同じ圏の対象だと考えて良い。 2.Functor型クラスがHask圏からHask圏への変換(自己関手)を表現していると考えられる。 class Functor (f :: * -> *) where fmap :: (a -> b) -> (f a -> f b) この定義の内、f :: * -> *のところがHask圏の対象である型を、別の型に写像する関数を表現している。 また、fmap :: (a -> b) -> (f a -> f b)のところが射を写像する関数を表現している。 113 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 16:15:39.92 ] >>112 ありがとうございます、1については多分納得しました。 2は質問が悪かったです。 自己関手ではなく、明確に別の圏と考えられるものに変換しているような関手の具体例が Haskellにあれば教えて欲しかったのです。 114 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 16:31:14.92 ] 普通の型と[a]のようなリスト型が別の圏の対象であると解釈すれば Functor型クラスが別の圏に変換する関手だ、と考えることもできるよ。 何を圏と考えるかの問題。 115 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 16:36:15.59 ] >>114 書いてから、何を圏とするかで変わるよな、とは思ったのですが意図を汲み取って頂けて嬉しいです。 Hask圏で考えると、Haskellにおいて別の圏にあたる概念はなさそうですね(？)。 116 名前：デフォルトの名無しさん [2012/01/06(金) 16:45:49.97 ] >>107 それ俺も分からない。なぜ？ 117 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 16:48:49.32 ] Hask圏のサブセットを別の圏と考えたりして色々考えることはできそう。 118 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 20:58:56.44 ] ？一気にレベル上がったな >>115 よくわからんが、型を集合（Set圏の対象）と考える場合、HaskellのFunctorは 型から型（集合から集合）への対応で、Set圏で完結していると考えられるから 基本無理なんじゃない？ あるとしたら集合からなにか別の対象を構成して圏自体を構成するとか必要になるのじゃないかと思う。 119 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 21:59:44.43 ] 　東京にある6つのキー局の内、製作から財務まで一貫して朝鮮人が行ってるテレビ局が1つ 　中国共産党から毎年大量の反日工作費が流れているテレビ局が2つ 　もろに北朝鮮と繋がっているテレビ局が1つ　　 年寄はまだまだテレビという外国人に騙され続ける 120 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 22:17:19.97 ] >>116 >>110 121 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 22:37:50.72 ] 説明してくれ。 122 名前：デフォルトの名無しさん [2012/01/07(土) 01:57:09.16 ] まだやってんのか？ 123 名前：デフォルトの名無しさん [2012/01/07(土) 13:33:31.17 ] >122 Let's join us! 124 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 14:49:07.40 ] >>59 [1] flip(>>=) f . return == f [2] flip(>>=) return . f == f [3] flip(>>=) g . flip(>>=) f == flip(>>=) (flip(>>=) g . f) この定義から分かることは f と g と return には flip(>>=) を適用できること flip(>>=) f の戻り値の型は f の戻り値の型と同じ (引数の型だけ変わる) ということ つまり、戻り値の型は変えられないが引数の型は変えられるようなものを表現したいんだと思う 125 名前：デフォルトの名無しさん [2012/01/07(土) 15:59:51.70 ] >>124 うん。勿論[1]-[3]は、>>=やfなどの型についてのそういう制約を前提にして いるが、[1]-[3]はそれ以上の条件を表現しているよね。 126 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 16:31:12.63 ] >>125 == が成立する条件が難しいと思う f==g なら f の型と g の型は等しいとは思うが、それ以上は難しい 127 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 23:46:02.70 ] == を「型が等しい」と解釈するならモナド則は自明 別の意味があるなら == を定義するべき 128 名前：デフォルトの名無しさん [2012/01/08(日) 09:04:29.08 ] >>107 >>110 hom(X,Y) = hom(FX,FY) 129 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 10:07:40.92 ] それはほむ関手と普通の関手Fの合成関手 130 名前：デフォルトの名無しさん [2012/01/08(日) 10:39:44.40 ] Y:=(1/F)W 131 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 11:54:54.22 ] 式だけ書いておけば後は汲みとれるはずだというやつは本当に大嫌いだ。 まさしくクソメン。 132 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:05:09.42 ] >>131 だからさ、詳しく説明して欲しいのなら素直にそう言えって何度言ったら・・・ 説明を求めていないのなら無視しろよ 133 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:08:42.39 ] ほむの中でFが増殖する気持ち悪い関手 134 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:10:29.13 ] 違うね。これはそういう問題じゃない。 それに無視して暗に黙認を形成することは少なくとも俺には絶対にできない。 そういう表明だ。 135 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:16:57.29 ] そもそもスレチだ。 136 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:17:54.40 ] >>134 黙認しないのなら、しっかり質問しろ お前は「嫌いだ」としかまだ言っていない 嫌いだと表明するだけでは残念ながら何も起きないぞ 式だけ書いておけば・・・と言っておきながら、 その式について何も訊いていないだろ >>130 にとっては、お前がこの式の何が分からないのかが分からない状態だと思うが 137 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:21:07.73 ] もう構うなよ… この人は自分で調べないから絶対に具体的な質問出来ない人だよ 138 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:24:51.53 ] >>136 何か起こす？そんなの期待してるから何も出来ないんだよ。 そもそも圏論はスレ違いだ。 139 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:32:03.12 ] 別に説明して欲しい訳じゃなくて、>>130のやりかたがコミュニケーションとして酷いといってるんじゃないの 140 名前：デフォルトの名無しさん [2012/01/08(日) 12:34:44.10 ] けんかはやめてくれ。みんな俺が悪いんだから。 141 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 12:49:17.63 ] わかればいいが、普段からそんな話の展開をしてるなら改めたほうがいい。 142 名前：デフォルトの名無しさん [2012/01/08(日) 13:05:02.48 ] >>141 不粋だな 143 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 13:07:29.45 ] template haskellの機能を使ってモジュール内で定義されてる関数の名前全部取得するような事ができるみたいなんだよ これをどうやって実現してるかというと、どうやら展開時に自分自身が記述されてるファイルをIO使って読み込んで解析してるらしい よく聞くコンパイルタイムIOという空恐ろしいものはこうやって使うのかといういい実例だと思ったね 144 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 13:15:03.18 ] >>143 template haskell って地味に良い拡張機能だよな HaskellDB で使って実感したわ 対応した IDE ができるともっと良いが 145 名前：デフォルトの名無しさん [2012/01/08(日) 13:20:27.44 ] まともなＩＤＥがない時点でＣ以下 146 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 14:15:39.33 ] IDE で C と比べたって意味無いよ IDE で言語選ぶわけじゃないし 147 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 14:16:43.08 ] ghc-modじゃ不足でしょうか、、、 148 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 14:55:26.81 ] 文句あるなら造れ そして英雄となれ 149 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 14:56:05.77 ] IDEで言語選ばないの？ あなたはIDEで言語を選ばないの？ 多くの人はIDEで言語を選ばないの？ すべての人はIDEで言語を選ばないの？ 150 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:02:26.58 ] ドカタが仕事にありつける言語にはIDEがある、が正解 151 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:03:00.33 ] 量化を取り除くと自己言及の誤謬に陥るのでNG 152 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:15:52.21 ] >>147 ghc-mod って、template haskell に対応してたっけ たとえば、Template haskell のチュートリアルに ------------------------------- module TupleReplicate where import Language.Haskell.TH tupleReplicate :: Int -> Q Exp tupleReplicate n = do id <- newName "x" return $ LamE (VarP id) (TupE $ replicate n $ VarE id) ------------------------------- という例がある $(tupleReplicate 2) が a -> (a, a) という型の関数 $(tupleReplicate 3) が a -> (a, a, a) という型の関数 と ghc-mod は教えてくれる？ 言っておくが、ghc-mod がクソとか役に立たんと言ってるわけではない 153 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:19:15.80 ] >>152 やったことないです、、、 @kazu_yamamotoさんに聞いてみルトいいかも 154 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:25:29.61 ] IDE有る無しで開発効率に影響するのなら、 もちろん言語選択時に考慮するだろ 155 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:27:02.91 ] 統合開発環境の「統合」って、最近流行った「絆」と同じセンスだよね 156 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:36:00.48 ] C#とかは言語設計段階からIDEと相性良くなるように考えられてると感じる 157 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:40:42.17 ] >>152 foo = $(tupleReplicate 2)と展開した上で名前に束縛すればfooについて当然型名がかえって来るけど 確かhaskellのインタプリタ(not ghci)が走ってるプロセスを持ってて バッファの内容を食わせた上で指定した文字列でそいつに問い合わせてるから、 トップレベルで名前を持ってない定義だと上手く参照してくれないんじゃないかと思う 158 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 15:59:20.60 ] 勝って兜の緒を締めよ開発環境 159 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 17:11:37.66 ] >>118 > よくわからんが、型を集合（Set圏の対象）と考える場合、HaskellのFunctorは > 型から型（集合から集合）への対応で、Set圏で完結していると考えられるから > 基本無理なんじゃない？ 結局は、解釈、モデル化の仕方の問題だけど、 関数以外のArrowクラスのインスタンスを射として考えるならば、 それはHask圏=Set圏の射ではないから、 Hask圏の部分圏と考えることはできない圏を考えていることになる 160 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 19:13:49.14 ] 震災前 　　　　　/::::::::::::::::::::::::::::::;;::ﾉ　ヽ;::＼ 　　　　/::::::::;;;;;;;;;,,,;;...-‐''"~ 　　 ヽ:;::l 　 　　 |:::::::::::|　　　　岡田　異音　　　 |ﾐ| 　　　　 |:::::::/　　　　 ,,,　 ヽ,、　 　'|ﾐ| 　 　　　 　'|:::::::l 　　 '''""　　　ﾞﾞﾞﾞ` 　 |ﾐ| 　　 　 　 |:::::|.　　,,r ‐､　　 ,, - 、 　|/ 　　　　　,/⌒|　 ﾉ　・ _),　(.　･　｀つ| 　　　　　| （　　　"''''" 　　 |"'''''"　　|　 　　　　　 ヽ,,.　　　　　　　　ヽ　　　 ｜ 　　　　　　　|　　　　　　 ^-^_,, -､ 　 |　 　 　　 　　 　　 |　　 　_,, --‐''~ 　　 ）　|　　マニフェストもう守れない。どうしよう････　 　　　　 　 　 'ヽ 　（　　　,r''''''‐-‐′ /　 震災後 　　　　　|:::::::::/　　　　　　　　　　　　|ﾐ| 　　　　　|::::::::|　　　,,,,,　　　　,,,,,　　 |ﾐ| 　　　　　|彡|.　　'''"""'' 　　''"""''　|/ 　　　　　/⌒|　　-=・=‐,　　 =・=- 　| 　　　　　| （　　　　"''''"　　 | "''''"　 | 　 　　　　　.ヽ,,　　　　　　　　 ヽ　　　 .| 　ｷﾘｯ 　　　　　　　 |　　　　　　 ^-^　　　　| 　　　. 　　　　|　 　　　‐-=＝=-　　 | 　　大震災が起こったのだからマニフェストの破綻も致し方ありません 　　　　　 　　 ,＼. 　　　"'''''''"　　　/　 朝鮮民主党 　　　　　おわり 161 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 20:15:30.30 ] すっごい初心者ですまないんだけど x=10 x=11 これってHaskellでどう書くの？ 162 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 20:19:11.15 ] 書けない 163 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 20:36:13.49 ] >>161 関数型は変数の意味が違うよ。適当な教科書を読んでみましょう 164 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 20:41:21.78 ] こう書くんだよ main = do let x = 10 let x = 11 print x 165 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 21:27:31.04 ] >>164 サンクス 166 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 23:34:33.20 ] >>164をこう↓できると思ったんだけど無理だった、何故？ main =  let x = 10 >>  let x = 11 >>  print x 167 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 00:08:36.44 ] >>166 do let ＊＊＊ ＃＃＃ これは、プリプロセッサで次のように変換される let ＊＊＊ in do ＃＃＃ これを踏まえて考えれば・・・ 168 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 07:53:20.13 ] 2-3 Finger Tree を閃いた奴、発想が良いな 169 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 09:41:18.37 ] 民主党には朝鮮人など外国人のなりすまし、スパイが約90名在籍している 野田内閣は過半数が帰化人 野田はどうだろうか 韓国人から賄賂を貰い、韓国人の集いに出席している野田は 170 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 15:47:47.65 ] >>158 東郷開発環境ｗｗｗｗｗｗｗ って誰か言ってくれると思ったのに。。。 171 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 19:42:08.90 ] 申し訳ありませんでした 東郷開発環境ｗｗｗｗｗｗｗ 172 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 20:31:46.91 ] G13型トラクターか... 173 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 03:08:02.86 ] 東郷開発環境ｗｗｗｗｗｗｗ 174 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 18:47:00.09 ] 論理的な発想ができない連中がなぜHaskellのスレッドにいるのか不思議。 175 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 18:55:22.75 ] 論理的思考と等式推論を使えることに相関は無い 176 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 19:22:23.15 ] >>167 こうか main =  let x = 10  in let x = 13     in print x つーかこの式って(>>)か(>>=)を使って表現出来ないの？ 副作用にはモナドを使うんじゃないの？　わかんないです＞＜ 177 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 19:25:03.27 ] >>175 勝手に変な方向に誘導するなよ >>174 は論理的な思考ではなく「発想」と言っている 発想、つまり ヒラメキ☆ だ 178 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 19:25:13.02 ] letはλ抽象でモナドを使った式は関数適用 ラムダ計算の項としてみたら全く別物 179 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 19:32:06.33 ] >>176 そう 最後の print 関数が副作用を持っている だから「この」 main関数の型は IO () だ 君はちゃんと副作用にはモナドを使っているんだよ なにが分からん？ > つーかこの式って(>>)か(>>=)を使って表現出来ないの？ もしかして、こういうこと？ main = return 10 >> return 13 >>= print 180 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 22:20:24.86 ] 800 自分：名無し募集中。。。[] 投稿日：2012/01/08(日) 22:00:50.04 0 AKBブーム捏造の裏 サウンドスキャンの売り上げでさえほとんどが業者の自社買い他社買いで 資金洗浄した金額がオリコンの枚数×CDの価格って感じかね livedoor.blogimg.jp/dqnplus/imgs/f/f/fff69a26.jpg 181 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 23:18:15.23 ] >>176 同じことをC言語で書くとこんな感じ void main() { 　const int x = 10; { 　　const int x = 13; { 　　　printf("%d", x); }}} 副作用があるのは最後のprintfだけ。 途中のx=13は代入ではなくてたまたま名前が同じ新しい定数の定義。 182 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 23:52:21.03 ] Haskellでオブジェクト指向ってどうやるの？ 183 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 07:42:44.45 ] オブジェクト指向のどの部分を真似したいかによる (オブジェクト指向を直接的に支援する機構はない) 184 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 10:52:41.77 ] HaskellでCを真似しながらCでオブジェクト指向を真似する 間接的ヒラメキ 185 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 11:51:38.40 ] HaskellでOOPをやる方法 www.haskell.org/haskellwiki/OOP_vs_type_classes 186 名前：デフォルトの名無しさん [2012/01/12(木) 16:10:46.59 ] 2chやニコニコ動画に民主党から反日工作費が流れていることが知られるようになってきた。 民主党が用意した資金で工作員が2chを荒らしていることもだんだんと知られるようになってきた 187 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 21:48:47.06 ] パッケージを cabal install する時に、 ghc にオプションを渡す方法ってありますか？ 例えば -XFlexibleInstances とか 188 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 21:53:26.27 ] cabal install --ghc-options=-XFlexibleInstances 189 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 22:08:16.42 ] >>188 もしかして、cabal install --help で表示それるオプション リストの --with-PROG=PATH や --PROG-options=OPTS などの PROG って、 ここに ghc や c2hs などのコマンド名を入れろって事か どおりで --with-PROG=ghc なんてゃってもエラーが出るわけだ やっと最後に表示されてる The flags --with-PROG and --PROG-option(s) can be used with the following programs: の意味が分かったよ ありがと 190 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 12:53:13.89 ] 型変数を伴うシグネチャを持つ関数を、 ある型で特殊化することはできるのでしょうか たとえば元々 f :: [a] -> a という関数があったとして、 a が Int 型の時は別の計算をさせたいから f :: [Int] -> Int という型の「同名の」関数も欲しい場合です 下記のように型クラスを作るしか方法はないでしょうか そうすると、Int 型以外の型にも全て インスタンスを宣言しないといけないので大変です class F a where f :: [a] -> a f = 汎用的な計算 instance F Int where f = 特殊な計算 instance F Bool instance F Char ・・・ 191 名前：デフォルトの名無しさん [2012/01/13(金) 13:59:50.39 ] OverlappingInstances拡張を使って、instance F a 192 名前：質問です mailto:質問です [2012/01/13(金) 18:40:35.10 ] モナドのデータ m a と 関数 f :: a -> m b を使って、 モナドのデータ m b を作り出すことがなんで『合成』なの？ 193 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 18:47:24.24 ] どこでそんな表現が使われてた 194 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 18:53:11.74 ] 複数の小さいデータを組み合わせて大きいデータを作るなら合成でいいんじゃね 195 名前：質問です mailto:sage [2012/01/13(金) 19:01:34.54 ] >>193　ここです tnomura9.exblog.jp/15241458/ >>= 演算子はMaybe型関数とMaybe型関数を 合成する演算子になる、とありました 196 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 19:21:57.88 ] >>=は自然変換joinで自己関手を写像したものだから Maybe圏からMaybe圏への関手だ、ぐらいの表現で良いのでは 合成と言うのは違う気がする 197 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 19:32:17.88 ] >>191 OverlappingInstances拡張がどのようなものか見てきました www.haskell.org/haskellwiki/GHC/AdvancedOverlap なかなか難しいですね、がんばって解読してみます ありがとうございました 198 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 21:08:33.18 ] 2つのモナドm1，m2の合成の自然な定義はあるのでしょうか？ 直積？ 199 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 23:01:33.65 ] さいなら。 200 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 23:59:10.31 ] 野田改造内閣に早速疑惑浮上 @aritayoshifu 有田芳生 捜査当局が内偵を続けている農水疑惑。詳細な怪文書まで出回っている。３億円の 行方はどこに？ @minorucchu ジャーナリスト　田中稔 野田改造内閣を揺るがす、農水省３億円スキャンダルの怪文書。二人の議員名が浮上。 34分前 webから https://twitter.com/#!/minorucchu/status/157687110562881537 鹿野と筒井らしい 自公は問責も視野に調査開始だって 201 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 09:49:15.55 ] あれだけ他パラダイムをdisりまくったその口で ハスケルはメタパラダイム言語だとか ふざけんなってのｗ 202 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 09:54:29.57 ] メタパラダイム言語って言葉の意味が分からないからなんとも言えない 203 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 10:24:18.99 ] メタって便利な言葉だよな 204 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 10:50:14.56 ] 「そろそろパラダイムについて一言言っておくか」ってことだろ バスに乗り遅れた奴が使う言葉 205 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 10:54:46.75 ] マルチパラダイムと言いたかったのではないかと推測してみる 206 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 11:02:45.90 ] CでOOPができるしJavaでFPができるだろ HaskellでOOPもできるんだよ ただしそのパラダイムの為に設計された言語ではないので 可読性落ちたりするから推奨されないというだけの話 207 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 11:04:31.60 ] ぷでゆきさんは１年ぐらい前にマルチパラダイムは幻想とか言ってからそれはないだろうな 208 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 12:09:55.38 ] 人のいうことを鵜呑みにしていいのかい？ 209 名前：デフォルトの名無しさん [2012/01/14(土) 16:46:37.25 ] 反日ネット工作員 朝日新聞社→社員約300人 民主党とその取り巻きの資金が入った反日工作会社→数社約450人 朝日新聞の社員は捕まった49歳の編集者を含め新聞記事を書く合間に2chを荒らしている程度とみられているが 民主党が用意した反日工作会社はほぼ24時間体制で工作を行っている 工作範囲は民主党が予め工作費を流している2ch、ニコニコ動画を中心にyoutube、個人のブログなどである。 210 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 20:55:07.12 ] 政治的なアナザー・ワールドの人がHaskellerってありえないよね？ 211 名前：デフォルトの名無しさん mailto:sage [2012/01/14(土) 20:59:45.86 ] あの人、言うことコロコロかわるから。 OOは複雑すぎてわからないと言ってみたかと思ったら OOはしょせんこの程度のモデルに過ぎないからと言ってみたり 全く参照透明ではないｗ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef