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

1 名前：デフォルトの名無しさん mailto:sage [2008/05/17(土) 16:41:29 ] haskell.org www.haskell.org/ 日本語サイト www.sampou.org/cgi-bin/haskell.cgi www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 pc.2ch.net/tech/kako/996/996131288.html Part2 pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 pc11.2ch.net/test/read.cgi/tech/1174211797/ Part8 pc11.2ch.net/test/read.cgi/tech/1193743693/ ・2chの仕様により、行頭の半角スペースは表示されません。 　コードをインデントしたいときは、代わりに または全角スペースを使うことができます。 196 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 07:41:25 ] [(x,y) | x <- [1..], y <- [1..], x+y = 10] 197 名前：初心者修業中 mailto:sage [2008/06/06(金) 08:06:28 ] >>196 これ、やってみたけど止まりませんね…。 *Main> take 10 [(x,y)|x<-[0..],y<-[0..],(x+y)==10] [(0,10) x=0 のままyの無限リストを検索してるから当たり前ですけど… *Main> take 10 [(x,y)|x<-[0..],y<-[0..]] [(0,0),(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9)] ↓みたいなリストを返す簡単な方法ありますかね…？ [(0,0),(1,0),(0,1),(2,0),(1,1),(0,2).....] 198 名前：初心者修業中 mailto:sage [2008/06/06(金) 08:42:12 ] こんなもんかな… tlist::[(Int,Int)] tlist = concatMap (\n ->f n) [0..] 　where f = \n->take (n+1) $ iterate (\(x,y) ->(x-1,y+1)) (n,0) *Main> take 10 tlist [(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3)] *Main> take 10 [(x,y)| (x,y)<-tlist, (x+y)==10] [(10,0),(9,1),(8,2),(7,3),(6,4),(5,5),(4,6),(3,7),(2,8),(1,9)] 199 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 08:43:25 ] つまらない答えだが [(x,y) | k <- [0..], x <- [0..k], y <- [0..k], x + y == k] 200 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 08:52:37 ] つまらないのならこれが一番 [(x, 10-x) | x <- [0..10]] 201 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 08:54:12 ] >>199 間違ってるやん! 202 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 09:51:55 ] [(a,b) | x <- [0..], y <- [0..x], x + y == 10, (a,b) <- [(x,y), (y,x)]] こんなんできたっけ 203 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 09:52:48 ] なんだ(a,b)って　t <- [(x,y), (y,x)] 204 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 10:16:24 ] >>190 Pythonに見られるインデントによる制御構造の是非 pc11.2ch.net/test/read.cgi/tech/1169473442/l50 205 名前：初心者修業中 mailto:sage [2008/06/06(金) 14:27:09 ] >>202-203 なるほど、そういう事もできるのですね。 *Main> take 12 [t | x <- [0..], y <- [0..x], (x+y)==10, t<-[(x,y),(y,x)]] [(5,5),(5,5),(6,4),(4,6),(7,3),(3,7),(8,2),(2,8),(9,1),(1,9),(10,0),(0,10)] リストモナドの>>=はconcatMapでしたもんね。 勉強になります。 (5,5),(5,5)がだぶってるのが、おしいですね。 206 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 15:16:52 ] GHC 6.8.3 まだー？ 207 名前：デフォルトの名無しさん mailto:sage [2008/06/06(金) 18:05:51 ] >>206 作って公開してくれ。 208 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 00:31:44 ] 無明関数って何がうれしいの？ 209 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 00:52:24 ] いちいち関数の名前考えなくても良い 名前をつけるまでもない単純な関数を作る時に便利 210 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 01:08:37 ] 名前を付けることは名前空間を汚染すると言うこと 名前よりも式そのもののほうが理解しやすい場合もある 211 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 01:24:35 ] getChar >>= \a -> getChar >>= \b -> putChar b >> putChar a こういうのに名前つけるのはいやだな 212 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 02:04:23 ] >>208 そういう話題は関数型言語スレのほうが向いている。 関数型言語一般について語れるよ。 213 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 02:12:55 ] >>208 どんなバックグラウンドをもってる？関数型言語についての経験は？ 手続き型の国の人ならば、わかりにくいところやね。 関数を変数でもたすってのは関数型では日常茶飯事なんですわ。 そこに便利さのヒントがアルよ。 214 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 07:57:49 ] map　(\(a, b) -> a+b) [(1,1), (2, 3) ..] 215 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 10:56:31 ] >>213 手続きの国からワープしてきたのですが 関数を変数にするならポインタ渡せばよくないですか？ そうすれば、定義しても渡せますよね？ 216 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 11:20:46 ] 名前があってもなくてもポインタ渡すのです 関数オブジェクトは、メソッドがひとつしかないクラスのインスタンス、に似ています インスタンスに名前がついているとは限らないのです 217 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 11:33:06 ] >>216 よくわからないぉ もう少し詳しく説明してぉ？ 218 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 11:43:32 ] 無明関数…悟りでも得たいのか? 219 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 11:46:43 ] >>218 間違えただけだぉ気にしないで 220 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 11:47:44 ] >>218 悟りは得るものではなく開くものです。 221 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:06:14 ] 名前を考えるのが面倒くさい 再利用しない 定義している箇所を探すのが面倒くさい 関数内部の処理が簡潔 のときは無名関数使いたくならないか？ 222 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:14:34 ] つーか、関数本体そのものずばりを一覧できる状態で渡しているのにわざわざ名前をつける必要があるのだろうか 223 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:28:02 ] カリー化 (new Satori(x)).open(y) 224 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:43:21 ] 無名関数で再帰するにはどうすればいいですか たとえば、 f n = if n == 1 then 1 else n * f (n-1) はどのように書けばいいですか？ 225 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:46:45 ] fix (\f n -> if n == 1 then 1 else n * f (n-1)) むみょーん。Haskellian じゃないから fix があるかどうかシラネ 226 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:49:20 ] 型無し言語なら (\f -> f f) (\f n -> if n == 1 then 1 else n * f f (n-1)) 227 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 12:54:26 ] あー、でも f って名前つけちゃったな 228 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 13:11:01 ] >>225-226 ここはHaskellのスレですよ 229 名前：初心者修業中 mailto:sage [2008/06/07(土) 13:17:55 ] >>225 Control.Monad.Fix にありますね。 fix :: (a -> a) -> a fix f = let x = f x in x 230 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 13:22:40 ] >>224 不動点演算のfixを使うようです。 Prelude> Control.Monad.Fix.fix(\f n -> if n == 1 then 1 else n * f (n-1)) 5 120 231 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 14:00:44 ] (\y f -> f (y f)) (\y f -> f (y f)) (\y f -> f (y f)) (\y f -> f (y f)) ... 232 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 14:16:56 ] >>224 ... f ... where f n = if n == 1 then 1 else n * f (n-1) 局所的な関数定義で代わりになるんじゃないの、というのはダメかな 233 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 16:01:17 ] >>232に同意 234 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 16:19:36 ] 名前が付いてるからダメ 235 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 16:37:58 ] ... (f where f n = if n == 1 then 1 else n * f (n-1)) ... こうかー 236 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 17:21:15 ] >>235 whereが作るのは式じゃなくて節だから使える場所が決まってる(定義の後とかcase選択肢の後とか) ... (let f n = if n == 1 then 1 else n * f (n-1)) in f) ... ならおｋ 237 名前：デフォルトの名無しさん mailto:sage [2008/06/07(土) 17:22:54 ] 閉括弧が一個多かった ... (let f n = if n == 1 then 1 else n * f (n-1) in f) ... 238 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 21:46:25 ] The Haskell School of Expressionで勉強してます。 この本の解答集のようなもの、ネットには無いでしょうか。 www.elbeno.com/haskell_soe_blog/ ↑このページは参照してますけど、11章までなので、全部が まとまったのがあると嬉しいです。 239 名前：デフォルトの名無しさん [2008/06/16(月) 14:44:56 ] ポイントフリースタイルについて質問なんですが、 Haskellでは原理的にどんな関数でもポイントフリースタイルに 変形可能なのでしょうか。 240 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 15:00:34 ] うん 241 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 18:48:23 ] >>239 Sコンビネータとかもポイントフリーに出来るんだっけか？ 242 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 18:52:01 ] どの範囲の関数まで使用を認めるかによるな >>241 Control.Monad.ap :: (Monad m) => m (a -> b) -> m a -> m b を(->) rモナドについて使えば、Sコンビネータそのもの 243 名前：デフォルトの名無しさん [2008/06/17(火) 22:58:00 ] ポイントフリーのポイントって何？ 何が自由なの？ 244 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 23:28:00 ] ポイント = initial objectからのarrow ポイントフリースタイル = ポイントを使わない関数定義 245 名前：デフォルトの名無しさん mailto:sage [2008/06/18(水) 00:11:23 ] (Monad m) => m (a -> b) -> m a -> m b これって未だによくわからないけど 手計算できそうな実例ないですか？ 246 名前：デフォルトの名無しさん mailto:sage [2008/06/18(水) 00:28:46 ] あんまり意味ないけど↓こんなのとか？ f :: Monad m => m (a -> b) -> m a -> m b f mg mx = do { g <- mg; x <- mx; return $ g x } test1 = f Nothing (Just 1) test2 = f (Just succ) (Just 2) test3 = f (Just id) Nothing test4 = f [] [] test5 = f [id] [5] test6 = f [id, succ, (* 2)] [6, 9] 247 名前：デフォルトの名無しさん mailto:sage [2008/06/18(水) 09:12:38 ] GHC 6.8.3リリース 248 名前：デフォルトの名無しさん mailto:sage [2008/06/18(水) 11:53:17 ] ナイス 249 名前：デフォルトの名無しさん mailto:sage [2008/06/18(水) 14:40:13 ] >>244 initial object（始対象）じゃなくて terminal object（始対象）だお。 集合の圏で terminal object からの arrow というと一点集合に相当する。 集合の圏では任意の一点集合 x に対して f x = g x ならば f = g 「point（一点集合）を使わずに関数が等しいことを表現できる」=>「ポイントフリー」ということだと思う。 250 名前：デフォルトの名無しさん mailto:sage [2008/06/18(水) 18:25:28 ] >>249 失礼、書き間違えた。 terminal object（終対象）だな。 251 名前：249 mailto:sage [2008/06/18(水) 18:26:24 ] × terminal object（始対象） ○ terminal object（終対象） だった。 252 名前：デフォルトの名無しさん mailto:sage [2008/06/20(金) 11:33:25 ] 俺やべぇ 気がついたらポイントフリースタイルで5行も書いてたぜ これはもはや関数型スパゲッティだな 253 名前：デフォルトの名無しさん mailto:sage [2008/06/20(金) 12:48:07 ] 任意のλ式はSKコンビネータで書き換えられるとか言うのを見て 実際に適当なλ式で変換してみたら出てきた式はとても読める 代物ではなかったのを思い出した 254 名前：デフォルトの名無しさん mailto:sage [2008/06/20(金) 15:00:42 ] ありゃ一種の難読化だよな 255 名前：デフォルトの名無しさん mailto:sage [2008/06/20(金) 18:06:18 ] >>253 SKコンビネータも、名前付きにできると若干読みやすそうだけど。 っていうか、それが出来たら、どんな高級言語とも変らんという話になって、逆に面白さがないか。 256 名前：デフォルトの名無しさん mailto:sage [2008/06/20(金) 19:22:12 ] >>255 そこでunlambdaですよ！ 257 名前：デフォルトの名無しさん mailto:sage [2008/06/21(土) 00:27:42 ] >>255 つ super combinator 258 名前：デフォルトの名無しさん mailto:sage [2008/06/22(日) 17:45:00 ] 以下の関数fをもっと簡単にする方法ありませんか？ f [] = [] f (_:[]) = [] f (x:xs) = (x, head xs) : f xs 259 名前：デフォルトの名無しさん mailto:sage [2008/06/22(日) 17:52:53 ] 簡単に、というより再帰を使わずにできませんか？ 260 名前：デフォルトの名無しさん mailto:sage [2008/06/22(日) 18:05:14 ] f xs = zip xs (tail xs) 261 名前：デフォルトの名無しさん mailto:sage [2008/06/23(月) 18:15:27 ] f xs = zip xs (drop 1l xs) 262 名前：261 mailto:sage [2008/06/23(月) 19:03:55 ] すまん。tail の l を残してしまった。 f xs = zip xs (drop 1 xs) 263 名前：デフォルトの名無しさん mailto:sage [2008/06/23(月) 19:21:38 ] zip [] ⊥ = [] らしいから>>260と>>261は等価かな こういうのを意識しないといけない場面だと非正格性が気持ち悪い 264 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 00:09:28 ] >>263 ⊥って勃起してるのｗ？ 265 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 01:03:13 ] いやむしろ tail で書けて気持ちいいだろ。 266 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 06:18:25 ] >>265 でも zip (tail xs) xs と zip (drop 1 xs) xs は等価じゃない つまり、zipでは第一引数が先に評価されるということを覚えていないといけない分、ややこしい (厳密には評価順の問題じゃなくて「zipは第一引数について正格で第二引数について非正格」ということだけど) 267 名前：デフォルトの名無しさん [2008/06/24(火) 07:48:57 ] >>266 どういうこと？ 例えば f (x1 : x2 : x3 : xs) -> x1 + x3 だったら、引数のリストの最初の要素と３番目の要素について正格ってこと？ 268 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 08:32:09 ] >>267 そういうつもりで「正格」という言葉を使った 269 名前：初心者修業中 mailto:sage [2008/06/24(火) 09:53:02 ] 関数結合の(.)って優先順位が高いので、 どうしても括弧が増えて見ぐさい気が…。 こんなのがあったら便利だと思うんですけど、 ↓ infixr 1 $. ($.)=(.) こんな感じ ↓ sigma = tail $. scanl (+) 0 標準ではなさそうなんですが、 やっぱ、問題ありですかね？ 270 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 09:55:22 ] 慣れの問題 271 名前：初心者修業中 mailto:sage [2008/06/24(火) 10:13:14 ] ああ、勘違いしてました。 関数の優先順位はどの演算子よりも上ですね。 これで問題ないのか ↓ sigma = tail . scanl (+) 0 >>270 レスありがとうございます。 早く慣れたいです。 まだ、頭で考えないとよくわからない。 (考えてもわからない時ありw) 272 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 11:35:10 ] >>266 「厳密には」も何も最初っからそう 273 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 12:56:24 ] >>266 > 覚えていないといけない 覚えてなくてもプログラム書くのにはなにも困らない。 等価性とか考えだすと全部正格のほうが楽かもしれんけど。 274 名前：デフォルトの名無しさん mailto:sage [2008/06/24(火) 18:49:23 ] >>273 書くときは良くても読むとき困る 例えば>>260のコードが空リストに対しても正しく動作するかどうか確かめるのに、 いちいちPreludeの仕様を読まないといけない zipみたいに明確な定義のある関数ならまだいいけど、 例えばhPutStrLn undefined ""の値が 1. ⊥ 2. 実行時にエラーになるアクション 3. （）を返すアクション のどれになるかは仕様では決まっていないはずで、ちょっと厄介 275 名前：デフォルトの名無しさん mailto:sage [2008/06/25(水) 15:42:16 ] >>274 その辺は想像で読めば十分じゃない？ zip xs (tail xs) とあって、 コードを書いたのが信頼できる人なら、 zip は第二引数について非正格なのだろうな、とか。 hPutStr undefined "" も、 hPutStr _ "" = return () と定義されては無いだろうし、 undefined が正しいハンドルじゃないからと hPutStr が独自にエラーを出すというのも、 先に undefined が評価されるから有り得ないだろう、とか。 hPutStr (error "1") (error "2") にしても error "1" だろう、とか。 276 名前：デフォルトの名無しさん mailto:sage [2008/06/25(水) 15:49:33 ] ム板のやつらはなんでこんなに視野が狭いんだろうといつも思う。 277 名前：デフォルトの名無しさん mailto:sage [2008/06/25(水) 17:38:53 ] 3の場合 main「ちょっと undefined に "" 出力してこい」 hPutStrLn「へい」 ...数十ns後 hPutStrLn「やってきやした」 main「おまｗｗｗｗ改行どうしたｗｗｗｗｗｗｗｗ」 >>276 正直くだらないネタ以外はここではなく他の所に書く。 278 名前：デフォルトの名無しさん mailto:sage [2008/06/25(水) 18:27:02 ] 質問です HaskellでGPGPU関連の話題ってありませんか？ 279 名前：274 mailto:sage [2008/06/25(水) 20:23:02 ] すまん、hPutStrLnじゃなくてhPutStrじゃないと話が合わないな >>275 >コードを書いたのが信頼できる人なら、 勉強のためにコードを読んでるならいいけど、 レビューとかデバッグとかしてるならそうはいかないだろ >hPutStr が独自にエラーを出すというのも、 誤解させたかもしれんが、HugsもGHCも2.の振る舞いをする 実行した時点でundefinedが評価されてエラー発生ね でも、例えば最適化のために hPutStr h s = seq h $ ... みたいな実装になってたら1.だし、 hPutStr h s = mapM_ (hPutChar h) s みたいな定義が考えられる以上3.もあり得なくはない 結局、非正格がデフォルトなせいで関数の仕様に書かなければいけない事項が多いのが問題 それを不用意にうやむやにすると関数の振る舞いが実装に依存してしまう それほど頻繁に問題になることではないけど、たまに面倒 280 名前：275 mailto:sage [2008/06/25(水) 21:28:51 ] >>279 > レビューとかデバッグとかしてるならそうはいかないだろ うん。 > hPutStr h s = mapM_ (hPutChar h) s > みたいな定義が考えられる以上3.もあり得なくはない なるほど。 > それほど頻繁に問題になることではないけど、たまに面倒 そういうこったね。 281 名前：275 mailto:sage [2008/06/25(水) 21:32:14 ] > 誤解させたかもしれんが、HugsもGHCも2.の振る舞いをする > 実行した時点でundefinedが評価されてエラー発生ね そういうつもりでしたか。 ちなみにそれだと1.はどういうつもりだったのですか？ 282 名前：デフォルトの名無しさん mailto:sage [2008/06/25(水) 21:49:44 ] >>281 hPutStr undefined "" `seq` 0 を評価してエラーが発生すれば1.だよな 実際試したらHugsでもGHCiでもエラーは発生しなかった 283 名前：275 mailto:sage [2008/06/25(水) 22:26:04 ] なるほど。というか>>279をちゃんと読んでませんでしたごめんなさい。 284 名前：デフォルトの名無しさん mailto:sage [2008/06/26(木) 21:37:05 ] 一通りよく取り上げられる教科書は読んだんですが、Arrowなどの 比較的新しい技法についてわかりやすく書かれた文書はどの辺 でしょうか。 285 名前：デフォルトの名無しさん mailto:sage [2008/06/26(木) 23:11:25 ] 本家から辿って論文を読むのがいいと思うよ。 286 名前：デフォルトの名無しさん mailto:sage [2008/06/26(木) 23:16:36 ] Arrow　アーーー 287 名前：デフォルトの名無しさん mailto:sage [2008/06/26(木) 23:28:26 ] arrowねぇ・・・イマイチだねぇ・・・ プログラミング的にはこれといってメリットないよ。 288 名前：デフォルトの名無しさん mailto:sage [2008/06/27(金) 00:23:45 ] >>284 www.haskell.org/haskellwiki/Arrow 289 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 00:05:34 ] arrowで量子コンピュータのシミュレーションやってます めっちゃべんりですっっっっｓ 290 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 01:15:42 ] ユニタリ変換の理解が一つの山かも。 291 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 01:22:40 ] ユニタリ変換？高校生でも知ってるよ 292 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 10:42:43 ] 皆さん、エディタは何使って書いてますか？ 293 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 10:48:09 ] emacsしか選択肢ないんじゃね？ eclipseは糞だし。 294 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 11:10:10 ] vim 295 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 11:45:12 ] notepad.exe 296 名前：デフォルトの名無しさん mailto:sage [2008/06/28(土) 12:32:37 ] vimやemacsだと使い勝手のいいプラグインあるんでしょうか。 自分もEclipseはちょっと嫌ですねぇ。

---

---

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

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