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

1 名前：デフォルトの名無しさん [2012/03/16(金) 21:54:23.92 ] 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/ Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/ 231 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 16:57:45.72 ] (>>=)って左結合なのにどうして左の方で束縛した値が右の方で使えるの？ 　　　　　＿＿ ((((((((((束縛)　　)　　)　　)参照)　　)　　)　　)　　)　　) スコープ的にどうなってんの？ 右結合だったら自然に見える事は理解できるんだが 　　　　　 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ (　　(　　(束縛(　　(　　(　　(　　(　　(参照(´・ω・｀)))))))))) 232 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 17:10:59.47 ] >>231 モナド則でこうなってるから (m >>= f) >>= g == m >>= (\x -> f x >>= g) 233 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 17:21:25.38 ] >>231 (>>=)は左結合だけどdoは右結合だから問題ない 明示的に(>>=)とラムダを使う場合でも、 a >>= \x -> b >>= \y -> c なら、 a >>= (\x -> b >>= (\y -> c)) のことだから、やはり問題ない(ラムダ式は可能な限り右まで続く) >>232 モナド則は関係ない 234 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 18:17:44.38 ] >>233 ……infixl 1と宣言しておきながら、事実上は右結合なんですか？ 右結合って短絡可能なんですよね？ Maybeモナドでは 左にNothingなら問答無用でNothing ってなってるけど 処理が右結合で、途中Nothingに出逢ったら Real World Haskellではそのまま最後までNothing伝播処理が続くって書いてあった でも僕の考える限りでは、右結合では右側が判明するまでの必要最低限の努力をするのが遅延評価だから 途中でNothingに出逢った瞬間からスタック巻き戻しのようになると思うのですが…… ／＼ 　／＼ 　　／＼ 　　N ／＼ 　　　　／＼ 　　　　　　： 　　　　　　／＼ 　　　　　　　／＼ ／＼ 　／＼ 　　　N ／＼ 　　N Nothing 235 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 19:24:55.15 ] >>234 構文の話と意味の話をごっちゃにしてないか 左結合(infixl)というのは、あくまで a >>= b >>= c というふうに使ったときに (a >>= b) >>= c と解釈される、というだけの意味。それ以外の使い方をした場合には関係ない 後半はその通りで、(Nothing>>=f)はfを呼ばないから、たとえばdoの中でNothing が出て来たらそれ以降は評価すらしない そのNothingが別のdo(呼び出し元の関数とか)に渡ったときには Nothingの伝播処理が挟まる 236 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 21:27:11.79 ] >>235 質問�@ 　Maybe 上で (>>=) あるいは (>>) を使ってたくさんの計算を連鎖するとき、 その計算のどれかが Nothing を返したら、残りの計算は一切評価されません。 　しかしこの連鎖は完全には短絡されていないことに注目しましょう。 連鎖中のそれぞれの (>>=) や (>>) は左の Nothing にマッチすると右に Nothing を生成し、 最後までそうしていきます。この点は忘れやすいものです。 連鎖中の計算が失敗したとき、それに続くNothing 値の生成、連鎖、消費は実行時に安価ではありますが、タダというわけではありません。 348 P にこう書いてありますが、私にはこの文脈が左結合を示唆しているかのように見受けられます。つまりは、 　　／＼ 　／＼ ／＼ N 　／＼ ／＼ N ／＼ N Nothing こう主張しているように思えるのです。短絡は起きていないように思えます。 ここで私のいう短絡とは、関数処理のスキップのみならず木構造の一発切除をも意味します Nothingに出逢った瞬間全てを忘れて即Nothingです これは無理なのでしょうか？ 237 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 21:31:47.75 ] >>235 質問�A 余談ですが考えてもみれば、左結合は(関数処理は省けても)そのまま最後まで構造が進むしか無いようで、 一方で右結合は構造も短絡できるかのように見えますが、 構造の最後の方でNothingが発生するか、結局最後まで発生しなかった場合を想像すると、 スタック巻き戻しを考慮に入れると、行って戻ることになり、 最後まで構造をなぞるどころかその２倍弱の手間になるかも知れませんね。 より最初の方でNothingが出る期待が高い時は右結合 そうでない時は安定的な左結合が適切なんでしょうか？ Data.List.and と or は右結合で定義されていますが これは何を意識してのことでしょうか？ and/orの最後の方でFalse/Trueがでるか、あるいは最後まで出ない時、 (これは直感ですが)リストの半分を越えてから結論出せる状況になったら、 正格左結合よりも酷いパフォーマンスになるのではないでしょうか？ スタックを巻き戻すだけというのが、パターンマッチングで値を返す処理に比べて、 凄く速いのならそんな事は無いといえるのでしょうが。 238 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 22:32:05.06 ] 木構造だとか関数処理とか怪しい概念は窓から放り投げて定義の展開と代入、簡約で考えよう その辺はRWHよかIntroduction to Functional Programming using Haskellの方が詳しいｙｐ andやorが右結合なのは無限リスト食わせるとわかる foldlで定義したら食わせるリストの頭に零因子であるものがあってもスタック食いつぶす Maybeに関しての短絡はNothing >> forever (Just 1)とかするとわかる これが木構造とやらを切除しないとなるとサイズが無限である木がメモリ上に存在してスタックオーバーフロー起こす事になる 239 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 23:59:04.07 ] 初心者に信用されてないんだなあHaskell 240 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 03:31:17.36 ] 手持ちの情報だけで突っ走ってしまう人がいるのはHaskellに限った話ではない 241 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 09:20:17.79 ] >>239 「信用」の意味がよく分らないです Haskell は初心者から、本来あるべきどのような信用がないのでしょうか 242 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 09:55:23.07 ] >>214 くっそこんなので笑わされるとは 243 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 10:03:34.53 ] 鳩丸 244 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 11:13:59.36 ] 暗黙の型変換の仕組みは Haskell では作れないのでしょうか（GHC の拡張機能なとで） 例えばリテラルからの暗黙の型変換は一部ありますよね Num.fromInteger 関数とか IsString.fromString 関数を定義しておけば、 リテラル整数や文字列を適切な型にコンパイラが自動的に変換してくれる （後者は GHC の拡張機能ですが） これの延長で、例えば OpenGL を使っていて、 GLdouble 型を引数に取る関数を Double 型に適用しようとした時、 何か特別な定義をしておけば、realToFrac 関数を使わずとも、 コンパイラが自動的に変換してくれるとか このような例だけでなく、一般的に fromIntegral 関数とか realToFrac 関数って、 けっこう目障りなんですよね これらって、型推論出来るようにコードを書かなければならないという、 どちらかと言うと言語仕様よりの概念じゃないですか そのわりに、realToFrac 関数だけでは、ぱっと見、何から何への変換か分らない 一方で、これらの関数が使われているコードは、 何を計算するのかという、もっと抽象度の高い概念をコード化しているわけで 抽象度の高いコードの中に、抽象度の低い「おまじない」の様なコードが けっこう大きな石ころのように混ざっている状況が、なんとも違和感を覚える どうにかならないものでしょうか 245 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 11:26:54.17 ] >>241 うーん、言語の設計者より自分の方が頭いいかもしんない、と思われちゃってるところ。 246 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 11:45:17.37 ] どうでもいいレスに反応して戦線を拡大したがるあたり 抽象度とか言いつつ全体が見えていない 247 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 11:57:23.83 ] >>238 有難うございました(´；ω；) 248 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 14:53:15.43 ] GHCiで入力に関して、重複する履歴は考慮しないようにするにはどうしますか？ 上を押しても同じ履歴だった場合、動いてないように見えてストレスとなります 249 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 15:06:17.22 ] >>248 残念ながら現状ではどうにもならない なにかストレスを発散する方法を考えてくれ 250 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 15:30:36.77 ] サンクスエニウェイ 251 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 18:34:46.96 ] haskelineを直してパッチ送ればいいんじゃね 252 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 18:36:44.31 ] むしろこのスレの初心者の扱いの酷さに引いた 253 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 18:38:36.11 ] 定番の頭の悪い攻撃ですな 254 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 23:24:32.16 ] 初心者質問スレはまだ不要？ 255 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 23:33:00.05 ] 今まで初心者らしい素朴な質問を見たことがない ・どうやってボタン表示するんですか ・ループが出来ません ・変数変えれないんですけど そんな質問しねーよ、って人ならもう初心者じゃない 具体的に「Haskellでやりたいこと」を見つけて取り組んでくれ 分かんないことがあったらピンポイントで質問してこい あたしらが優しく相手してやる 256 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 00:09:38.80 ] HappyのGLR機能が保守放棄されている（現行のghcで動かない。バグもあるらしい）のですが、 今生きているHaskellのGLRパーサはありませんか？ 257 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 03:16:34.46 ] >>255 お、お前……女だったのか……。 258 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 03:22:27.79 ] Haskellでメタプログラミングしたいんですけど， 具体的には今あるコード資産に対してコード変換して，機能拡張したい， そのための便利な仕組みない 259 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 04:32:54.50 ] >>252 いんや？ 自分が初心者の頃、親切に教えてもらったぞ？ プログラミングHaskellで最初に詰まって、散々悩んだreplicateのリスト内包表記版を作れって問題とか 初心者でも、replicateの再起版はすぐに思いついたんだが、この頃は本当に頭が固かったな・・・ （ヒントがlengthのリスト内包表記版の応用って書かれてても、全然思い浮かばんかった) 回答してもらって、ああ、なるほど、lengthのリスト内包表記版の応用だ。ってやっと納得できたっけ そもそもHaskellはRubyとかと違って、組込み関数も自分で簡単に作れるってのが初心者の頃の自分には言語の理解の助けになった 普段自分の使ってる関数の動きを自分で同じ関数作って確認しながら覚えられるから、あんまり基本的過ぎる質問ってする必要が無かったし、 >>255同様、初心者らしい質問って、そもそもHaskell（または関数型言語)ってどんな言語？とか以外じゃ見ない（それも最初のスレだけだったような・・・） 当時の自分の質問が一番初心者らしい質問だったと思う 260 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 06:00:09.93 ] [(x,y) | x <- [1..], y <- [1..], 3^x - 2^y == 1] 深さ優先探索なので，(1,1)の後は事実上フリーズします これを深さも幅も均衡して広げて探索していくにはどうしますか？ 261 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 06:38:12.34 ] >>260 [(x,y) | x <- [1..], y <- [1..x], 3^x - 2^y == 1 ||  3^y - 2^x == 1] 262 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 08:47:38.24 ] >>259 昔のことは知ってるよ。Part3くらいから居る >>231を馬鹿にする流れを見て、正気か？と思っただけ 263 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 09:44:02.40 ] 馬鹿にしてるってどの辺が？ 264 名前：デフォルトの名無しさん mailto:sage [2012/05/01(火) 15:45:08.13 ] >>261 面白いハックです ありがとうございました 265 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 16:26:57.40 ] 無限モナドリストを受けて 条件を満たす最初の要素を束縛するにはどうしますか？ 266 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 17:20:16.04 ] モナドリストって何？ [a] ? Monad m => m [a] ? Monad m => [m a] ? 基本はData.List.find (:: (a -> Bool) -> [a] -> Maybe a)と同じで、型に合わせてliftMしたりすればいいと思うよ。 ただ無限リストなので、条件を満たす要素がなかったら計算が終わらない。 これはしょうがない。 267 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 21:56:17.29 ] >>266 後者です findでやってみようと思ったんですが 術語が Int -> IO Bool なんです filterM みたいに findM があればいいと思いますが filterMしてheadって不格好です きっとスマートな解決法がある筈です 268 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 22:03:05.12 ] ああそれからモナドの性質上 無限のモナドのリストを渡すとフリーズしますよね 最初、遅延評価なのになんで正格評価みたいになってんだと首を傾げたのですが 考えてもみれば、順序を保証するんだからfilterMに無限のモナドのリストを渡すと そのリストの最後の評価が済むまで次の行けないですよね 困りました 269 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 22:20:28.35 ] >=> 地味に便利ワロタ 270 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 22:54:51.28 ] [IO a] じゃなくて IO [a] で [a] が無限リストなら どうもならん、諦めろ 271 名前：デフォルトの名無しさん mailto:sage [2012/05/02(水) 23:45:26.55 ] [IO a]で無限です 272 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 00:06:04.51 ] Data.Listでの実装は find p = listToMaybe . filter p だぞ。別に filterM して head も似たようなもんじゃないか？ [IO a]でもIO [a]でも無限リストで要素が無ければ止まらないのは 一緒だと思う。 273 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 00:27:44.81 ] >>272 はい(´・ω・｀) 274 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 00:29:59.11 ] filterM して head ってのはこれ？ これは要素があっても[IO a]が無限リストなら停止しないよ findM' :: Monad m => (c -> m Bool) -> [m c] -> m c findM' f = head <=< filterM (join . liftM f) 一方、こっちは要素があれば止まる（無ければ止まらない） findM :: Monad m => (a -> m Bool) -> [m a] -> m (Maybe a) findM f [] = return Nothing findM f (x:xs) = do   v <- x   t <- f v   if t then return $ Just v else findM f xs テストしてみれば分かる ms :: [IO Int] ms = map return [1..] main = do   --print =<< findM' (return . (> 10)) ms   print =<< findM (return . (> 10)) ms 275 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 05:20:09.91 ] ほんとですね 無限リストでfilterMは危険なのか。 276 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 06:33:35.38 ] >>274 ありがとうございました filterMに倣って findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a) 版を作って使ってみましたが、何だかソースが汚れた気がします Maybeを取扱う為に一々letやcaseを挿入しないとならなくなったせいでしょうね しょうがないでしょうが ところで何故標準ライブラリに採択されてないのでしょうか 277 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 06:38:59.61 ] >>276 無限リストに使うなら、停止するとき返り値は 必ずJust xなんだからfromJustで取り出せば？ 278 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 06:46:35.74 ] join . liftM :: (r -> r) -> r -> r これ何の使い道あるんですか？ 279 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 06:57:09.58 ] >>277 そうでした。。。 コードが汚くなったのは別の改変のせいでした 勘違いして findM 導入のせいにしてました 280 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 07:10:28.79 ] >>278 なんの意味もない liftM使って……て書き込み見たんでliftMから書き始めたからそうなった 今は反省している 281 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 07:26:28.96 ] Oh... 282 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 10:41:16.52 ] join . liftM p は p :: a -> m Bool を m a -> m b にするのに必要だけど、(>>= p) でも同じ。 283 名前：デフォルトの名無しさん mailto:sage [2012/05/03(木) 11:17:28.41 ] せっかくの話の流れをぶった切って申し訳ないですが、質問します。 正格性フラグの付いたデータ型のことですが、 data X = X !Int ・・・ let x = X a この場合、x の値が実際に必要になるかどうかに関わらず、 X a の a が評価されるという意味でしょうか。 もうひとつ、 data F = F !(Int -> Int) ・・・ let f = F g この場合、g が評価されたというのは、どういう状態を指すのでしょうか。 と言うのも、関数ではない値なら弱頭部正規形になるまで評価され、 それがどういった形なのか頭の中にイメージ出来るのですが、 関数の評価という意味がいまひとつイメージ出来ません。 もしかして、g w = if v then 関数1 else 関数2 などと場合分けされていた場合に、 f = F g の時点でこの v まで評価されて関数1か関数2かが決定されるということであり、 単に g w = 2+w などという関数であれば正格性フラグを付ける意味はない、 ということでしょうか。 284 名前：デフォルトの名無しさん mailto:sage [2012/05/04(金) 01:11:25.25 ] >>283 どちらの質問もその考え方であってる。 ただ、わかってるかもしれないけど、 ＞単に g w = 2+w などという関数であれば正格性フラグを付ける意味はない 束縛された値が正規形なのかとか、リテラルかどうかとか判断する術は一般にないから、 それらを基に正格性フラグ付けることに、意味がある、ないを判断することはできないし、意味もないよ。 重要なのは、値なりデータ構造なりがどこで構築されて、どこで正規化された値が必要になるのか？ 285 名前：デフォルトの名無しさん mailto:sage [2012/05/04(金) 01:24:42.23 ] Haskellの道は長く険しい 286 名前：デフォルトの名無しさん mailto:sage [2012/05/04(金) 05:16:54.30 ] なら、やめれば？ 言語は道具なんだから、習得に時間や労力が必要なら その言語は道具として劣っているんだよ。 287 名前：デフォルトの名無しさん mailto:sage [2012/05/04(金) 05:52:35.82 ] つまり習得に時間がかかる日本語や英語は猿のうなり声より劣っていると 288 名前：デフォルトの名無しさん mailto:sage [2012/05/04(金) 06:47:05.76 ] >>283 > この場合、x の値が実際に必要になるかどうかに関わらず、 > X a の a が評価されるという意味でしょうか。 いや、xの値が必要になるまでは評価されない。 > もしかして、g w = if v then 関数1 else 関数2 などと場合分けされていた場合に、 > f = F g の時点でこの v まで評価されて関数1か関数2かが決定されるということであり、 同上。 > 単に g w = 2+w などという関数であれば正格性フラグを付ける意味はない、 > ということでしょうか。 これはそのとおり。 289 名前：デフォルトの名無しさん mailto:sage [2012/05/05(土) 03:45:27.77 ] forM [1..9] print 1 2 : 9 [(),(),(),(),(),(),(),(),()] この最後のゴミを排除するには >> return () をバインドするのが正統ですか？ 290 名前：デフォルトの名無しさん mailto:sage [2012/05/05(土) 03:47:18.16 ] forM_ 291 名前：デフォルトの名無しさん mailto:sage [2012/05/05(土) 07:28:01.11 ] あざっす＾＾ 292 名前：デフォルトの名無しさん mailto:sage [2012/05/05(土) 13:36:55.17 ] >>286 C++を窓から放り投げるスレじゃないから 293 名前：デフォルトの名無しさん mailto:sage [2012/05/05(土) 22:21:06.18 ] もしかして、main の中で一行でも IO がつくコードを書いたら、それ以降は絶対に　IO は取れないのでしょうか？ 294 名前：283 mailto:sage [2012/05/05(土) 23:04:46.88 ] お二人とも、ありがとうございます。 ・・・結局、data X = X !Int の正規化フラグを付けるのと付けないのとで、 何が変わるのでしょうか？ data X = X !Int ・・・ let x = X a >>284 > どちらの質問もその考え方であってる。 >>288 > いや、xの値が必要になるまでは評価されない。 どちらが正解なんですか。 それとも、お二方も同じ事を言っているのでしょうか。 a の評価のタイミングはいつなんでしょう？ >>284 > 束縛された値が正規形なのかとか、リテラルかどうかとか判断する術は一般にないから、 > それらを基に正格性フラグ付けることに、意味がある、ないを判断することはできないし、意味もないよ。 たしかに。 いや、ライブラリのソースを読んでいて、正規化フラグ付きの関数を持ったデータ型があって、 どういう意図・狙いでフラグを付けたのかなと思いました。 295 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 02:26:01.72 ] >>293 main に限らず何かの関数の中で IO を使う関数を利用すれば、その関数の型の出力の部分には絶対に IO が付くという意味なら、 IO は取れない 例外は Debug もしかして、なにか方法あるのかな？ 296 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 06:18:40.65 ] >>294 trace付けて確認すればいいやん。 import Debug.Trace data X = X !Int data Y = Y Int main = do 　let x = X (trace "X" 1) 　let y = Y (trace "Y" 2) 　print 3 　print $ seq x 4 　print $ seq y 5 297 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 11:10:33.37 ] UnicodeSyntax きもいわー Scala でもこういうの流行ってるようだし 298 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 11:19:04.33 ] さぁその気持ちでAgdaのコードを読もうか 299 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 12:16:00.88 ] 新人が全角スペースを埋め込んでも怒られない時代 300 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 12:17:22.58 ] >>295 一応、標準ライブラリ内に System.IO.Unsafe.unsafePerformIO :: IO a -> a 関数がある が、これは Simon Marlow と Simon Peyton-Jones の２人以外使ってはいけない 301 名前：デフォルトの名無しさん mailto:sage [2012/05/06(日) 15:11:42.01 ] unsafePerformIO ……それは禁断の果実 302 名前：デフォルトの名無しさん mailto:sage [2012/05/08(火) 22:24:51.66 ] 尼のレビュー見てる限りだと、日本語で出てる入門書では Graham Hutton著・山本和彦訳の「プログラミングHaskell」がいいっぽいけど、実際どうなの? 303 名前：デフォルトの名無しさん mailto:sage [2012/05/08(火) 22:27:58.33 ] 実際そう 対抗馬になりそうなのが今月出る「すごいHaskellたのしく学ぼう」 304 名前：デフォルトの名無しさん mailto:sage [2012/05/08(火) 22:32:20.78 ] ゆっくり勉強する時間があるなら、いきなりRWHでいいと思う 305 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 00:22:24.17 ] プログラミングHaskellは8章以降が魔窟 306 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 00:38:56.55 ] 魔窟ってほどではないけどあそこから難易度がすこーんと上がるのは確か ゾウさん本にはその辺期待してる 307 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 00:52:04.11 ] じっくりやるならAlgebra of ProgrammingとかPurely Functional Data Structureみたいな応用の効く(範囲が広すぎて実はあまり役に立たない)内容をですね 308 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 01:06:20.12 ] ゾウ本だとHadoopと紛らわしいから愛称が欲しいな 寿司本？ 309 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 01:12:32.86 ] スゴイ級 310 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 01:19:18.62 ] スシボンって書くとセシボンみたいで原題と繋がっていい感じだな いやなんとなく 311 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 01:22:38.35 ] 難しいことを簡単に書くのは無理。 312 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 03:25:04.44 ] すごハスは11章からが面白い 313 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 07:14:00.90 ] すごハスって、基本的にネットで無料で読める原著と内容はほぼ同じ？ それとも、大幅に加筆されてる？ 314 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 08:22:56.77 ] Real World Haskell P.209に、 fnmatch :: (RegexLike Regex source1) => String -> source1 -> Bool というのがあります。 ここの(RegexLike Regex source1)というクラス制約にある、A B a という形は どのようなクラス宣言をすれば、このような形になるのでしょうか？ 315 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 11:56:14.66 ] ソース読んでみそ。 ttp://hackage.haskell.org/packages/archive/regex-base/latest/doc/html/src/Text-Regex-Base-RegexLike.html 多変数型クラスを宣言するにはMultiParamTypeClassesというLANGUAGEプラグマが必要。 ttp://www.kotha.net/ghcguide_ja/latest/type-class-extensions.html#idp24691328 また、多変数型クラスを含む型推論のために、多くの場合、関数従属または関連型が使われる。 ttp://www.kotha.net/ghcguide_ja/latest/type-class-extensions.html#functional-dependencies ttp://www.kotha.net/ghcguide_ja/latest/type-families.html#assoc-decl 316 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 11:57:01.10 ] ソース読んでみそ。 ttp://hackage.haskell.org/packages/archive/regex-base/latest/doc/html/src/Text-Regex-Base-RegexLike.html 多変数型クラスを宣言するにはMultiParamTypeClassesというLANGUAGEプラグマが必要。 ttp://www.kotha.net/ghcguide_ja/latest/type-class-extensions.html#idp24691328 また、多変数型クラスを含む型推論のために、多くの場合、関数従属または関連型が使われる。 ttp://www.kotha.net/ghcguide_ja/latest/type-class-extensions.html#functional-dependencies ttp://www.kotha.net/ghcguide_ja/latest/type-families.html#assoc-decl 317 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 11:59:11.96 ] しまった。ダブりすまん。 ついでに訂正しておくと、多変数型クラスより多引数型クラスのほうが訳語として一般的みたいだ。 318 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 12:45:02.58 ] >>315 �d 何故か、hackage.haskell.orgにつながらなくてソースは見られないのですが、 MultiParamTypeClassesというLANGUAGEプラグマをつければ、class宣言に複数の変数を 取ることができるんですね。 319 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 09:10:35.85 ] fact 0 = 1 fact n = n * fact (n - 1) ふと思ったのですが、もし(階乗を知らない人が)負数を突っ込んだら死にますよね。 階乗は例えがアレですけどこういうケースのように、パターンマッチで任意の条件分岐(n < 0とか)できますか？ 320 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 09:16:44.54 ] 直接パターンマッチではできない if-then-else式を使って、やりたいことはできる、と思う 321 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 09:17:54.53 ] あーあと、正しくない結果の時のエラーはundefinedという関数を呼ぶと、 エラーが起きる値が返るから、それを使えばいい 322 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 09:36:25.12 ] if-then-elseよかguardの方がよく見る 323 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 09:41:06.61 ] ありがとうございます。ガードの方が意味的に良さそうですね。 fact :: Int -> Int fact (n)   | (n < 0)  = undefined   | (n == 0) = 1   | (n >= 1) = n * fact (n - 1) 324 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 10:17:08.88 ] 見やすさではそんな感じかな。こだわる人だとこう書くかも fact n = 　case n `compare` 0 of 　　LT -> undefined 　　EQ -> 1 　　GT -> n * fact (n - 1) 325 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 10:46:13.79 ] なるほどcaseならパターンの網羅性もチェックできる訳ですね。 326 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 10:51:34.61 ] 自分の好みではこう。パターンマッチの上から順に、特殊ケース→一般とする。 fact n | n<0 = undefined fact 0 = 1 fact n = n * fact (n-1) 327 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 10:51:35.52 ] ドメインを広げ過ぎると、また停止性が保証できない問題は出てくるだろうけども。 328 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 11:11:11.43 ] tp://www.amazon.co.jp/gp/product/images/4274068854/ref=dp_image_z_0?ie=UTF8&n=465392&s=books どうしてこうなった…w 329 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 11:53:25.13 ] マイナスかどうかのチェックは最初だけでいい、とか言い出すとどうかな 330 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 15:47:59.33 ] factSafe = check (>= 0) fact check p f n = if p n then f n else undefined fact 0 = 1 fact n = n * fact (n-1) 331 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 16:13:00.23 ] わざわざドメイン定義するならMaybeで返そう

---

---

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

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