関数型プログラミング言語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/ 232 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 22:24:00.26 ] 暗黙の引数を明示的に与えるようにすれば多相にできるよ でもそれは、Cでも構造体と関数ポインタ使えばOOPできるよ、というのと同じような話なわけ モナドをヘビーに使い込むようなスタイルのプログラミングをするなら、Haskellを特別視する理由になるよね 233 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 22:30:19.48 ] >>232 型クラスが存在しない静的型付き言語において、 暗黙の引数を明示的に与えるようにする以外の方法では、returnを多相にできないの？ 234 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 22:30:46.35 ] 抽象化をしたいなら特別視なんてやめたほうがいいと思う 235 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 22:35:55.76 ] >>233 できないんじゃない？ 戻り値の型の情報はどこからとってくるの？ 236 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 22:47:24.22 ] 型というか、型によって選択された実装をどこからとってくるか、だった。ごめんね 多相というのは、つまりoverloading（アドホック多相）のことね 237 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 22:54:06.87 ] つまりad-hoc polymorphismを実現する手段として型クラスは必要条件ではないと思った 型クラスはad-hoc polymorphismと型推論を両立するためにless ad-hocにする手段で 型推論を捨てるなりすれば型クラスはなくても多相はできるでしょうと 238 名前：デフォルトの名無しさん mailto:sage [2012/01/15(日) 23:29:31.36 ] モナドであることの利点と型クラスの利点を切り分けられていない人が多い。 モナド則の有難味を感じるのはIOくらい。 239 名前：デフォルトの名無しさん [2012/01/15(日) 23:54:42.51 ] 民主党には朝鮮人など外国人のなりすまし、スパイが約90名在籍している 野田内閣は過半数が帰化人 野田はどうだろうか 韓国人から賄賂を貰い、韓国人の集いに出席している野田は 首になった蓮○はシャブで逮捕歴のある人間と仲が良いな。蓮○自身はやってんの？ い-6-1 テレビが言えない民主党のスポンサー=韓国北朝鮮 あとはもうわかるよな 240 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 07:38:13.19 ] wxHaskell でバイト配列のポインタ (Ptr Word8) から Image 型を作る方法はありませんか 241 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 07:41:22.96 ] >>240 すいません、解決しました Graphics.UI.WXCore.Image や Graphics.UI.WXCore.Draw 辺りばかり見ていましたが、 Graphics.UI.WXCore.WxcClassesAL に望むものがありました 242 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 08:39:44.77 ] >>232 > Cでも構造体と関数ポインタ使えばOOPできるよ、というのと同じような話なわけ Haskellでもモナドと型クラス使えばOOPできるよ、というのと同じような話なわけだね OOPを簡潔に書けないからね 243 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 08:43:19.87 ] OOPと同じ手段は使えないけどOOPで実現したいことは簡潔に書ける(ドヤ 244 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 09:33:47.83 ] >>242 今、他の言語がtype classみたいな機能を導入検討中ですぜ？ 245 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 12:01:33.44 ] >>232 ＞モナドをヘビーに使い込むようなスタイルのプログラミングをするなら、Haskellを特別視する理由になるよね 「モナド」と「Haskell」を他の組み合わせにすればどんな言語についても言えることだろ。モナド(Haskell)を特別視する理由に全くなってない 246 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 12:39:05.61 ] >>232 IOモナドをヘビーに使い込むようなスタイルのプログラミングをするなら、正格評価をする言語を特別視する理由になるよね こういうことですか？ 247 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 17:11:15.74 ] 多相=アドホック多相だと思ってるハスケル脳は 多相=サブタイプ多相だと思ってるOO脳と同類だな 248 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 17:29:56.98 ] Haskellはadhoc多相だけではないので念の為。 249 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 19:02:10.12 ] 手続き型言語でも簡単に実装できるが、Haskellを特別視する理由、に対する返答なんだからそれはおかしいんでは モナドの利点は>>223 >>224 >>226など（>>226はモナドというより、後付けでインスタンスを追加できる型クラスの利点？） 250 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 19:08:13.39 ] モナドなんか使わなくたって処理系実装すればいいだろ 他パラダイムを実装する枠組みがモナドである必然性はゼロ。 参照透明である必然性もゼロ。型クラスを使う必然性もゼロ。 251 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 19:12:22.89 ] 材木を見たら釘を打ちたくなる症候群のハスケル厨が モナドを使って他パラダイムのエミュレートができると気付いただけ 他パラダイムのエミュレートにモナドが不可欠ではないし モナドが他パラダイムにベストな解法であるわけでもない 単に、モナドで表現すること「も」できるね、ということでしかない 252 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 22:44:00.17 ] where や let 内で定義する関数には INLINE プラグマは付けられない？ 253 名前：デフォルトの名無しさん mailto:sage [2012/01/16(月) 23:07:15.68 ] モナドは表示的意味論の種々の技法から抽出されたものだから、 計算に本質的なことはモナド的な見方が出来てしまうのですよ。 圏論バカ的な意味合いで。整理するための優れた枠組みなわけです。 254 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 00:24:32.62 ] >>253 お前は形容詞バカだ 本質的な、モナド的な、優れたアレがあると言うが名詞が出てこない 255 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 00:24:57.94 ] 何の説明にもなってないな 256 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 00:37:55.98 ] プラグマを処理するときにモジュールレベルよか下のスコープ見てくれるとは到底思えない 257 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 07:24:50.58 ] >>256 モジュールレベルというのはどこまでの範囲でしょうか？ {-# LANGUAGE ＊＊＊ #-} module Homu where ここまでですか？ それとも、トップレベルの関数定義に対するプラグマも含まれますか？ 258 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 12:27:54.23 ] モナドは数学に基づくからその辺の言語とは格が違う 1+1=2が否定できないのと同じこと 259 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 12:38:09.99 ] 唯一のコンストラクタを持つ型の直和が二つのコンストラクタを持つ型と同型であることと同じかなるほどなるほど 260 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 16:14:17.74 ] 数学に基かないプログラム構成要素なんて存在する？ 261 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 17:08:53.02 ] 孤高なるや否や 262 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 17:34:33.19 ] 彼にとっては圏論のみが数学なのだろう。 263 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 17:36:00.52 ] モナドは圏論に基づくからその辺の言語とは格が違う f.(g.h)=(f.g).hが否定できないのと同じこと 264 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 17:42:57.57 ] で、モナドって言語なの？ 265 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 17:47:59.53 ] 哲学用語 266 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 18:37:01.81 ] >>252 付けられるよ 267 名前：デフォルトの名無しさん mailto:sage [2012/01/17(火) 19:06:57.29 ] >>266 初め付けられなかったから訊いたみたんだが、 今再挑戦したらあっさりできた どうもレイアウトルールに従ってなかったみたいだ where {-# INLINE f #-} f x = ・・・ なんてのはできないのね where 　{-# INLINE f #-} 　f x = ・・・ これならできた ちょっと不格好になるが仕方がない 助かった、ありがと 268 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 01:16:44.99 ] 　東京にある6つのキー局の内、製作から財務まで一貫して朝鮮人が行ってるテレビ局が1つ 　中国共産党から毎年大量の反日工作費が流れているテレビ局が2つ 　もろに北朝鮮と繋がっているテレビ局が1つ　　 年寄はまだまだテレビという外国人に騙され続ける 269 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 22:41:54.05 ] Float型やDouble型などの、負方向の最大値（無限大ではない）や、 最もゼロに近い正の数などを得る方法は何かないでしょうか 270 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 23:40:17.17 ] >>269 Hugs> 1/0::Float inf Hugs> -1/0::Float -inf Hugs> 1/(1/0)::Float 0.0 Hugs> -1/(1/0)::Float -0.0 271 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 23:44:42.25 ] import Numeric.IEEE -maxFinite succIEEE 0 272 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 23:45:01.08 ] >>270 >>269 でも言いましたが、無限大ではないです 「計算が可能な」負方向の最大値、正方向の最大値です あと、最もゼロに近い正の数です 273 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 23:51:23.95 ] クラッシュするんじゃ 274 名前：デフォルトの名無しさん mailto:sage [2012/01/20(金) 00:02:03.11 ] >>271 ieee754 パッケージを使うのでしょうか インストールして、ghci 上で使ってみましたが、 m というモジュールが見つからないというエラーが発生します 今までの経験から察するに、MinGW 用の libm.dll という dll が必要ではないかと思いますが、合ってますか？ gnuwin32.sourceforge.net/packages/libm.htm ここから辿れるページで探しているのですが、なかなか見つかりません 今日はもう遅いので後日探してみます 275 名前：デフォルトの名無しさん mailto:sage [2012/01/20(金) 00:10:16.65 ] >>271 ごめんなさい、環境を書き忘れていました Windows7 GHC 7.2.2 276 名前：デフォルトの名無しさん [2012/01/20(金) 16:12:27.09 ] 「ふつうのHaskellプログラミング」ってどうですか？評判がいいですが、結構古いので ほかのにしようかまよってます。 277 名前：デフォルトの名無しさん mailto:sage [2012/01/20(金) 16:58:44.68 ] >>276 一度手続き型言語を修得した人向けで、読後、読み返しにくい と言うか、今はプログラミングHaskell一択だろう 278 名前：デフォルトの名無しさん mailto:sage [2012/01/20(金) 17:00:08.41 ] ちょっとでも英語読めるならlearn you(ryが初心者向けとしてはベスト 279 名前：デフォルトの名無しさん [2012/01/20(金) 17:17:06.71 ] マセマティカのように log 6 - log 2 を 誤差なしにlog 3 ときっちり答えてくれるようなライブラリありませんか？ 280 名前：デフォルトの名無しさん mailto:sage [2012/01/20(金) 19:56:42.13 ] >>279 logfloat パッケージというものがあるみたいだ 使ったことがないから（インストールする気もない）分からんが、 LogFloat というデータ型で log x を表現するっぽいから、 もしかしたら LogFloat 6 - LogFloat 2 = LogFloat 3 となるかも知れん 281 名前：デフォルトの名無しさん mailto:sage [2012/01/20(金) 19:59:20.97 ] >>280 すまん、紛らわしい間違いをしたな もしかしたら、logFloat 6 - logFloat 2 == logFloat 3 となるかも知れん 282 名前：デフォルトの名無しさん mailto:sage [2012/01/21(土) 01:24:19.13 ] Learn You a Haskell はもうすぐ翻訳版が出るんだっけ？ まあ英語ならただで読めるんだけど 283 名前：デフォルトの名無しさん mailto:sage [2012/01/21(土) 06:03:22.00 ] >>276 「ふつうの」は、実際に役に立つプログラムを書きながら Haskell を学ぶという 立場で、その方針はよいと思う。誤植も少ない。古いことは気にしなくていいと 思う。 ただし文法の説明はかなりはしょってあるし、網羅的でもない。モナドの説明は （まちがってはいないが）ごく簡単で、あれじゃわからないだろうと思う。 Wiki の作りかたの話は、省略した部分が多すぎて、本を読んだだけではさっぱり わからなかった。 284 名前：デフォルトの名無しさん mailto:sage [2012/01/21(土) 09:54:12.35 ] Haskellerがtailコマンドを実装すると ファイルを全部読み込むクソコードを書くと 教えてくれる良書 > ふつける 285 名前：デフォルトの名無しさん mailto:sage [2012/01/21(土) 13:53:02.40 ] 【プログラミング部】 PHPが100倍速で動くようになったぞー awabi.2ch.net/test/read.cgi/poverty/1327050821/ 286 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 11:23:48.95 ] >>284 > ファイルを全部読み込むクソコードを書く Haskellが綺麗に書けるって言ってるときは 大抵こんなのばかりだな 287 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 13:46:53.61 ] 数値リテラルの範囲をコンパイル時に指定できるGHC拡張はないでしょうか たとえば newtype NumPadKey = NPKey Integer -- 0 から 9 に限定したい let a = NPKey 8 -- ok 　　b = NPKey 21 -- コンパイルエラー こういう事をしたい場合は、 0 から 9 までの 10 個の数値が入った NumPadKey 型の値を返す 10 個の関数（num0 :: NumKeyPad など）を作るなどするしかないでしょうか 288 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 14:19:09.91 ] TemplateHaskellというGHC拡張を使えばできるよ！ 289 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 14:27:24.57 ] >>286 コード上は全部読み込んでるように見えて、遅延評価で必要な分しか読み込まれないわけですが・・・ 290 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 14:29:48.48 ] >>289 headはそれでいけるけどtailだと全部読むよ 291 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 14:36:41.48 ] >>290 tail も弱頭部正規形の形までにしか評価されないんじゃないのか？ 292 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 15:10:57.18 ] なるほど>>284は真実だな >>289>>291は馬鹿すぎwww クソ遅せえコードまき散らすなよw 293 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 15:25:22.29 ] ハッシュテーブルが確率に依存するみたいに 遅延評価も木構造のバランスが取れている確率に依存するんだよな 294 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 15:45:23.45 ] >>291 UnixコマンドのtailはHaskellでいうlastみたいなもん 295 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 15:58:12.71 ] >>290 take 10 $ tail [1..] 296 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 16:06:01.08 ] >>295 tail"コマンド"だって書いてるだろアホか 297 名前：295 mailto:sage [2012/01/22(日) 16:08:14.13 ] ほんとだ、ごめん 298 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 16:37:21.25 ] >>292 俺（>>291）も完全に Haskell の Data.List.tail 関数の事だと勘違いしてた 馬鹿すぎで申し訳ない 299 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 16:43:56.55 ] 何が問題になってるのか、よくわからん。 メモリに全部読みこむのは「ふつうのHaskell」が getContents を 使ってるからで、Haskell 自体の問題ではないよね。 速度の問題なら、後ろからシークしていくのでないかぎり、どうせ全部 読むんだから問題ないはず。これも Haskell とは無関係。 300 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 16:52:34.31 ] >>299 どうしてシーク禁止なんて前提にするんだい？ そこを笑われているのに、わかってないんだなｗ 301 名前：デフォルトの名無しさん [2012/01/22(日) 16:54:23.14 ] もうちょっと冷静に議論したまえ 302 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 16:59:54.18 ] 処理速度や使用メモリ量を気にするなら、 Haskell でも結局のところやることは変わらないような気がする System.IO.hSeek で後ろから一バイトずつ戻りながら、改行コードで区切ってく 遅延評価がほとんど活かせず、手続きっぽい実装になるが、 これ以外に良い実装方法が思いつかん 303 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 17:14:45.72 ] そんなDQN本だったっけと思って自分も見返してみた p.50より引用 > tailコマンドの作りかたにもいろいろありますが、今回は次のような方針で実装しました。 > 1. 行のリストを逆順にする > 2. 先頭からn行を取る > 3. 取った部分リストをまた逆順にする 実際のコード、同ページのリスト2.9 > main = do cs <- getContents > putStr $ lastNLines 10 cs > lastNLines n cs = unlines $ takeLast n $ lines cs > takeLast n ss = reverse $ take n $ reverse ss ここまでに使った関数は putsStr, putStrLn, print, length, take, reverse, lines, unlines アクションが getContents 入門書の序盤のリスト処理の例題としてはこんなもんじゃないだろうかと思う ふつける擁護とかしても仕方ないので俺ならこう実装するってのがあれば見てみたい 304 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 17:17:14.40 ] コードのインデントが崩れたけど見逃して 305 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 17:26:38.48 ] >>303 そうだよね。 おそらく「ふつうの」のネタ元と思われる「Software Tools」(ソフトウェア作法、 Fortran 版)にも tail を作る演習問題があって、解答は書いてないけどランダム アクセスの話よりずっと前に出てくるので、頭から読むことが期待されていると思う。 306 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 17:26:50.51 ] >>290 そりゃ、reverse使ってるからな Ｈａｓｋｅｌｌは、アルゴリズムを考えないと本当に遅いし、同じアルゴリズムなら、ＬＬなんて比較にならないくらい早いコードが簡単に書ける （ただし、ghci/runghcではなく、ghcで実行ファイルになったときに限る） 307 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 17:34:33.10 ] >>306 じゃあ tail コマンドを実装するにはどういうアルゴリズムが良いんだろ という話に若干移りかけている 308 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 17:41:39.84 ] >>307 うーむ・・・ 自分もアルゴリズムにそんなに詳しくないんだけど、10行と言う縛り固定だったり、何行表示するかコマンド引数で取れるなら、last関数を複数回使ったほうが速そうではある （ＥＯＦ見つけるまで関数適用の必要ないと推測） 309 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 18:18:22.72 ] こういうのもIterateeがもっと整備されてくれば過去の笑い話になるんだろうな。 310 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 20:17:33.21 ] 必要な行数だけバッファリングしといて、 EOFきたらバッファを全部出力するのが、 メモリ効率的に有利だろう。O(1)で済むので。 getContentsしたらO(n)になってしまう。 常に「指定した行数 >≒ ファイルの行数」ならどっちも同じだが。 311 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 20:35:54.39 ] 必要な行に辿りつくまでの計算量はどこへ行ったんだ 312 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 20:45:16.49 ] unsafePerformIO使っていいんなら、普通にファイルの後ろから読んでできるな。 使わんかったら無理っぽい。俺には無理。 313 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 20:46:42.49 ] 空間計算量だよ。 seek可能なら後ろから舐めることもできるが、 泥臭いコードになるからチュートリアル向けのコードじゃないな。 314 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 20:57:18.53 ] >>313 ああ、必要なメモリの量もO記法で表すのか。ごめん 315 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 20:58:16.55 ] seekが制限されると、他の言語でもパフォーマンス出せないと思うが。 316 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 21:06:37.77 ] そんなこといちいち書きこむなよ。 317 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 21:09:34.27 ] >>312 君の考えた方法で、unsafePerformIO はどこに使うの？ 318 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 22:32:20.73 ] unsafePerformIOとかhSeekとか出てるんだから、ちょっと考えれば わからない？ 大したコードじゃないよ。5行くらいで終わる。 319 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 23:01:59.53 ] >>310 空間計算量なら takeLast n xs = diff x (drop n xs) where 　diff xs [] = xs 　diff (x:xs) (y:ys) = diff xs ys みたいなの使えばgetContents使ってもO(1)で済むよ 320 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 23:04:16.00 ] >>318 unsafePerformIO って要らなくない？ 321 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 23:08:59.31 ] unsafeでなくてはならない意味がわからないんですけど。 322 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 23:18:32.67 ] >>320 要らない。さっきようやく気づいた。 まだ、Haskellになれてないもので、、、 でも、Haskellっぽく遅延評価で取り出そうと思うと、 unsafe使わざるをえんね。 まぁ、それを意図してるんだろうけど。 323 名前：デフォルトの名無しさん mailto:sage [2012/01/22(日) 23:32:52.07 ] >>319 モナらないと無理。 getContentsの中身はunsafePerformIOなんで。 324 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 00:13:13.59 ] unix の tail コマンドなどを Haskell で実装する場合、 もし hSeek 使って逆から読み取ることをするとなると、 読み込むファイルが utf-8 とかだったらどうするの？ 今試しに hSeek で戻りながら hGetChar で1文字ずつ取ろうとしたら、 戻るバイト数が分からんかった 325 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 00:14:23.33 ] あ、すまん バイナリモードで読み取れば良いのか 326 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 02:32:36.04 ] >>323 ghc7.0.2で試してみたけど最適化なしでも空間使用量は一定だったよ 327 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 07:08:50.63 ] >>323 getContentsの中身ってunsafeInterleaveIOじゃないの？ 328 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 07:31:08.49 ] iterateeやcondoit使っときなさいって 329 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 10:13:37.62 ] tailをHaskellで実装する意義が判らん。 初学者でも出来るような事は、Cみたいな言語で充分じゃないの？ 330 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 10:19:33.95 ] そういう台詞は実際にコード貼ってから言えよ 負け惜しみにしか見えん 331 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 11:02:10.67 ] 意外と人多いのね、ここ。 実際に役に立つプログラムにすることを考えると、tail コマンドって $ bzcat backup.bz2 | tail -10 みたいにパイプで使うことが多いから、結局頭から読む版も作る必要があるよ。 教科書でやるなら、素直に頭から読む版を紹介して、ランダムアクセス版は 練習問題にするのがいいだろうね。 332 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 11:21:41.80 ] >>329 HaskellでできることをわざわざCでやる必要がないだろ 333 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 11:52:08.14 ] わざわざ泥臭いことをやってはいけないという空気に従うのが逆に面倒だな 334 名前：デフォルトの名無しさん [2012/01/23(月) 14:22:10.66 ] 具体化できない奴がやたら抽象化にこだわるみたいな 335 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 19:22:03.97 ] >>334 そのできない具体化とやたら拘る抽象化の例を挙げてみて もしかして具体例もなく、なんとなく抽象的にレスしてるだけとか？ 336 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 20:32:55.92 ] 盛り上がってきたね。 別にプログラムなんて好きなんで作ればいいんじゃない？ 337 名前：デフォルトの名無しさん [2012/01/23(月) 21:10:58.12 ] >>335 読解力が爆発してますね >>333へのレスです 338 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 21:30:27.63 ] >>309 イテレーティ解説サイト教えてください！(日本語の) 339 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 21:30:48.60 ] >>337 だからさ、お前が「〜みたいな」って自分で言ってるじゃん その抽象的な「みたいな」をもっと具体的に説明してくれよ じゃないと、それが >>333 の喩えにちゃんとなっているのか、 あるいは >>334 が勝手に喩えていると勘違いしてるだけで、 何も喩えられていないのか、判断に困るだろ 340 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 21:35:22.98 ] >>338 「iteratee haskell」で日本語サイトをググってみたか？ たとえば d.hatena.ne.jp/mkotha/20111106/1320584724 こんなページがヒットしたんだが >>337 「具体化できない奴がやたら抽象化にこだわる」事がどういう事か、 自分でもあまりよく分かって（頭の中で整理できて）ないんだろ？ だから、例えばこういう奴とか言って具体例が出てこないんだろ？ 341 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 21:48:59.93 ] 抽象化にこだわってるかどうかは知らんが、 とにかく具体的なコード書く能力が無いのは事実だな 「シーク禁止じゃなければ速いtail書けるんだけど、でも泥臭くなるから……（ぶつぶつ」 とか言いながら実際にはシーク使ったコードは書けない、みたいな 342 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 21:55:46.74 ] case of で、あるマッチングと別のマッチングで全く同じ式を計算させたい場合、 どう式を書くのがより合理的なのでしょうか 例えば次のような感じです data T = A Char | B Bool | C Bool | D Int | E String f :: T -> Int f x = case x of 　A d -> g1 d 　B d -> g2 d 　C d -> g2 d 　otherwise -> 0 パターン B b とパターン C d の場合が同じ式になっています この例の場合、レスの文字数などの関係で g2 d というように関数を適用してますが、 実際は別の関数にするほどでもなく、それでいて短くもないような、 例えば let が2〜3行に in が1行程度の式だったりします ２つのパターンの場合に同じ式を計算する事を分かりやすく示したいのですが、 C言語の switch case のフォールスルーみたいには書けないですよね コピペのミスなどを防ぐには、この例のように関数にまとめて、 それを呼ぶだけの式にするくらいしか手はないでしょうか 343 名前：デフォルトの名無しさん [2012/01/23(月) 22:00:11.07 ] >>339 具体化＝泥臭い＝hSeekでシコシコ読み込む方法と、すでに出ていることから察するに、 恐らく>>333へ文句言ってると受け取って、こっちの文意が伝わってないのかなと思った でも>>339では喩えになっているかって言ってるもんな 何かトンデモないこと言ってしまったんだろうか たしかに>>334は毒づきすぎたから、そこはごめんなさい 議論の邪魔して失礼しました 344 名前：デフォルトの名無しさん mailto:sage [2012/01/23(月) 22:13:40.06 ] 誰かhSeek でスマートに実装したtailください 345 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 07:56:12.73 ] >>333 言いたいことは分かるが、ある程度は仕方がない 数回経験すれば自然と分かることだが、 Haskellで泥臭くやると、C言語などで泥臭くやる場合以上に 面倒で、スパゲッティで分かりにくくなり、かつメンテが難しくなる Haskellで泥臭くやるということは、手続き的な、 つまり計算「順序」に過剰に縛られたプログラムを書くということ 順序に縛られているから計算が一本の長い紐になり、 それがソース上の関数群を複雑に縫い止める C言語などなら、そこから少しずつリファクタリングし、処理単位の小さくし、 縫い合わされた巨大な処理を細かくばらすことは良くある でもHaskellでは一度複雑に縫い止めた関数群を少しずつばらすのは容易ではない 計算順序を意識しすぎた為にそうなったのであり、その意識を変えなければ無理 考え方そのものを変えた場合、少しずつ修正するよりは全てやり直した方が早い そうすると、後で全てやり直すくらいなら、初めから意識を変えて、 計算順序に過剰に縛られないように作ることに意識が向くようになる 初心者のうちは「意識を変えなければならない」という事が面倒でたまらないが、 そのうち「わざわざ」泥臭いことをやってはいけないという意識は消えていく 自然と泥臭いことをしなくなる 346 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 11:09:18.39 ] >>345 333じゃないけど、それは自分の実感と全然違うな Haskellで手続き的なコードを書くのは良くやるけど、 Cでやるのに比べて面倒だと思うことはほとんどない 多次元のmutable配列とかがHaskellだと構文的にごちゃごちゃするくらい リファクタリングについては、なんでそんな結論に至ったのか理解に苦しむ 局所関数定義と高階関数を自在に使える時点でCとは比較にならない そもそも「計算順序を意識」するのを止めるだけで関数的に綺麗なアルゴリズムが出てくる訳でもない 時間O(1)のtailを実装するには結局seekするしかないんだよ 347 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 12:11:52.41 ] だれかHaskellのスパゲティ屋さんのプログラム見せて 348 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 12:33:17.39 ] >>347 >>46 349 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 12:34:10.82 ] >>346 「計算順序を意識」とは言っていない 「計算順序を意識しすぎる」や「計算順序に過剰に縛られた」と言っている 意識しなければ正しい計算ができない事は承知している 350 名前：349 mailto:sage [2012/01/24(火) 12:49:06.27 ] それと > 時間O(1)のtailを実装するには結局seekするしかないんだよ 分かっている だから私はtailの時間O(1)の実装には一言も触れていない >>345 では、わざわざ泥臭いことをやってはいけないという空気になりがちな 私なりの理由を述べた（tailの実装といった具体的な対象ではなく一般論） やってはいけないとは言いすぎだと思うが、アプリの設計開始時から、 または Haskell によるプログラム開始時から 泥臭いことをやってはいけないというくらいの考えでプログラムした方がいいと思う 少なくとも Haskell では 泥臭い事を考えるのは、そうしなければ目標を達成する術が残っていない場合だけ 本当に最後の最後に考える最終手段くらいのもの 本来はもっと抽象度を高める方向に意識を向けた方が良いと思う 例えば seek で1バイトずつ取得したものを文字と解釈して計算するよりも、 getContentsに任せて「ファイルの内容を計算対象にする」方が抽象度は高い 蛇足かも知れんが、ついでに言えば入門書も抽象度を高める考え方や方法を伝授すべきだと思う 351 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 14:10:06.15 ] >>350 お前がそういう意見なのは全然構わん >>345が「Haskellは泥臭いことをやるのには向かない」と 言っているように読めたので反論しただけ 個人的には泥臭いのを嫌がっていては実用コードは書けないと思っているから 352 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 15:21:05.01 ] >>348 TX クラクラ来た。 353 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 15:36:49.63 ] >>350 >本当に最後の最後に考える最終手段くらいのもの 最初でも最後でもどっちでもいいんじゃないの なぜ順序を決めたがるのか 354 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 16:01:49.74 ] >>340 あざっす＾＾ 355 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 19:15:01.19 ] >>353 俺は >>350 じゃないので横レスになるが、決める決めないじゃなくて、言語の文化としてより自然なやり方はあると思う。 例えて言うなら、日本語は格助詞があるから語順はある程度自由なはずだが、やっぱり自然な語順はあるだろ。 そんな感じ。 やりたい奴はもちろん最初っから泥臭く書いたってそりゃかまわないが、 たいした理由もないのにあえて泥臭く書くのでは Haskell を使う甲斐が無い。 356 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 20:34:12.21 ] つまりムダなIO発生させていい気になってるってことねｗ トイならそれでもいいけど実用でそれやったらアホだぞ どれだけキャッシュの無駄遣いすると思ってんだか 357 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 20:55:06.07 ] 別に抽象度高めつつ、無駄なキャッシュも減らすようにできると思うんだが、 どっちもどっちだな〜。 どっちもあほ。 358 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 21:08:23.56 ] >>357 （ふりだしにもどる） 数GBあるログをtailするコードをHaskellで書いてみてくれ 359 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 21:09:07.58 ] とりあえず叩き台としてコード書いてみたよ。 tailFile n h = do 　seekable <- hIsSeekable h 　if seekable 　　then do 　　　sz <- hFileSize h 　　　hSeek h AbsoluteSeek $ max 0 (sz - n) 　　　hGetContents h 　　else do 　　　takeLast n <$> hGetContents h takeLast n xs = diff xs (genericDrop n xs) where 　diff xs [] = xs 　diff (_:xs) (_:ys) = diff xs ys 360 名前： [―{}@{}@{}-] デフォルトの名無しさん mailto:sage [2012/01/24(火) 22:17:01.53 ] d.hatena.ne.jp/slayer845/20120123/1327328227 性能は出ているらしい conduit読めないから俺にはいまいち何やってるか分からんが 361 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 23:33:17.89 ] 批判組早く 362 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 23:42:03.26 ] 手続き型の言語による実装と抽象度では大差ないか劣るのではないか 363 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 23:43:15.57 ] >>359 行数指定できないから0点 364 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 23:55:11.19 ] 晒した勇気に100点をあげたい。 365 名前：デフォルトの名無しさん mailto:sage [2012/01/24(火) 23:58:01.89 ] 間とって50点 366 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 00:21:24.87 ] 相乗平均なら0 367 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 01:31:32.52 ] 行数指定時用のコードを書いみたよ。 なんとなく遅延IO使ってみたよ。Iteratee使えるならそっちの方がいいんじゃないかな。 hGetLinesReversed :: Handle -> IO [String] hGetLinesReversed h = hFileSize h >>= lazyLoop h [] where 　lazyLoop h rest pos = unsafeInterleaveIO $ loop h rest pos 　loop h rest pos 　　| pos < 0 = return [rest] 　　| otherwise = do 　　　hSeek h AbsoluteSeek (max (pos-blockSize) 0) 　　　xs <- replicateM (fromInteger (min blockSize pos)) (hGetChar h) 　　　let (hd:tl) = lines (xs++rest) 　　　(reverse tl ++) <$> lazyLoop h hd (pos - blockSize) 　blockSize = 128 368 名前：デフォルトの名無しさん [2012/01/25(水) 02:10:21.02 ] 遅延IOとな 結局unsafe使う以外に方法って見つかってないんだよね？ 369 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 04:13:13.51 ] 普通の getContents とかも遅延IOだけど…… 370 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 06:30:19.08 ] >367 これを使ってO(1)のtailを作れたら神だな。 371 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 07:24:35.01 ] >>368 は >>367 が unsafe 系を使ってる理由を 「処理速度を出す為」だと思ってるんじゃないだろうか 372 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 07:57:17.27 ] >>370 普通に書けばファイルサイズに対してO(1)時間になるんじゃね？ 373 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 21:53:21.47 ] unsafe使わずに書いてみた。 ファイルサイズチェックしてないので、10行無かったり、小さすぎるのは駄目だけどね。 main = do h <- openFile "test.log" ReadMode hGetLinesTail h 10 0 >>= putStrLn hClose h blockSize = 128 hGetLinesTail h l pos = do xs <- hGetContentsSeekFromEnd h pos if l > (length$lines xs) then hGetLinesTail h l (pos + blockSize) else return xs hGetContentsSeekFromEnd h pos = do hSeek h SeekFromEnd (-pos) replicateM (fromInteger pos) (hGetChar h) 374 名前：デフォルトの名無しさん mailto:sage [2012/01/25(水) 21:58:39.36 ] すまん。インデントがずれてしまった、、、 main = do 　　h <- openFile "test.log" ReadMode 　　hGetLinesTail h 10 0 >>= putStrLn 　　hClose h blockSize = 128 hGetLinesTail h l pos = do 　　xs <- hGetContentsSeekFromEnd h pos 　　if l > (length$lines xs) then hGetLinesTail h l (pos + blockSize) 　　else return xs hGetContentsSeekFromEnd h pos = do 　　hSeek h SeekFromEnd (-pos) 　　replicateM (fromInteger pos) (hGetChar h) 375 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 15:33:16.32 ] その言語の背景にあるパラダイムを上手に活用できればスマートな プログラムになるだろうけど、 強引に別のパラダイムのものに合わせようとすると悲惨になるのは当然じゃろ？ そのパラダイムに応じた方法を模索していくしかないような。 Haskellって他よりパラダイムが明確なだけに得手不得手があるのは 仕方がなさそうよね。 376 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 16:55:41.77 ] Unixコマンドは標準入出力をストリームとして扱う点で 関数型言語のパラダイムと親和性があると思うけどな Broken Pipe 377 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 17:41:23.30 ] >>375 結局、メタパラダイムとかいうのは的外れってことだね 378 名前： [―{}@{}@{}-] デフォルトの名無しさん mailto:sage [2012/01/26(木) 19:26:22.04 ] Haskellは関数型+手続き型なのでそんなに極端な得手不得手はない 379 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 20:04:34.51 ] そんなに極端な得手不得手はないが、悲惨なことになるのか... 380 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 20:23:58.12 ] >>376 標準入出力をストリームとして扱うのはインターフェースの部分 内部では　tail が代表するように単純にストリームでは扱っていない 関数型は無限リストや継続などでストリームを上手く表現できるが、 今回話題になっている話はインターフェースじゃなくて内部処理の方 正方向で流れてくる情報を逆方向からたどるというのは、 ある意味ストリームとは対極にある処理だと思う 内部処理もストリームにする事に拘るなら、 逆方向にする時にバッファにため込む必要がある （たまたま Haskell では遅延評価のおかげでそのバッファ処理を自動化できるが） 381 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 20:33:13.40 ] 正格評価でもバッファぐらい普通にできるが？ 382 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 20:43:46.18 ] >>381 正格評価ではバッファを普通にはできない、 と言っているように感じたのか それなら申し訳ない 遅延評価という仕組みを実現するためのGHCの実装のおかげで、 バッファを作らなきゃいけないことを意識する必要がない という意味で言ったのだ 念のために言い添えておくと、処理速度などの話とは全く別のことだ 383 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 21:37:21.78 ] 遅延評価とバッファの関係がよくわからないな。 少なくとも>374のコードは再帰するたびに毎回ファイル末尾から読み直してるようにみえる。 行のサイズ = blockSizeのファイルに対して、 tail nを計算するのにO(n^2)の処理を行っているのでは？ 384 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 22:05:50.63 ] >>383 > 遅延評価とバッファの関係がよくわからないな。 >>374 のコードは今回の私の話とは全く関係ない >>376 のストリームの話だ 逆順に指定行数を出力するという処理を「ストリームとして処理」するなら、 順に流入してきたデータを全て一時的にどこかに溜めて（バッファ）、 溜め終わってから、そこのデータの末尾から順に流出させる必要がある そのバッファをどうやって作るか、どうやってデータの出し入れをするか、 ということが問題になるが、遅延評価を実現する仕組みのおかげで、 Haskell（の大抵の実装）ではそれを意識しなくてもできてしまう 上の方のレスで問題視された「ふつける」に載ってる方法だ getContents 関数から流出した（リストで表現された）ストリームが reverse 関数に流入してくる 遅延評価の仕組みにより、reverse 関数はリストの内容は評価しない 後で評価する可能性がある未評価のデータはメモリ内に残り続ける この部分がストリームを逆順にたどるための「バッファ」の役割を果たしている 385 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 22:51:34.19 ] >>383 おっしゃるとおり。 とりあえず、unsafe使わずに書けるかやってみただけで効率は良くない。 ついでに、ちょっと間違ってて１０行以上取ってきます。 遅延IO使えばもっとシンプルに効率よく取ってこれるよ。 ちなみに、遅延評価とバッファは全く関係ない。 ファイルを逆から読むのにバッファは必要ない。 386 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 23:11:31.79 ] >>385 > ちなみに、遅延評価とバッファは全く関係ない。 > ファイルを逆から読むのにバッファは必要ない。 ファイルを逆から読むのにバッファを必要としない方法もあることは分かっている >>384 で私が言ったのは、「ストリームとして扱う場合はバッファを必要とする」 ということだ ストリームというのは、パケット通信などのように、 ある塊のデータ群が一列に順に一つずつ流れる、あるいは流すこと 順に流入してきたものを逆順に流出させるには、バッファが絶対に必要だ そのバッファの仕組みをプログラマが意識して自分で作る必要があるかどうかは別だが 確かに遅延評価とバッファに直接の関係はない だが、上記の「ストリームの逆順流出」において 遅延評価を実現させる為の内部の仕組みがたまたまバッファの役割を果たす もう一度言うが、あくまで >>376 のレスを受けて、 「内部処理もストリームとして扱う場合」の話をしている （それが非効率的な事も分かっている） 387 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 23:42:32.23 ] よくわからん。 もしhGetContentsが遅延評価でなく先行評価だったとしたら、 その「ストリームの逆順流出」プログラムはどう変わるんだ？ どっちにしてもプログラムはhead n $ reverse $ ... なんじゃないのか。 388 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 00:05:03.45 ] >>387 > もしhGetContentsが遅延評価でなく先行評価だったとしたら、 > その「ストリームの逆順流出」プログラムはどう変わるんだ？ そんなことは知らん 先行評価だった場合にGHCが内部でどのような実装をしてくるのか俺には分からない 初めの >>380 では端折ったが、>>382 からはずっと、 遅延評価を実現する為に使われている内部の仕組みが、 ストリームとして流れてくるデータ順の逆転という処理において バッファとして機能することだけを話しているんだが ちなみに、この目的で内部の仕組みがバッファとして機能するのは、 hGetContents の処理ではなく reverse の処理をGHCが実行ファイルに埋め込む部分だ 389 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 00:07:50.19 ] おれは言わんとしてることがわかったけど、 もう少しわかりやすく説明したほうがいいと思うよ。 390 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 00:20:31.26 ] >>389 了解した、努力する 391 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 00:21:30.05 ] 説明ぷりーず。 一応、WHNF簡約やGHCのSTGマシンあたりの実装は理解してるつもり。 392 名前：デフォルトの名無しさん [2012/01/27(金) 00:43:19.91 ] チュートリアルをやってるのですが、最初で詰まってます。 以下のboomBangsという関数定義でチュートリアルのままなのですが、自分の環境だとエラーになります。 どこが間違ってるのでしょうか。ghci 6.12.1です。 Prelude> boomBangs xs = [if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x] <interactive>:1:13: parse error on input `=' Prelude> どうかよろしくお願いします。 393 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 00:55:24.00 ] Prelude> let boomBangs xs = [if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x] 394 名前：デフォルトの名無しさん [2012/01/27(金) 01:05:23.28 ] 動きました。ありがとうございました。 Prelude> let boomBangs xs = [if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x] *** Parser: *** Desugar: *** Simplify: *** CorePrep: *** ByteCodeGen: Prelude> boomBangs [1,2,3,4,5] *** Parser: *** Desugar: *** Simplify: *** CorePrep: *** ByteCodeGen: ["BOOM!","BOOM!","BOOM!"] 395 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 01:13:49.09 ] >>391 あんまり難しい話じゃなくて、C言語とかでも、Seekなしで、 ファイルの先頭からシーケンシャルアクセスしかできないとしたら、 最後10行のデータ取ろうと思うと、どうしても直近10行はバッファ しとかないといけないでしょ？ Haskellは、このバッファを意識しないでも、自動でやってくれる って言ってるんだと思うよ。 遅延評価がバッファしてるわけじゃないけど、バッファしてるように 見えなくもない。 396 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 02:26:27.98 ] Haskellも結局クリーンで美しいカルト言語だったんだお 設計外のことを無理にやらせれて破綻するんだお 397 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 02:49:49.78 ] ということにしたいのれすね？ 398 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 03:01:28.89 ] 実際にやってみたけど、「ふつうの」に書いてある元々の「効率の悪い」 tail に 10 GB ていどのファイルを食わせても、5 秒もかからないんだよね。 これが分単位になるのなら考えてもいいけど、そうでなければ簡潔さの ほうが大事だと思う。 “「効率」についてうんぬんする人々は、たいていの場合主として本番計算に 計算機資源がどのくらい使われるか、という点にばかり着目していて、コンパ イルしたり、虫取りしたり、その他さまざまなやりそこないをしたりしながら 本番計算にそなえるために消費される人間の時間と計算機の時間を考えに入れ ていないのである。” (ソフトウェア作法 p.132) 399 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 03:03:28.54 ] ごめん、10GB は嘘だわ。10MB ね。 400 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 03:13:57.42 ] ちなみに自分は後ろから読む tail コマンドを昔 C (Pascal だったかも)で書 いてみたことがあるけど、 * ファイルが改行で終わる場合と終わっていない場合を分ける * バッファの先頭から行がはじまっているか、その前からつながっているかを分ける とか、細かい場合分けがあって、予想したより面倒だった。 401 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 05:53:27.42 ] >>395 正格評価でも、明示的にバッファ取らなくても、 パラメータ渡しをバッファ代わりにできますし… 402 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 05:56:04.14 ] >>398 > これが分単位になるのなら考えてもいいけど、そうでなければ簡潔さの > ほうが大事だと思う。 んなこたーない。 > “「効率」についてうんぬんする人々は、たいていの場合主として本番計算に > 計算機資源がどのくらい使われるか、という点にばかり着目していて、コンパ > イルしたり、虫取りしたり、その他さまざまなやりそこないをしたりしながら > 本番計算にそなえるために消費される人間の時間と計算機の時間を考えに入れ > ていないのである。” (ソフトウェア作法 p.132) これは数回実行するだけの研究用プログラムについては正しいが、 UNIXのtailコマンドのように１度書かれたソースを莫大な回数実行する場合には 詰められる無駄は詰めたほうがいい。 403 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 06:59:03.58 ] 正格な評価でも10行分のキューにストリームから一行読んでは突っ込んでいくだけでしょ 別にC言語でも数分で書けるから特にHaskellを使う利点はないよね 404 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 07:36:42.85 ] >>401 同じ事を繰り返すが 私は正格評価の事については一言も触れいてない 正格評価ではバッファを意識する必要がある、 なんて私のレスが何処かに書いてあるか？ 私は一貫して ・ストリームとして処理するならバッファが必要 ・遅延評価を実現する仕組みがバッファとして機能している この２点しか述べていない 「遅延評価とバッファの関係」を質問されたから、 正格評価の事まで話に絡める必要は無いだろ 別に遅延評価vs正格評価でどちらが有利か戦わせているわけではない 正格評価でも明示的にバッファ取らなくてもいい と貴方が言うのなら、きっとそうなんだろ それは私の話とはたぶん関係ないと思うから、 それがどうかしたのか、としか言いようがない ちなみに、私の話とは別の事として訊くのだが、 > パラメータ渡しをバッファ代わりにする それはパラメータでバッファを渡しているのではないか？ 遅延評価を実現する仕組みでたまたま機能するバッファの方は、 バッファを作っているという意識すら感じずにプログラムできるが 「正格評価＋ストリーミング処理＋パラメータ渡し」 これでバッファを意識しなくてもいいプログラムを書いてみてくれ ちょっと興味ある 405 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 07:46:54.83 ] 引数として先頭トークンと継続を渡せばいいんじゃね？ 406 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 07:49:56.57 ] >>391 以下の部分で遅延評価とバッファの関係を簡単に述べている どこの部分の詳細な説明を求めているのか具体的に言ってほしい >>384 > 遅延評価の仕組みにより、reverse 関数はリストの内容は評価しない > 後で評価する可能性がある未評価のデータはメモリ内に残り続ける > この部分がストリームを逆順にたどるための「バッファ」の役割を果たしている 407 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 08:04:10.58 ] アホかHaskellでもバッファは意識しろよ そんなんだからアホ的非効率コードを書くんだよ 408 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 08:13:37.12 ] どうでも良くなってきたが、、、 正格評価、遅延評価とかはバッファと関係ないと思います。 というか、バッファされてる時点で評価済みで遅延してない、、、 正格でも遅延でもたぶん同じように書けます。 409 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 08:23:27.08 ] 手元にある一番大きなプレーンテキストは MySQL のダンプ(1.3GB)だったので, これを「ふつうのHaskell」版の tail コマンドに食わせてみたが、メモリオー バーで時間計測できず（笑）。ファイル丸ごと reverse はさすがにないな。 ただ、個人的にはテキストファイルをランダムアクセスするのは(使用言語が何 であれ)プログラムが無意味に複雑化するので反対。sort とかなら高速化の意 味はあるだろうけれど、tail コマンドをそんなに速くしてどうするの、っていう かんじ。 Haskell なら、このていどでいいはず。これなら本にのせても場所を取らないし、 大きなファイルでも動作する。 import System dotail :: Int -> [a] -> [a] dotail n xs = if null (drop n xs) then take n xs else dotail n $ tail xs main = do {args <- getArgs; cs <- getContents;   putStr $ unlines $ dotail (read (head args)::Int) (lines cs)} 1.3 GB で 13分だった。Haskell の入出力の遅さを考えればまあまあじゃないかな。 ちなみに同じファイルに対して行数カウント getContents >>= print.length.lines だと 8分35秒。Java (BufferedReader.readLine 使用) や Perl で同じことを やると1分40秒から 1分50秒くらい。wc -l コマンドだと 36秒。 410 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 08:30:16.99 ] おまいらこのあとは tail -f の実装が待ってますよ 411 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 10:25:32.57 ] ふつうに実装するとIO (IO String)が出てくるから それよりはunsafeでもIO [String]にしたいってことなのか 412 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 10:39:57.79 ] System.IO.MMap.Lazy 413 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 11:12:49.26 ] tailなんて巨大ログをすばやく確認したい時ぐらいなんだから いちいち先頭から1行ずつ読むとか糞遅かったら誰も使わんだろ 用途を満たさない物なんか設計してどうする 言語の作法なんて関係ない 414 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 11:16:44.14 ] >>410 それは簡単じゃない？ Control.Concurrent の threadWaitRead で待って、サイズが変わってたら その分を出力するだけでしょ。 415 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 11:32:02.97 ] 俺がtail使うのはファイルよりpipeのほうが多いな 416 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 12:06:04.37 ] ここで問われているのは、 長年GNUがやってきたように、 過去の他人の成果を丸パクリして、 それでも使われるレベルになるのかどうか？ ということだよな 417 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 12:47:47.33 ] 儲かるレベルにはならないからポジショントークをする人がひとりもいない という成果に期待しよう 418 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 14:20:57.31 ] クソ実装でも十分速いとか言ってる香具師がいるけど、 空読みするファイルが分散fs上に乗ってたら悲惨だなｗ 419 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 16:51:25.37 ] 標準だけで教科書的に綺麗に書くようなオナニーは卒業して 仕事でHaskell使っている人が苦心の末発明したcondoitの使い方覚えろよ 420 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 17:07:01.50 ] なにそのコンドームみたいなの？ 421 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 17:09:06.72 ] conduit 422 名前：デフォルトの名無しさん mailto:sage [2012/01/27(金) 18:37:45.13 ] あれだこれだと意見はいろいろあるだろうが、 にコードが出てきたのがなんと言っても尊い。 423 名前：デフォルトの名無しさん mailto:sage [2012/01/28(土) 11:33:31.74 ] >>288 Template Haskell を少し勉強してみたところ、 やりたいことが実現できそうなことが分かりました 例えば次のように引数をコンパイル時に制限できるんですね f :: Int -> ExpQ f x | x < 0 = fail "error" 　　| otherwise = [| x |] $(f (-1)) ====> error $(f 3) ====> 3 このような事を値構築子でできるようにすれば良いわけですね 調べてみます ありがとうございました 424 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 09:15:33.67 ] jutememo.blogspot.com/2011/04/haskell-swap-9.html リストの要素を入れ替えるswap関数は、pythonの方が簡潔なんだな・・・ リストを配列みたいに扱えない言語よりは優位なんだろうけど、そう言う言語と比較するときは配列と比較になるしなぁ・・・ 425 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 09:30:41.60 ] リストのランダムアクセスは遅いから専用の関数が用意されてないだけ Data.Sequenceならupdateがあるので簡単 swap :: Int -> Int -> Seq a -> Seq a swap i j s = update i (s `index` j) $ update j (s `index` i) s 426 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 09:37:27.18 ] よく言語Ａより言語Ｂの方が処理（計算）xを簡単に書ける、というけどさ 言いたいことは分かるけど、「具体的な処理」に関して、 処理後に同じ結果が得られる複数の言語間で「簡潔さを比較」する意味って何なの？ >>424 のリストの swap だって、一旦関数にしてしまえば、 あとは Haskell でも同じように簡潔に書けると思うんだが （それがライブラリの大きな役割の一つだし） >>424 のリンク先で考察している方法それ自体は面白いし興味あるけどね 427 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 09:44:58.64 ] >>426 いろいろな具体的な(既知の)処理を簡潔に書ける言語があれば、 アプリケーション固有の(未知の)処理も簡潔に書ける可能性が高いからだろ 未知の処理だって、なんらかの既知の処理に似ていることが殆どだ ということを加味すればなおさら 428 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 09:53:41.16 ] そりゃ、できることを比較したらどれも同じになるから比較にならんだろ。 言語の比較は、簡潔に書きやすいとかできるコードが速いとか、デバッグ しやすいとかになるわ。ライブラリだって簡潔に書けるほうが充実させや すいしな。 429 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 10:07:36.20 ] ハスケルのほうが簡単に書ける時には 「ハスケル最強」 ハスケルのほうが煩雑になってしまう時には 「そんな比較意味なくね？」 430 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 10:15:41.39 ] >>429 それは、逆も同じだけどね。 ハスケルのほうが簡単に書ける時には 「そんなの意味なくね」 ハスケルのほうが煩雑になってしまう時には 「ハスケル使えねぇ」 用途考えずに比較なんて意味ないね。 431 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 10:35:32.33 ] >>427 いや、だから一度関数になってしまえば、「簡潔さはほぼ同じ」になるわけでしょ 最初に比較して言語Ａの方が簡潔だった、でも関数にしたから言語Ｂも同じなった >>424 の言う「優位な言語」というのは、どの時点で比較したものなの？ 仮に言語Ｂが関数化した結果、言語Ａよりも簡潔になったら、言語間の優位さは逆転するの？ そういうことで逆転してしまうのなら、それはその「具体的な処理に関する」 簡潔さの言語間の比較とは言えないだろう その具体的な処理に被せるインターフェースの部分のおかげで簡潔になったのだから また、そんなことで逆転したとは言えないのなら、そもそも比較して 言語Ａの方が優位だとか言うことの意義が見いだせない 私の経験上、実用的なアプリ内の数多ある個別具体的な処理に関して、 それらを最も得意とする言語（やパラダイム）は複数に分散する ある特定の処理をするのに言語Ａが優位だからという理由で、 そのアプリを作るのに言語Ａを選ぶことは、実際のところ滅多にない 普通は自分やチームが得意としている言語であったり、 個別具体的な処理ではなく全体の求められる処理速度やメンテのしやすさなどで決定される >>428 今の時代、広く使われている言語なら、どの言語でもライブラリは充実している 充実度の差の理由に言語の簡潔さが関わる割合は、比較して議論するほど高くはないと思うが 432 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 10:58:44.59 ] ある処理を実験する複数のプログラムを一つのファイルに書いていました。 （初めはファイルを分けるのが面倒に思えたから） あるプログラムを実験するときは別のプログラムをコメントアウトしたりして。 なので、ファイルのトップには import が大量に書かれています。 実験が終わって、採用するプログラムを一つに絞ったので、 それを正式にちゃんとしたファイルに分けて保存したいのですが、 そのプログラムを実行するのにどの import が必要なのか、 ごちゃごちゃしてて分からなくなりました。 とりあえずそのプログラムだけ別ファイルに移してコンパイルしてみて、 モジュール不足の為にコンパイルエラーが出る度に import を追加していけばいいとは思いますが・・・（以前も同じ様なことをしてた） もっと簡単に、あるソースファイル内の識別子を評価するのに不足していて、 かつインストール済みであるライブラリのモジュールの一覧を見る方法はありませんか。 433 名前：427 mailto:sage [2012/01/29(日) 11:08:59.81 ] >>431 俺は>>424じゃないけど、関数化の前の話をしているつもりだった >また、そんなことで逆転したとは言えないのなら、そもそも比較して >言語Ａの方が優位だとか言うことの意義が見いだせない >私の経験上、実用的なアプリ内の数多ある個別具体的な処理に関して、 >それらを最も得意とする言語（やパラダイム）は複数に分散する もちろん。でも、実際的なアプリが色んな処理から成っているからこそ、 言語には極端な苦手分野がないほうが良いし、なるべく広範囲のコードを 簡潔に書けるのが良いということになる たとえばランダムアクセス可能なデータ構造をすごく扱いにくい言語があったら、 その言語で書き易いアプリはかなり限定される それから、アプリごとに多用される処理の傾向も違う 行列演算中心のアプリもあるし、DBアクセス中心のアプリもあるし、両方やるのもある 434 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 11:13:25.04 ] >>432 全部のファイルに全部のimportをコピーして、とりあえずコンパイルを通す コンパイルが通ったら-fwarn-unused-importsで不要なインポートを一掃 435 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 11:16:53.53 ] >>431 長くて読む気しないな。 言語比較なんてナンセンスだと思うが。言語の優劣なんて個人個人で違うし。 関数化すれば０になるかもしれないけど、関数化するまでのコストは？ ライブラリになってないところの、作成コストは？ ライブラリの学習コストは？ ライブラリは十分充実してる？そしたら自分でプログラムなんて書かんわ。 436 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 11:30:01.60 ] >>434 なるほど、逆でしたか 不要な import を省いていくんですね ありがとうございました 437 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 12:41:36.12 ] >>431 うーん、同じ処理の関数化の比較は、コードの長さとかだけじゃなく、関数化する際の概念とか手法とかがプログラマ・あるいは初心者に思いつきやすいか？とかの意味でも比較の意味はあると思う。 >>424のＵＲＬ先ではpythonは配列的にも使えるリストのために、値の交換が得意な配列的な処理になってるけど、配列は配列。リストはリストとして扱う手続き型言語の場合、 １、リストの中身を配列に移す ２、配列で値を交換 ３、配列の中身をリストに戻す と言う処理になる Ｈａｓｋｅｌｌだと >>424の9つの方法の内、初心者にも出来そうな一つ目と二つ目の方法は基本 １．リストを分割する （iより前のリスト、i、iとjの間のリスト、j、ｊの後ろのリスト) ２．値を交換した状態のリストとして結合しなおす という処理になる 438 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 12:53:23.82 ] >>437 > １、リストの中身を配列に移す > ２、配列で値を交換 > ３、配列の中身をリストに戻す > > と言う処理になる そんな馬鹿なコードを書くのはプログラム初めて１ヶ月とかの初心者だけだろｗ 439 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 12:55:50.74 ] >>438 え、確かにリストのままでも配列的に使えるけど、パフォーマンス的にはこちらは今でも有効だと思うけど・・・ 440 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:03:38.33 ] たった１組のswapにそんなことしてたら大爆笑だよｗ 441 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:05:40.34 ] >>437 で、swapの実装という単位で比較した結果、言語Ａの方が 関数化する際の概念とか手法とかがプログラマ・あるいは初心者に思いつきやすい と結論づけられたとして、それからどうなるの？ それが何にどのように、どれくらい活かされる？ 例えばHaskellという一言語においてリストをswapするいくつかの方法の中で、 簡潔さ、初心者の理解のしやすさ、計算速度、応用の幅・・・ などで互いに比較しすることの意義は分かる 時と場合によって使い分ける際の自分なりの基準になる しかし、今存在している言語間で、swap処理などの 抽象度の低い低レベルレイヤーの処理の実装を比較して 優劣を考える意義がよく分からない せいぜい新言語を作る際に、既存言語を分析する時ぐらいしか、 言語間で比較して優劣を考える意義はなくないか？ 442 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:05:46.19 ] >>440 じゃあ、どういう処理を1ヶ月以上たったらしてるの？ 443 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:15:46.01 ] たまにはArrayのことも思い出してやってください 444 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:17:38.11 ] >>442 リスト処理を解説する初心者レベルの入門書で スワップ時にリストの中身を配列に移すなんて方法は、普通は教えない 普通は、双方向リスト・単方向リストの要素がリンクで結ばれていることをまず教える もしスワップ処理を教えるなら当然その後になるが、 その際はリンクを繋ぎ替える処理で実装する方法を教えるだろう 処理速度云々ではなく、その方が初心者が「リスト処理を理解しやすい」からだ 初心者はリストの特徴を学ぶのが大事だからな だから、一ヶ月と言わず、初めから配列に移すなんて方法は学ばない 445 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:23:20.30 ] n回のswap処理をするのであれば、１度配列にコピってからn回swapするだろうが、 たった１回のswapのために配列にコピってswapしてリストを再構築するとか、アホだろ。 446 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:23:33.53 ] >>441 今はサイト自体（と運営会社）が無くなっちゃったけど、Ｈａｓｋｅｌｌ入門以前という、プログラミング全くの初心者向けのブログ書いてたんだ （そして、ネット上の友達（プログラミング未経験者）に読んでもらって、理解できるか確認しながら書いてた） その関係で、ＰＣがどうやって動いてるかも理解できてない人向けの言語を探してたり そういう意味で、Ｈａｓｋｅｌｌは割りと有効だとは思ってたんだけど、このswap関数でちょっと心が揺らいでたり （変数の概念とかも数学から離れていないと言う意味で、数学＋α程度の知識でプログラミングできる言語だと思う） 447 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:24:16.02 ] >>443 Array=配列　ですが、何か 448 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:24:26.38 ] まーたこれで数日後にRubyスレが荒れるのか 449 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:26:31.49 ] >>444 ん・・・ それって、結局Ｈａｓｋｅｌｌのやり方と同じことを手続き型言語でもリストのswapの勉強の際には教えるってこと？ 450 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:28:51.88 ] >>445 何というか・・・ 行間嫁よ そんなの当たり前だろ 451 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:31:51.09 ] >>448 rubyの場合、リストっぽく使える配列だね pythonとは名前が逆だけど、実装は何が違うんだろう？ 452 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:36:38.70 ] >>450 はあ？文脈読んでないのはオマエだろ。 >>424のリンク先のコードのswap関数の型を書いてみろよ。 どこをどう見たって、リスト/配列中の１組の値のswapだ。 型情報以上に重要な「行間」があるなら書いてみろｗ 453 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 13:45:07.16 ] >>449 結果としてHaskellのやり方と同じことを初心者には教えることになるが、 そんなことが言いたかったのではないんだ ・一般的にリストと呼ばれている構造をプログラムで表現する方法 ・その表現方法の上での、リストに関する様々な演算方法 リスト処理を初心者に教える入門書はこの２点を分かってもらいたくて書いている Haskell でのプリミティブなリストの表現方法はいわゆる前方参照の単方向リストだが、 概念は他言語で表現されたリストと似ているし、表現方法が同じなら同じ方法が使える もし swap 処理を教えるとしたら、その概念に沿って教えるのが自然だ 概念から外れた方法を理解させようとしている入門書があるなら、 その入門書は（少なくともその部分に関しては）クソだと思う 454 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 14:12:10.92 ] >>452 視野が狭いな・・・ 455 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 14:25:57.63 ] >>453 リスト専門の入門書ってのは読んだこと無いんだが、もし在るならそうなるだろうね Ｈａｓｋｅｌｌでちょっと不便かな？と思ったのは配列も値が変えられないだろうという事。結局、ＩＯモナドなり、Ｓｔａｔｅモナドなりを頼る事になりそうなのがね・・・ >>425のupdate関数は初心者にも作れるし、意外と有効かも （全体を2回書き換える事にはなるが、コード上は交換したい値を一つずつ更新してるのは、初心者には分かりやすそう） 最近はリストなんだか配列なんだかという、（コード上の）データ構造の性質がハッキリしない言語が多くなってきたから、楽にはなったけど、データ構造の性質を教えるのにはちょっと不便になってきた気がする （そう言う意味では、Ｃとかの方が生々しい意味で最適なのかも知れないが、生々しすぎて初心者には敷居が高いし・・・） 456 名前：453 mailto:sage [2012/01/29(日) 14:33:26.96 ] >>449 読み返したら誤解を与えそうな感じがするから言っておくが 一般的なリストの構造とリストの演算を初心者に教える過程で swap を教えるのなら、 結果としてHaskellのやり方と同じことを教えることになる、という事だからな 要素の破壊的な代入が許されるタイプのリストなら、 普通の変数同士のswapのようにテンポラリ変数を使って比較的素早くswapできるし、 そのように解説している入門書もあるだろうが、それは目的が違う その部分の関しては、リストの構造とリストの演算を学ばせるためじゃない （喩えは悪いかもだが、方程式の解法で移項というテクニックを教えるようなもの） 457 名前：453 mailto:sage [2012/01/29(日) 14:34:53.97 ] レス前にリロードしとけば良かった orz 458 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 14:41:52.19 ] >>456 いや、ありがとう 他人に書かれてもドンマイだよ 変数の値が書き換わるのが理解出来ない初心者(かなり稀なパターン)へ手を替え品を替え説明するのに比べれば。。。 変数が箱って言う例えは誰が考えたんだよ。。。 459 名前：453 mailto:sage [2012/01/29(日) 14:48:17.90 ] 数学で式に文字が導入された頃から漠然とした箱のイメージはあったと思う 値と変数を束縛して固定するイメージよりは、 値を入れるための箱のイメージの方が先にあったのではないか と、大して根拠もなく個人的には思ってる 460 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 15:00:35.95 ] >>459 それは分かる。つーか、自分も似た感覚なんだが、箱の中身がコピーされるとか、新しい値を入れると消えちゃうとかの説明がね。。。 箱じゃ無くて1個のみのスタックみたいなところてん式(追い出された値は捨てられる)の説明でもコピーが説明出来ないしね。。。 まあ、そいつがバカ過ぎなのが問題なんだけど、普通の人はメモリって何？が基準だしなぁ。。。と、基本的な事柄は紙の上で説明出来るのがベストなのかなぁ。。。とか考えてhaskellに流れ着いてたり ちょっとコンピュータの仕組み齧れば普通の言語の方が自然なんだが。。。 461 名前：453 mailto:sage [2012/01/29(日) 15:15:26.29 ] >>460 私がＣ言語を初心者に教えている時は、一般的な「変数＝箱」のような喩えではなく、 もう初めから「変数＝メモリアドレスの別名」と直に教える そして、メモリとはどういう構造か、その上でどんな事ができるかを教えてる 当然メモリって何？が基準だけど、Ｃ言語ならそこから逃げられないし 喩えると余計に分かりにくい Haskellを初心者に教えた事は一度しかないけど、 その時も箱とかの喩え話じゃなく、「変数＝値の別名」と直に束縛の概念を教えた 462 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 15:36:15.61 ] >>461 自分も結局、変数=値の別名で教えた おバカなその人はhaskellも無い頃の思い出だが、cpuの仕組み習ってる筈なのに(情報技術科の同級生)、全く理解出来てなかった そこまでのバカは捨て置いても良いと思うんだけど、手続き型だとスコープの問題もあるのよね。。。 関数内でswapしたのに値が変わってない！！とか ガッコの先生じゃ無いから、放っときゃ良いんだけど、なるべくそう言う「？」が無い言語が望ましいんじゃ無いかと 本気でプログラマ目指すなら、多分javaやC#しか使わなくても、Cでメモリの概念を直接覚える必要があるだろうな。とは思う (C#は限定的でもポインタ残してたのは、本当に英断だった) 463 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 18:06:25.05 ] >>454 おまえは心が狭いな 素直に自分の間違いを認めればいいのに 464 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 19:00:27.45 ] >>463 １、リストの中身を配列に移す ２、配列で値を交換 ３、配列の中身をリストに戻す って書いてて、値の交換が何度も必要な場面で毎回リストに戻す馬鹿がどこに居るよ 行間嫁ってのは、そう言うこと そんな応用力無い奴はプログラマになれないだろが 465 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 21:03:37.16 ] C言語から入るとやたらとメモリの無駄遣いが 気になるのはあるね。 swapは、配列の発想から抜け出せないから出てこないだけで、 リストだと思えば、切ってポインタ繋ぎかえるだけじゃんと思いつくと思う。 Haskellだと、こんな感じか。 swap i j l = let 　　(cs,d:ds) = splitAt j l 　　(as,b:bs) = splitAt i cs 　　in as++[d]++bs++[b]++ds まぁ、swapくらい標準で用意して欲しい気はする。 466 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 21:20:50.26 ] リストでインデックス指定のswapが必要になる時点で型の選択を間違ってる気がしないでもない 綺麗事だけどさ 467 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 21:50:07.46 ] まぁ、他のリスト計算（++ や fold系、zip系など）に比べると、 swap の需要は圧倒的に少ないわな 正直、今まで必要になった事があったのかどうか思い出せん 468 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 22:09:42.45 ] swapは、Sortに使うね。 Haskellは、Sort簡単だからあまり出番がないのかも。 でも、Sliceは欲しいな。 469 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 22:38:39.26 ] >>468 Haskell のリストのソートに swap は使わないだろ 効率的なマージソートの実装が標準ライブラリに既にあるじゃん ソート関数を自作してまで swap を使う理由は何？ 470 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 22:45:28.87 ] >>468 マージソートにも、クイックソートにもswap使わないけどね・・・ 471 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 22:52:38.26 ] いや、別にHaskellの話してたわけじゃないけどな。 swapって言ったらCのqsortなんかが真っ先に思いついたわけだ。 でもって、まぁHaskellじゃ使わんなと思って出番がないと書いたんだが、、、 しょうもないことに一々絡まんでも。 というか、C言語とかあんま使ったことないでしょ？ 472 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 23:11:17.90 ] >>471 絡むってほどのつもりでもなかったけど・・・ Ｃは確かにあまり使ってないなぁ・・・ 最近は、データ構造の定義がＨａｓｋｅｌｌと似てるなー・・・とか思いながら、ぼんやり復習してるけど 473 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 23:18:12.48 ] >>471 俺も別に絡むわけじゃないが >>468 では Haskell で swap の出番があまりない理由が 「Haskell では sort が簡単だから」に見たから もし仮に Haskell の標準ライブラリで sort が実装されてなかったら、 swap を使って実装する気だったのかなと思って 474 名前：デフォルトの名無しさん mailto:sage [2012/01/29(日) 23:28:13.17 ] よくよく考えてみると swapの最大の利点はデータの長さを変えずに済むことなんだよな だから配列操作に有難がられるわけだ 475 名前：470 de 472 mailto:sage [2012/01/30(月) 00:04:53.69 ] >>473 ごめん・・・ 標準でsortあるの？ Ｈａｓｋｅｌｌ入門中で、マージソートもクイックソートも自作したけど、swap使わんかったんで書き込んだんだけど、sort関数あるの知らんかった・・・ ソートって、基本、交換じゃなくて、並べ替えだから、リストの切り貼りで出来るから、swap要らんという意味だったのかと・・・ たぶん、純粋に交換したい時しかswap使わないと思われ 要素が少なかったら、コード上で直接交換できるし・・・ --３要素のリスト限定。（大抵、こういう処理はタプルでするっぽいけど） swap3rd a:b:c:[] = c:b:a:[] 476 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 00:12:01.81 ] >>475 > Ｈａｓｋｅｌｌ入門中で、マージソートもクイックソートも自作したけど それは大変素晴らしいことだ ただ、ソート関数自体は Data.List に既にある ライブラリドキュメントを見てみ （そのドキュメントからソースの中身も見れる） 477 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 00:29:00.75 ] >>476 ・・・orz ま、まあ、元々アルゴリズムの勉強不足だったから、良いんですけどね・・・ 478 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 08:40:36.13 ] マージソートはswapじゃなくてリストを対象としてできるぞ？ 479 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 10:55:57.11 ] ソートがないと思えるのも、 これまた凄い感覚で好きだぜw 480 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 18:27:21.44 ] >>464 おまえ、正真正銘の馬鹿だな。 >>424のリンク先は１組swapする関数で、以後それをベースにした議論が続いていた。 >>424とは異なる前提で議論をしたければ、それを示せ。それが議論ってもんだ。 自分の勝手な妄想が他人にも共有されていると思うほうが よほど応用力がないオナニー野郎だ。 自分の勝手な妄想を行間などと呼んで、他人にも自動的に賛同してもらえているなど、 正常な判断能力を持つ人間とは考えられない。病院いけ。 481 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 19:37:07.68 ] >>480 それをいうなら、>>445で最初に前提覆してるのはおまいさんだろ・・・ と言うか、自分もおまいさんと同じ意見のつもりで>>437書いてたんだが？ swapは > １、リストの中身を配列に移す > ２、配列で値を交換 > ３、配列の中身をリストに戻す の２で使うだけだろ １と３は前処理と後処理 それをおまいさんが>>438で煽るから、どんな画期的な手法が出てくるのかと期待してたのに・・・ 482 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 19:47:22.37 ] >>481 すまんが、>>445はn回まとめてswapを「否定する」内容だと思うぞ。 483 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 19:51:58.64 ] >>481 > swapは > > > １、リストの中身を配列に移す > > ２、配列で値を交換 > > ３、配列の中身をリストに戻す > > の２で使うだけだろ > １と３は前処理と後処理 え？1,2,3全部で「リスト要素対のswap」じゃないのか？ 実際、>>424のリンク先のコードも「リスト要素対のswap」だし。 冷静になって論点を整理してみたら？俺は>>438に同意だ。 「リスト要素対のswap」の実装で配列にコピーしてからswapして またリストを作りなおすとか、最初にeliminateする実装だ。 484 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 20:11:13.37 ] >>482 なるほど、合点がいった じゃあ、結局、たった一回リストの中身を交換するswap関数は、Ｃのようにリストと配列がはっきりデータ構造として区別された言語ではどのような処理を行うのがベテランの手法なのだろう・・・ その回答は出てない気がする 私はベテランではないし、最早、>>438に初心者認定されてるしな 485 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 20:59:22.54 ] >>480 話と全く関係ないが、感動した。そうだ行間、行間だ。 行間を読めというやつは何処か特徴的だ。 486 名前：デフォルトの名無しさん mailto:sage [2012/01/30(月) 22:59:47.18 ] 唐突だが、monad-parallel パッケージってめっちゃ便利だな 例えば複数のIOモナドをひとつのリストに全て入れて Control.Monad.Parallel.sequence_ 呼べば勝手に並列処理してくれる プログラムソースが非常にスッキリした 今まで pseq や par を駆使してたのがアホらしくなったわ （monad-parallel パッケージの中で駆使されているんだが） 487 名前：デフォルトの名無しさん [2012/01/31(火) 18:43:29.33 ] 5 :: Int と 5 :: Integerと何が違うのですか？ 488 名前：デフォルトの名無しさん mailto:sage [2012/01/31(火) 19:16:11.30 ] >>487 5::Int の型は Int になって、 5::Integer の型は Integer 型になる よって、この 5 の部分が例えば 2147483648 だと結果の値が変わってくる 489 名前：デフォルトの名無しさん mailto:sage [2012/01/31(火) 19:21:46.24 ] >>487 Ｉｎｔは３１ビットで表現できる範囲の整数しか扱えないが、速い（Ｃ言語で言うところのintだが、１ビットは型推論に使用） Ｉｎｔｅｇｅｒはメモリの許す限り大きな整数も扱えるが、遅い 490 名前：デフォルトの名無しさん mailto:sage [2012/01/31(火) 19:40:11.07 ] >>489 GHCのIntは32ビットまたは64ビットだよ Intが31ビットの処理系があってもいいけど、余った1ビットの用途は普通GCで型推論じゃないよ 491 名前：デフォルトの名無しさん mailto:sage [2012/01/31(火) 19:42:57.63 ] objectの型をあらわすタグかな？ 492 名前：デフォルトの名無しさん mailto:sage [2012/01/31(火) 19:59:59.24 ] >>490 ごめん。ＧＣだったっけ Ｊａｖａとかは３１ビットとか無いよなー・・・とか考えて、型推論にしたけど、確かに昔３１ビットって聞いたんだが、改めてググってみたら、昔は３０ビット、あるいは３１ビットだったけど、今は３２ビットなんだな。 （６４ビットコンパイラは６４ビットＩｎｔ） www.haskell.org/ghc/docs/7.0.3/html/libraries/ghc-prim-0.2.0.0/GHC-Prim.html 493 名前：デフォルトの名無しさん mailto:sage [2012/01/31(火) 20:32:31.44 ] simonpj先生らのboxing/unboxing研究のおかげ。> word一杯のInt 494 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 12:33:11.89 ]  ttp://www.snoyman.com/img/book-cover.png 495 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 12:35:57.99 ] >>494 HaskellでのWebフレームワークは面白そうだから興味はあるんだが、いかんせん、 遊びでやるにしてもその前に学ばなければならないことが多いんだよな 496 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 12:41:38.35 ] 僕のweb framework処女はyesodに捧げます＞＜ 497 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 13:38:07.92 ] >>494 こういうのが本になっちゃう所がすごいね shop.oreilly.com/product/0636920023142.do 498 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 15:00:41.95 ] オライリーの中の人の選球眼が良いんだろうねぇ 499 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 15:03:27.03 ] すのいまんは108人いる 500 名前：デフォルトの名無しさん mailto:sage [2012/02/01(水) 15:46:12.82 ] すのいまんって グアルディオラみたいな顔してるね。 501 名前：デフォルトの名無しさん [2012/02/01(水) 20:49:46.05 ] ruby on railsに似たFWってあります？ 502 名前：デフォルトの名無しさん [2012/02/01(水) 21:28:18.68 ] 市原警察署生活安全課の創価警官名言集 「俺のおかげで家から出れなくした。俺の手柄だ！」 「昼間は市役所のパトロール隊を使う。夜は消防団を使う。」 防犯パトロールと称する近所の創価学会員が 中学生を口実にした何年にも渡る誹謗中傷行為や人権侵害行為について 市原警察署生活安全課の創価警官の指導でやってあげているんだと発言したことについて 「指導じゃない、パトロールをお願いしてるだけだ。俺の責任じゃない！」 いくら創価学会員が集団で誹謗中傷を繰り返しても 調べれば何の前科もない事くらいすぐわかるのに 創価学会員の発言に根拠のない点については完全無視 帰化人の創価学会員が当たり前のように警官になれてしまう狂った世の中 503 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 08:42:57.25 ] 諸君、ホットな話題は？ 504 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 15:52:10.78 ] 相変わらず俺がモナド理解できない圏に付いて 505 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 17:33:55.88 ] 圏論に懐疑的な人の方が攻略が早い 506 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 18:48:41.28 ] アローはモナドにできる事が全てできます。 アローにできるがモナドにできない事もあります。 アローにはモナド則のような余計な規則がありません。 アローはモナドより理解しやすく圏論を知らなくても理解できます。 だからアローがあればモナドは不要です。 モナドは今となっては無駄に挫折者を増やす過去の遺物です。 Haskellはモナドを全廃しアローに置き換えるべきだと思います。 507 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 19:26:50.37 ] >>506 > アローにはモナド則のような余計な規則がありません。 モナド則は「余計」でアロー則は「余計ではない」理由が分からない もっとちゃんと説明して欲しい 508 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 19:34:54.82 ] >>406 > アローはモナドにできる事が全てできます。 この理屈だと、Control.Applicative なども要らない と言っているように感じる しかし、実現したい計算と式に関して、 必要十分な機能は何かと考えることは大事だと私は思う なぜなら、そう考える過程で計算と式が洗練されていくからだ 何でもかんでもアローでプログラムするのは、 プログラミングを不必要に複雑にする事に繋がりかねない 509 名前：デフォルトの名無しさん mailto:sage [2012/02/03(金) 19:39:08.83 ] >506 >アローはモナドにできる事が全てできます。 >アローにできるがモナドにできない事もあります。 逆じゃね 510 名前：デフォルトの名無しさん [2012/02/03(金) 22:50:53.19 ] アローの良質な入門サイトを紹介して下さい(勿論日本語の) 511 名前：デフォルトの名無しさん [2012/02/03(金) 23:22:13.48 ] アロー演算子ならまかせろ！ 512 名前：餃子チョコレート ◆8X2XSCHEME mailto:sage [2012/02/03(金) 23:25:47.33 ] >>510 こういうのはどう？ d.hatena.ne.jp/MaD/20070816#1187319817 513 名前：デフォルトの名無しさん mailto:sage [2012/02/04(土) 00:05:18.95 ] >>506 Arrowの心 d.hatena.ne.jp/MaD/20070816 >Monadと同様にArrowにもArrow則という規則があります。 > 1. (a >>> b) >>> c = a >>> (b >>> c) > 2. arr (g.f) = arr f >>> arr g > 3. arr id >>> a = a = a >>> arr id > 4. first a >>> arr pi1 = arr pi1 >>> a > 5. first a >>> arr (id X f) = arr (id X f) >>> first a > 6. first a >>> arr alpha = arr alpha >>> first (first a) > 7. first (arr f) = arr (f X id) > 8. first (a >>> b) = first a >>> first b 514 名前：デフォルトの名無しさん mailto:sage [2012/02/04(土) 13:28:24.89 ] >>512 読みました＼(^O^)／ 515 名前：デフォルトの名無しさん mailto:sage [2012/02/04(土) 17:10:59.19 ] 要約すると「Arrow はパズル」。 516 名前：デフォルトの名無しさん mailto:sage [2012/02/04(土) 17:41:35.25 ] > とりあえずfirstについてのルール4,5,6,7,8は無視します。 ワロタ 517 名前：デフォルトの名無しさん [2012/02/05(日) 10:47:39.79 ] ghciで階乗の関数factを定義しようとしてるのですが、以下のようにすると Prelude> let fact 0 = 1 Prelude> let fact n = n * fact (n - 1) Prelude> 先週まではうまく行ってたのに、急になぜかうまくいかなくなりました。 Prelude> fact 10 ^CInterrupted. Prelude> fact 10とかやると永遠に返って来ません。 どうもlet fact 0 = 1のあとにlet fact n = n * fact(n-1)とやるとfactの定義が上書きされてる みたいなのですが、何か間違ってるでしょうか？ 518 名前：デフォルトの名無しさん mailto:sage [2012/02/05(日) 12:44:07.59 ] >>517 ghci上ではこうやるといいです let fact 0 = 1; fact n = n * fact (n-1) 先週か今週にかけて ghc のバージョンアップをしたのでは？ ghciの仕様が変わったかどうか詳細は知らないので、原因は違うかもですが 519 名前：デフォルトの名無しさん [2012/02/05(日) 13:16:48.53 ] >>518 ありがとうございました。動きました。 先週までは Prelude> let func1 'a' = "aaa" Prelude> let func1 'b' = "bbb" こう書けてたと思うんですが、自信がなくなってきました。上のも、こう書けば動きました。 Prelude> let func1 'a'="aaa"; func1 'b'="bbb" ありがとうございました。 520 名前：デフォルトの名無しさん mailto:sage [2012/02/06(月) 18:39:55.29 ] HaskellはHTMLに<?haskel ?>のように 埋め込めますか？ 521 名前：デフォルトの名無しさん mailto:sage [2012/02/06(月) 18:43:44.18 ] >>520 埋め込んだらええやん それを解釈して正式な HTML や JavaScript なんかに変換する サーバーアプリに通せばええよ 522 名前：デフォルトの名無しさん mailto:sage [2012/02/06(月) 18:51:15.58 ] なんちゅう名前のサーバアプリがええんですか？ 523 名前：デフォルトの名無しさん mailto:sage [2012/02/06(月) 19:16:46.10 ] >>522 そんなん自分で作るんちゃうんかいな 探したって無駄やさかい 524 名前：デフォルトの名無しさん mailto:sage [2012/02/06(月) 19:32:44.58 ] >>523 ホンマですか？　えらい難儀な話ですけど、しゃーないですね。 スレ汚しすんませんでした。 525 名前：デフォルトの名無しさん mailto:sage [2012/02/06(月) 20:25:45.57 ] >>523 てげよだきー 526 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 07:07:30.44 ] んじちゃーぴら 527 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 07:48:14.32 ] a_1 = a_2 = 1, a_n+2 = a_n+1 + a_n a_9 = a_8 + a_7 　　= (a_7 + a_6) + a_7 でa_7をグラフ簡約してくれるようにするにはどうしますか？ まさか a_7 を２度計算するなんて事になったら 土砂降りの中、滑って転んだ野良犬のような惨めに打ちのめされた気分になります 　　= (a_7 + a_6) + [a_6 + a_5]_7 　　= (a_7 + [a_5 + a_4]_6) + [a_6 + a_5]_7 　　= (a_7 + [a_5 + a_4]_6) + [a_6 + [a_4 + a_3]_5]_7 　　= (a_7 + [a_5 + [a_3 + a_2]_4]_6) + [a_6 + [a_4 + a_3]_5]_7 　　= (a_7 + [a_5 + [a_3 + a_2]_4]_6) + [a_6 + [a_4 + [a_2 + a_1]_3]_5]_7 　　= (a_7 + [a_5 + [2 + 1]_4]_6) + [a_6 + [a_4 + [2]_3]_5]_7 　　= (a_7 + [a_5 + [3]_4]_6) + [a_6 + [3 + [2]_3]_5]_7 　　= (a_7 + [5 + [3]_4]_6) + [a_6 + [5]_5]_7 　　= (a_7 + [8]_6) + [8 + [5]_5]_7 　　= (13 + [8]_6) + [13]_7 　　= 34 ってイメージで 528 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 18:48:44.70 ] >>527 何らかの形で共有を明示するしかない たとえば fib = 1 : 1 : zipWith (+) fib (tail fib) 529 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 21:57:38.51 ] >>528 フィボナッチ以外でも適用できる汎用的なノウハウが欲しいです 寧ろ数列計算よりシミュレーション的な 将棋の次の一手の探索みたいな 530 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 22:02:40.24 ] ・処理するには新しい処理が芋蔓式に出現する ・それらの多くが頻繁に共通にあらわれる・共通処理は省かないと総処理は天文学的オーダーで膨れ上がる こういうケースの汎用指針が欲しいです 531 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 22:07:23.01 ] DPを自動でやりたいように見えた 532 名前：デフォルトの名無しさん mailto:sage [2012/02/07(火) 22:09:06.55 ] >>530 メモ化ね 汎用指針は、計算済みの値を捨てないで保存しておくこと IOとかStateモナド上で状態にして引き回してもいいし、 >>528みたいに、全部の値を含む(場合によっては無限の)データ構造を定義してもいい 533 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 07:20:52.45 ] >>531 「芋蔓式に出現する」の意味がよく分からないけど、新しい式を書き加えてなんどもコーディングするっていうことなら、トップレベルに定義していけばよいんじゃないの？ コーディングを繰り返さないなら、>>532のいうようにメモ化を求めているんだろうけど、将棋の次の一手とかメモ化したら空間オーダが爆発しそうだな。 それで解決できるなら、将棋の決して負けない手順がすでに明らかになっているだろうし。 そのレベルのことをどうしてもやりたいなら金に糸目を付けず並列クラスタを作るしかないんじゃないの？ 534 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 07:50:15.51 ] 「Stringはオワコン。これからはText」って言われてるのを見て Data.Text を使おうとしたけれど、なんで index が O(n) なの？ 中身はただの配列だと思ってたのに。 hackage.haskell.org/packages/archive/text/0.11.1.13/doc/html/Data-Text.html 535 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 09:20:34.12 ] データはコピーしないで、リストでデータの在処を持ってるんでしょ。 lastがO(1)だからケツも押させてるんだと思う。 536 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 11:41:41.19 ] >>535 ありがとう。 ソースをざっと見てみたら、配列・オフセット・長さの組を使っているようだっ た。単なる配列じゃないのは、部分文字列(tail とかで)でコピーしなくていい ようにするためらしい。 で、index が遅いのは、Unicode のサロゲートがらみみたい。index s n の n が文字数なので、サロゲートがあると配列のインデックスとずれてしまうせい で、先頭か最後から順番に数えてるようだった。length が O(n) なのも、たぶ んそれが理由。 ちょろっと眺めただけなので、まちがってるかも。 とりあえず String より遅くはなさそうなので、もうちょっと試してみます。 537 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 12:05:29.10 ] とにかくでかいデータ用だぜ。 538 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 12:10:04.92 ] 時代はUTF32 539 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 12:35:16.38 ] UTF48 540 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 13:42:13.86 ] >>515 じゃあパズルをとこうぜ。 www.amazon.co.jp/gp/product/0486281523/ www.amazon.co.jp/gp/product/0486653552/ 541 名前：デフォルトの名無しさん mailto:sage [2012/02/08(水) 18:37:49.70 ] >>539 warota 542 名前：デフォルトの名無しさん mailto:sage [2012/02/10(金) 21:18:58.47 ] QuickCheck って Monad もテストできるのずっと気づかなかった 543 名前：デフォルトの名無しさん mailto:sage [2012/02/10(金) 23:30:34.09 ] 本屋に行ったけど、RWHしかなかった 人気ないのかな… 544 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 02:30:53.27 ] >>543 人気の定義による。 ・プログラマー人口内のシェア？ →世間のビジネスの９割以上は単純な事務作業なので、 そういう処理を書ける言語はHaskell以外に沢山ある。 ちなみに、書店はシェア重視。 ・ある問題領域で解決したい課題を持つ者にとって、ロジックを実装しやすいか？ →自分と同様の問題領域の人を探したほうがいい。 545 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 08:27:54.18 ] >>543 RWHの和訳って前半部分がいまいちわかりにくいのが残念。 また、あのままでGHC7以後で動かそうとすると、ちょっと面倒なところ が出てる。だから、改訂版に期待したいんだがな。 546 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 08:30:21.86 ] ・Haskell高速化テクニック なんて本がでないかな？ 547 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 08:31:18.34 ] 言いだしっぺの法則 548 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 08:40:30.32 ] オライリーが投資を回収できてれば次も期待できると思うが、どうなんだかね 549 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 09:05:15.98 ] yesod本がでるくらいだから、RWHは収益が上がってるんじゃないかと？ >>547 残念だけど、教えて欲しい立場。人にチューニングを語れるほどじゃないし。 550 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 09:23:04.02 ] Haskell wikiのPerformanceの項とかmkothaさんの記事 ghcのドキュメント ghcのプロファイリング機能とかcriterionパッケージ thread scope 最終的には諦めてC++/Asmで書く 551 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 12:12:58.97 ] クリテリオンんて何かワクワクする語感だな アニメでいうとロボものだろう 552 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 12:46:57.36 ] クライテリオンな まぁ別にどっちでもいいことだけど 553 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 13:56:27.61 ] 超聖判規クライテリヲン 554 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 19:24:57.36 ] あ、関節の病気か。 555 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 23:32:33.40 ] 2日に GHC のバージョンが 7.2.2 から 7.4.1 に上がってたのか ghci 上で data や instance なんかの宣言ができるようになってた これは便利 それはそうと、さっさと実行時に利用コア数を変えられるようにしてほしいものだ 556 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 23:50:35.15 ] setNumCapabilities 増やせるだけで減らせないみたいだけど 557 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 23:54:08.17 ] we recommend installing the Haskell Platform instead of GHC. The current Haskell Platform release includes a recent GHC release as well  as some other tools (such as cabal), and a larger set of libraries that are known to work together. と書いてるからさ、５月まで待ったほうがいいんじゃない？ <7.4.1 558 名前：デフォルトの名無しさん mailto:sage [2012/02/11(土) 23:59:10.81 ] GHCの代わりにHaskell Platformをインストールするのを薦めとくわ。いまの Haskell Platformは最近のGHCを含んでいて、おまけに、他のツール（cabalと かね。）も動くし、よく使われてるライブラリも動くからさ。 だとさ、と意訳しとく。 559 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 00:00:24.87 ] 既存プロジェクトの移行はライブラリが7.4に対応するまで待つとしても、 普段は最新版使った方が楽しい 560 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 00:03:51.27 ] Debian系統だとHaskell Platformは単なる仮想パッケージ。 561 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 00:06:35.18 ] >>559 まあ、こなれた人ならそうかもしれない。でも、ここって、いろんな人が いるから、一応書いといた。こなれた人ならトラブルに出会っても、解決 できるだろうし、それが楽しいもんな。 https://groups.google.com/forum/?fromgroups#!forum/haskell-jp でも、しんさんがリリースのメールに注意書きがされているけどね。 562 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 08:01:47.18 ] someRecord{someField = f $ someField someRecord} haskellのレコード構文って何でこんなきもちわるいの フィールド一つ書き換えただけの新しいレコードが欲しいだけなのに 563 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 08:17:24.52 ] ご覧下さい このクランケの症例では ・碌に調べもしない ・煽る事で住人達に答えさせようとしている 点が伺えます これらは怠慢横柄病患者に共通に見られるのです 564 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 08:37:41.32 ] バレたか・・・ いやまあ、自分で調べなかったわけでもないんだけどな ほぼ無理なのは分かってる 565 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 08:40:12.60 ] 本当の地獄はレコードをネストさせてからだ… 566 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 11:11:24.92 ] >>562 どういう書き方ができると良かったの？ 567 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 11:22:02.57 ] >>556 増加だけでもできるようになったのか リリースノートを斜め読みしてたから見逃してた 568 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 11:34:11.27 ] ネスとされたレコードの書き換えはdata-accessorとかlenseとか使うと少しは楽になるけど これパフォーマンスどうなるんだろうという不安が出てくる 569 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 11:35:43.98 ] >>568 神に従え 570 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 12:17:15.85 ] >>566 SomeRecordとSomeFieldを二回も書きたくないというか フィールドと同名のgetterを自動生成するような動きを許容したのなら もっとはっちゃけて欲しかったというか テンプレート？　テンプレートなぁ・・・ 571 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 12:29:24.18 ] TemplateHaskellの有用性はlispが示している 572 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 13:23:20.06 ] >>570 そうは言っても、「汎用的にするなら」 少なくとも 1. 何のデータ型の（値の） 2. 何のフィールドを 3. どう変えるのかを この３つのは何らかの形で指定する必要があると思うが 573 名前：572 mailto:sage [2012/02/12(日) 13:31:17.15 ] >>570 すまん、不満点をちょっと勘違いしてたみたいだ こういうことか someRecord { someField = f $ someField someRecord } {} 前の someRecord の部分が型構築子じゃなく値構築子の場合、 f $ someField someRecord の someRecord 部分は明白だから省略可能 こうなれば、幾分スッキリするな 574 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 15:04:59.49 ] Cabal でライブラリをインストールする時、 オプションで library-profiling を有効にすると、 そのライブラリもプロファイリングの対象にできるよね これって、プロファイリングしないで普通に使う時は 遅くなったりしない？ 575 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 15:11:00.59 ] -pを使うとパッケージを二通りコンパイルする ので遅くならない 576 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 15:31:06.20 ] >>575 そっか、安心した ありがと 577 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 19:23:37.68 ] Yampa の par 関数の型について質問です。 （他のパラレル系関数もですが、代表して par を選びました） par :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF a (col c) このルーチン関数の sf という型変数には、SF b c 以外入ることは無いと思うのですが、 単純に a -> col (SF a b) -> col (b, SF a b) という型では何がいけなかったのでしょうか 578 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 21:52:55.77 ] Cabal で --enable-documentation とやっていっしょにインストールされるドキュメントに、 ソースコードへのリンクが貼られるようにする方法はないのでしょうか？ HackageDB のサイトで見られるドキュメントみたいにしたいです 579 名前：デフォルトの名無しさん mailto:sage [2012/02/13(月) 10:41:10.37 ] >>577 スライドとか論文だと確かOpacity(透過性？)のためとか書いてあって、 俺も正確な意味はよくわからなかったんだけど、 SFを書き換えられるような関数を渡せるのを防止してるんじゃないかな。 route a xs = [(a, identity)] みたいな、コレクションの中身を無視して出所不明のSFにしちゃうような。 580 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 05:11:31.94 ] F#を始めたのだが、モナドで行き詰まっている。 F#の本にはモナドのことが書いていない。 で、ネットでモナドのことを収集すると、ハスケルのがほとんど。 F#での説明もあるが、なんか解りづらい。 で、モナドって何ですか？ 関数型プログラミングをやるにはモナドが必須ですか？ どなたか教えてください _o_ 581 名前：580 mailto:sage [2012/02/16(木) 05:15:46.89 ] ちなみに数学科出身ですが、圏論は知りません。 習った覚えがありませんし、仮に習っていても記憶にないのだから、習っていないのと同じです。 582 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 05:48:37.15 ] モナドはモナド則そのもの。 使い方としてはモナド則を頭に入れてからListモナドとStateモナドを理解すれば後は大体類推が利く。 F#でどうなのかは知らないが、少なくともHaskellで何か書こうと思ったらモナドは必須。 まあ「モナドとは何か」みたいな話は過去スレ遡ればいくらでも出てくるよ。 583 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 08:10:51.47 ] わかればわかるけど、モナドはモナド則そのものってのが禅問答みたいで わかりにくいんだよなぁ。。 Haskellのクラスは、C++でいう抽象クラス見たいなもので、 Haskellのモナドがクラスでどう定義されてるか調べていけば、 意味はわからなくても、使い方はわかると思うよ。 モナドの意味は使っている内に、なんとなくわかるようになる、、、と思う。 584 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 09:19:10.08 ] コンポーネントのようでコンポーネントでない 象のようで象のようでない さてはモナドって南京弾簾だろ！ 585 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 09:37:41.55 ] Haskell 最大の失敗はモナドにモナドという名前をつけたことにある。 もっと「もこもこ」みたいな可愛い名前にすれば大流行していた。 とか講演でいってたな。 586 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 09:48:34.02 ] 名前はモナドのまま、バインド演算子を （ ´∀｀）みたいなのにすれば良かったのではなかろうか 587 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 09:51:36.68 ] ガンダムで頼む 588 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 10:16:54.54 ] >>585 そのソースはどこよ？w 589 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 13:28:49.11 ] >>588 元ネタはこれのはず。 Wearing the hair shirt: a retrospective on Haskell (2003) Simon Peyton Jones, invited talk at POPL 2003. research.microsoft.com/en-us/um/people/simonpj/papers/haskell-retrospective/ Our biggest mistake Using the scary term "monad" rather than "warm fuzzy thing" 590 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 14:37:03.09 ] 2011年版はビデオで見られる。ちょっと重いけれど。 Escape from the Ivory Tower: The Haskell Journey, from 1990 to 2011 yow.eventer.com/events/1004/talks/1054 簡単だけど32分あたりに "warm fuzzy thing" が出てくる。 各銀行が秘密の Haskell 部隊を雇ってるって話はどこまで本当なんだろう。 591 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 15:37:45.12 ] >>583 なんでこのなものが要るのか直感的に分からないってこと？ 592 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 15:56:24.13 ] >>585 そして処理が一本道だから もこもこで一本道 略して もこみち とかどうよ？ 593 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 16:21:24.02 ] >>583 Haskellの型クラスはC++の抽象クラスとは全く違うよ。 オブジェクト指向の考え方は捨てるべき。 594 名前：デフォルトの名無しさん [2012/02/16(木) 18:14:54.42 ] Haskellとオブジェクト指向は根本的に違うから例えて考えるのは実際の処理挙動ぐらいにしたほうが…… 595 名前：デフォルトの名無しさん [2012/02/16(木) 18:27:40.48 ] C++にはクラスという機能を用いて現実世界の概念を抽象化することに成功し、直感的な設計・実装が行えるようになった Haskellでは、どのようなパラダイムがこれから出てくるのか 私はそれが楽しみでならないのです って去年死んだおじいちゃんが死ぬ間際に言ってた 596 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 18:49:29.40 ] ぷうぷう！ 597 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 19:05:35.61 ] もこもことかモコナとかそういうかわいいのはいらない モサドにしよう 598 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 19:24:01.77 ] >>595 Haskellは遅延評価という機能を用いて現実世界の手順を隠蔽することに成功し、 宣言的な設計・実装が行えるようになりました。 しかしHaskellは関数型言語からは踏み出さないだろうから、新しいパラダイムは Ozのようなマルチパラダイム言語に期待すべきだろうと思えてならないのです。 って友達がさっき言ってた。 コンピュータプログラミングの概念・技法・モデル toro.2ch.net/test/read.cgi/tech/1196257692/ 599 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 19:27:51.75 ] Ozはｵﾜlan 600 名前：餃子チョコレート ◆8X2XSCHEME mailto:sage [2012/02/16(木) 20:52:04.09 ] うまいな。 一瞬「終ったランゲージ」と思わせといて実は「終わらん」というダブルミーニングですね!! 601 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 22:13:47.28 ] >>593 そう？ 「Learn You a Haskell for Great Good!」には、JavaのInterfaceみたいなのと 考えたほうがいいって書いてるけど。 全く違うっていうならどう考えればいいか説明してほしいな。 602 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 22:27:34.65 ] >>591 最初、(>>=)はただ関数に引数にして渡すだけじゃないか、なんで必要なんだとか思ってた。 他のもなんでこんなのが必要か理解できなかったよ。 変な型修飾付けるせいで、型が違うって怒られるし。 でもそうやって好き勝手書けないようにするのが狙いなんだな。 603 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 22:46:41.67 ] デザインパターンみたいなもの、でいいと思うけどな > モナド 604 名前：デフォルトの名無しさん mailto:sage [2012/02/16(木) 22:56:34.58 ] 私は >>593 ではないのですが、逆に訊きたいです Haskell の型クラスと Java のインターフェイスにおいて、 考え方の共通点とは何でしょうか それは、コンパイル時にどう解釈されるかというレベルの共通点でしょうか それとも、アプリケーションを作る上での指針となるくらいのレベルの共通点でしょうか 605 名前：604 mailto:sage [2012/02/16(木) 22:57:13.58 ] >>604 すいません、>>601 に対しての質問です 606 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 03:06:37.40 ] Haskellのclassはplatformに改名しろ 607 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 04:24:56.80 ] 型を集合だと考えれば型クラスって命名は自然 608 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 04:41:03.84 ] 型(type)のメタ概念として類(class)という名前を採用することは間違っていない ただし、これだけオブジェクト指向の概念が普及しているのが現実なのだから、 それを配慮した命名が望ましかった(かもしれない)ということ これをHaskellの傲慢さと見るか、それとも数学的に正しい命名であると見るかは 判断が分かれるところ 609 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 04:50:13.16 ] オブジェクト指向のclassが類と無関係だと思ってるっつーか、 類をモデルにしているのはtype classだけだとか思ってるところが Haskellerの傲慢さじゃないの？ 610 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 05:12:11.76 ] simula(I,67) staff.um.edu.mt/jskl1/talk.html smalltalk(80) web.cecs.pdx.edu/~harry/musings/SmalltalkOverview.html#The%20Smalltalk%20Object%20Model これ参考にCからC++とObjCができたのか。 611 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 06:49:42.48 ] >>609 オブジェクト指向のclassって命名にケチつけてるなら Haskellerは傲慢だけど、そうじゃないよね？ 612 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 07:36:36.25 ] オーバーロードは必要でオーバーライドは不要だと思ってるところが傲慢だ 613 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 09:25:13.67 ] >>580 ここは読んだか？ www4.atwiki.jp/fsharpmaster/m/pages/13.html 614 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 09:28:48.05 ] >>550 Johan TibellのHaskell Performance Patterns talkのスライドも このリストに追加の資料になりそう。 615 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 11:31:01.99 ] >>604 全く同じとまでは言わないけど、 Haskellのtype ≒ Javaのclass と考えたときに、 Javaのinterfaceがclassにまたがって横断的に制約を作れるというところが、 Haskellの型クラスがデータ型を横断して共通の「クラス」を作れるところ と似てるって言ってるんじゃないの。 とりあえず最初の入り口から何でも違う違う言ってたら、誰もHaskell始められないよ。 616 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 11:43:00.28 ] >>615 このスレを見て面白そうなので僕は今日から始めました。 617 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 12:42:29.71 ] >>615 ということは、それはコンパイル時の解釈の問題ですよね >>593 は > オブジェクト指向の考え方は捨てるべき と言っており、これはアプリケーションを作る指針となる考え方において、 抽象クラスとは違うことを言っているように思えます もしそうなら、それに対する反論としての >>593 は的外れだと思います >>583 も、わかればわかるけど、モナドはモナド則そのものは解りにくいと言ってることから、 入門レベル（最初の入り口）は通り過ぎているものと思われます。 > とりあえず最初の入り口から何でも違う違う言ってたら、誰もHaskell始められないよ。 それはそうですが、それとは別問題として、話が噛み合っていないような気がします 618 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2012/02/17(金) 13:03:38.71 ] 俺もあんまり「××のようなもの」っていう解釈はしない方がいいと思ってる。 部分的に機能がかぶるだけで類似性を見出していたのではそれに引き摺られて根本的なパラダイムの理解に進み難い。 619 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 13:25:22.45 ] type classってオーバーロードと型推論を両立するための妥協だから パラダイムみたいな高尚な概念じゃないよ 620 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 13:34:40.12 ] そんなこと言ったらOOPにだってパラダイムなんて高尚なもん 一つも無ぇっつーの 621 名前：615 mailto:sage [2012/02/17(金) 14:08:40.22 ] >>617 話の流れ見てなかった。すまんかった。 だからケンカしないで。 622 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 14:17:39.16 ] >>617 横レスだけど、 ・オブジェクト指向のクラスもHaskellの型クラスも 　「抽象データ型」の実現という意味では似ている(>>615) ・オブジェクト指向の「インヘリタンス」とHaskellの「アドホック型多相」とは 　型システム理論という意味では全く違う(>>593) ということじゃないのかな？ 各用語の意味は、自分で調べてね 623 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 14:31:40.54 ] >>622 OOPの「継承」は部分型多相では？ 624 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 14:34:40.69 ] >>623 オーバーライトや疑似変数selfなんてのは、部分型多相には存在しない概念/理論 625 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 14:46:11.83 ] >>623 なるほど。型理論勉強します。 626 名前：625 mailto:sage [2012/02/17(金) 14:46:38.91 ] >>624 だった 627 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 14:58:14.86 ] >>619 型クラスにはアドホック型多相という理論的基盤があるから、 それはいわゆる「高尚」と表現してもかまわないんじゃまいかと思う >>620 OOPの継承というのは直感的かつ曖昧なもので、その足場は非常に不安定 だからオブジェクト指向について１０人に尋ねれば、１０人それぞれが異なった解釈を返す そんな代物を「高尚」とは、とても呼べないんじゃまいかと思う 628 名前：627 mailto:sage [2012/02/17(金) 15:10:40.81 ] 訂正 X: OOPの継承というのは.... O: OOPというのは.... 629 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 15:18:03.49 ] >>624 概念/理論は存在したり存在しなかったりするんだな・・・ それなら概念/理論を教えるよりも実装を教える方が良い 630 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 15:22:36.71 ] 例えばC++で言うところのオブジェクト指向とは ・情報隠蔽 ・継承 ・ポリモーフィズム でした 631 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 15:26:42.34 ] オーバーロードをアドホック多相と言いかえると何か凄そうに見えるテクニックはテストに出ます 632 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 15:39:17.02 ] >>629 >概念/理論は存在したり存在しなかったりするんだな・・・ え、オーバーライトや継承の概念を含む、いわゆる「継承の型システム」に関する理論は、 いくつか存在しているよ 足りないのは動的なメソッド結合(ダックタイピング)や動的な型付け(メタプログラミング)の理論 そんな完成した静的型付けな型システムの一つを実装したのがObjective-Caml ただし、(Objective-CがOOとCのハイブリッド言語であるように) 部分型多相と継承は理論的に全く違うから、両者のハイブリッドになっている 結果として、残念ながら「関数型パラダイムにおけるオブジェクト指向」という理想には程遠い 633 名前：632 mailto:sage [2012/02/17(金) 15:41:17.07 ] また訂正 X: オーバーライトや継承の概念を含む、.... X: オーバーライトや疑似変数selfの概念を含む、.... 634 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2012/02/17(金) 15:48:26.21 ] >>633 また訂正ですね!! 635 名前：632 mailto:sage [2012/02/17(金) 16:17:42.90 ] >>634 ...orz すぐに分かってくれたようだから、あえて訂正しないw >>631 MLやHaskellでは、JavaやC++のようなNullPointerExceptionやBusErrorは発生しない 型に関するミスは、コンパイル時にすべて検出できる それが、理論的背景のある型システムの「凄さ」だと言える 次のテストに出すかもしれないから、よく復讐しておくように 636 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 16:40:57.39 ] 別に凄くない むしろ、すべてに責任をもつことはできないから責任を限定する理論が必要になる 型に関するミス以外は管轄外だし プログラマーが勝手に Nothing とか [] を使うのは自己責任 637 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 16:47:11.46 ] 言語の中でNullを扱わなくなっただけで、Nullみたいな値の濫用の余地は残るわけですよね。 昔のCOBOLはNULLが扱えなくて0000や9999などの値で成功失敗とか表現していましたし、そういうシステムはかなり多いと聞いています。 つまり、NULL無いんなら0000や9999でいいやと思うような人には型システムなんて意味ないんじゃないでしょうか？ 638 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 16:56:36.58 ] >>611 他パラダイムや他言語を矮小化する一方で、 「無秩序でいい加減な」という意味のアドホック多相を あたかも高尚なものであるかのように 誇張しているだけだから、傲慢じゃなくて 滑稽だね。 639 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 17:06:52.05 ] ad hoc 　adv., adj. (特に)このために[の], 特別に[の], この場限りで[の], その場限りで[の]. 　　　　　　　　　　　　　　　　　　　　　　　　研究社 新英和大辞典 第６版 640 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 17:20:15.57 ] www.youtube.com/watch?v=z5rRZdiu1UE 641 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 17:21:05.17 ] カズヤマモトサンかっけー 642 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 18:09:29.51 ] この流れで質問させてください 型クラスってのは代数的構造のことではないんでしょうか？ 643 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 18:48:32.83 ] >>642 そんなようなものだけどもうちょっと一般的 C aというインスタンスのメソッドの戻り値の型はa以外になり得る OrdとかShowとか 644 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 18:57:33.81 ] >>635 ヌルポは値に起因するバグで、型システムによる安全性の保証外なのはML系でも同じだよ。 MaybeはまんまC#のnullable<T>だし。 Haskellはパターンマッチでパターンを網羅してないとちゃんと警告出してくれたり、 Maybeモナドみたいな明示的にチェックを書かなくても済む仕組みその他諸々のおかげでバグりにくいって話で、 コンパイルで検出出来てるわけじゃないし、発生しないわけでもないよ。 645 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 19:12:32.81 ] >>642 型クラスもデータ型もメモリ上のビットも代数的構造 646 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 19:24:43.41 ] NullPointerExceptionはバグなの？ 647 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 19:29:54.49 ] >>644 Maybeはぬるぽがっされないような、、、 648 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 19:43:26.86 ] >>645 そういう文脈で代数的構造と言った場合の「代数的」とはどういうものですか？ 649 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 20:02:36.22 ] >>648 代入可能なこと 定数以外は代数的構造 650 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 20:55:05.10 ] >>647 トリビアルな例だけど、常にJustな事が期待されてる変数alwaysJust :: Maybe aがあったとして、 1) case alwaysJust of　--これは警告がでるけど 　Just x -> x 2) let (Just x) = alwaysJust in x　-- こんなドタコなコードは書かないけど… 3) -- fooの使用者からは定義かドキュメントを見ない限り、例外が上がってくる可能性がある事は知りようがない foo :: a -> a foo v = fromJust $ do -- fromJustってどういうケースで使うんだろか…。 　x <- alwaysJust 　v' <- Just v 　... 　return v' もし、alwaysJustがバグっててNothingだったら、上の例は全部例外あげてくる。 特に3番目みたいな外からは一見安全に見える型の関数でも、ガッされない絶対の保証があるわけでも、検出できるわけでもないよ。 （1番目以外は警告すらでないし） Maybeからそれると、Preludeの関数でもListのheadとか(!!)とか、Enumのsucc、predとかreadやArrayとか、 プログラマがちゃんと保証しなきゃいけない関数も結構あるし。 651 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 21:29:13.08 ] Maybeからそれると、Intも危険だよね オーバーフローして意図しない挙動をする危険性があるから プログラマがちゃんと保証（ｒｙ 652 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 21:31:32.72 ] RWHを買ってきました あしたRWHを一日かけて読み切ります 何か注意点とかありますか 653 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 21:35:16.99 ] 急いで読まない 654 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 21:59:05.59 ] コードを写経して動かなくても文句言わない 655 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 22:12:05.67 ] なんか、ものすんごい勢いでレスついてるね。 みんな暇か？ 656 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 22:15:37.70 ] 詰まったり解らなかったり動かなかったら本家(>>5の上)のコメントなんかも参照 一日で読み切れなくても泣かない投げない 657 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 22:19:09.47 ] >>652 最初からまじめに読んでいくと冗長度が高くて飽きる。飛ばして途中から見ると何言ってるのか分からない。 昆虫本には良くあることです 658 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 22:28:48.44 ] 今 GHC 7.4.1 の環境です デュアルコアのCPUを使ってて、GHC の RTS オプション -N2 で、 ２スレッドが平行して動くことは確認できました 今 Intel のハイパースレッディング（HT）機能を持つ CPU に変更する検討をしていますが、 GHC のマルチコア機能はHTに対応するのでしょうか コア数を返す関数がHTを考慮した論理コア数を返す事はリリースノートで確認しましたが、 実際に平行して動くスレッドの数として正しく機能するかという質問です つまり、例えばコア数２のHT機能を持つCPUで -N4 を指定すれば、 ちゃんと４つのスレッドが平行して動くのでしょうか 659 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 22:30:08.58 ] RWH一日は無理だろ 660 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 23:04:02.43 ] >>658 >GHC のマルチコア機能はHTに対応するのでしょうか => Yes >ちゃんと４つのスレッドが平行して動くのでしょうか => No ちゃんとの意味にもよると思いますが 詳しくはwikipediaを 661 名前：デフォルトの名無しさん mailto:sage [2012/02/17(金) 23:25:23.88 ] >>660 > ちゃんとの意味にもよると思いますが 例えば RTSオプションで -s を指定して実行して得られる情報において、 コア数２のCPUよりコア数２HTのCPUの方が、 よりコア数４のCPUに能力的に近いと分かる結果が計測値として出るか、 という意味です 662 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 00:28:18.38 ] >>661 だったらあらためてNoです HTではほとんど性能向上しません(だったような 663 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 09:15:59.39 ] HTって遊んでるユニットを怠けさせないで酷使させる機能に過ぎないから 遊んでるユニットが登場しないサイクルでは機能しない なんちゃって２倍でしょ 664 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 09:36:00.16 ] カズ山本  ttp://redstar-s.blogzine.jp/redstar/images/softbank_hawks_store-img444x600-1121339119kazu_yamamoto.jpg 665 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 18:34:36.09 ] RWHどうなった？ 666 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 19:03:40.00 ] >>662 コア数2のノーパソから手頃かに価格のコア数2HTのノーパソに買い換えようかと思ってましたが、 Haskell 絡みではあまり幸せになれなさそうですね コア数4くらいのがもう少し安くなるまで待つことにしました >>663 なるほど、妙に納得しました 667 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 19:09:24.78 ] 正確に2倍になるわけじゃないが、1.7倍ぐらいは楽勝でいくだろｗ 668 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 19:38:41.19 ] 1.7倍どころかインテル自称で20%増し程度じゃないのか その上、場合によっては遅くなったり、不具合出るオマケ付きっつー… まぁHTとHaskellは殆ど関係ないんじゃないか？ 669 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 21:01:38.89 ] HTで速くならないのはコンパイラがそういう最適化をしてないからだろ 1ヶ月ぐらいCPUぶん回す数値計算ならHT向けの最適化をやる意味はあるだろうが、 特に用途も決まってないHaskellが特定のCPU命令セットの最適化して意味があるとは思えないが 670 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 21:15:03.37 ] インテルの発表で sandybridgeで8割に上がったような話があったような気がする。 たしか、HT:ONの場合、 マルチコア全部使い切るようなプログラムのスループットは1->0.8x2x（smp8コア/4コアの効率比が1として）=1.6ぐらい。 ただし、シングルプロセスの実行部分は、 邪魔されて0.8ぐらいまで落ちる場合があるが、 OSのプロセス管理で、なるべく占有できるところに配置される。 671 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 21:16:07.06 ] いままでは、7割、7.5割と上がってきてたのが8割。 672 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 21:19:56.22 ] コンパイラがいくらがんばっても演算密度が十分濃ければSMTで性能は上がらないでしょ 673 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 21:21:34.04 ] >>669 HTの効果を利用するには専用の命令セットを叩く必要があるのでしょうか 今までずっと、特に意識すること無く自動的に各HTに処理を割り振ってくれると思ってました repa を使ってるとダイレクトにマルチコアの恩恵を受けるので、 HTで更に２倍になるならいいなぁと思ってたんですが・・・ 674 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 21:25:55.33 ] ようするに、HTで4PC/8VCなら、 OFF:1-4が、 ON:0.7-5.6、0.75-6.0、0.8-6.4 とP4のころに比べて進化してきてるような話だったと思う。 675 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 22:14:43.49 ] >>673 すまん。HT用のインストラクションじゃなくて、HT用に処理をマルチスレッドに分解したり、 スレッドに適したキャッシュ配置にするような特定のCPUアーキテクチャ実行モデルを仮定した最適化という意味だった ICCとかがそういう最適化を前面に出してるが、実際にはそれほど単純には速くならない 676 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 22:50:19.80 ] >>675 なるほど、でも > HT用に処理をマルチスレッドに分解したり この部分は、元々シングルスレッドだったものを、 コンパイラが「勝手に」上手くマルチにしてくれることは無い という意味ですよね もともとマルチスレッドで Haskell のソースコードを作っていたら、 実行時に勝手に HT に振り分けてくれないのですか？ そんな単純ではない？ 677 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 23:00:34.29 ] 文字列で日本語使えないのでしょうか？ 678 名前：675 mailto:sage [2012/02/18(土) 23:03:27.58 ] >>676 近所でICCでMPIをやってる人がいたが、期待したほど速くならなくて困ってた なので、Haskellもそんなにうまく速くなるわけではないと思ってるけど、 速くなるのなら型システムよりもすごいことなんじゃないかと思う 679 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 23:11:59.78 ] >>677 もう少し問題をハッキリさせようか 今の Haskell は標準で UTF-8 でエンコードされた文字データを処理できる ここでいう処理というのは、Char 型の変数にデータを束縛できるという意味 >>677 は何が問題だと感じている？ あと環境も教えてくれ（OS やコンパイラのバージョンなど） 680 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 23:19:22.20 ] >>678 例えば、Haskell で repa を使って画像データを配列に読み込んで、 それに対してぼかし処理とか FFT 処理とか施したりする場合、 2コアCPUを使って RTS オプション -N1 と -N2 とでは全く処理速度が違う 驚くと同時に感動すら覚える HTを持つCPUも、コアが増えたのと同程度とは期待していないが、 1.5倍程度は速くならないかなと思ってたんだけど だれか試してくれないかな 681 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 23:25:09.94 ] >>679 CSVファイル(Excelで出力したShift_JIS)を読み込んで、lines関数で分割した後、id関数に入れて、そのままunlinesしてファイルに出力したら日本語の場所が文字化けしてるです Haskellそのものの仕様で使えないのか、入力系かParsecか出力系のエラーで使えないのか、特殊な文字列データ型を入れれば使えるのか知りたいです Windows7、The Glorious Glasgow Haskell Compilation System, version 6.12.3 です もしHaskellそのものの仕様で日本語が使えないのならCSVファイルを編集して日本語部分を全部ASCIIコードでローマ字にします 682 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 23:44:47.47 ] >>681 下記のコードで全く問題なく Shift_JIS をロードして Shift_JIS で保存された writeFile "test2.txt" =<< return . unlines . id . lines =<< readFile "test.txt" [環境] Windows7 GHC 7.4.1 683 名前：デフォルトの名無しさん mailto:sage [2012/02/18(土) 23:49:00.05 ] >>680 repaすごいな ここまでマルチコア意識してるなら速くなりそうな気がするな 684 名前：682 mailto:sage [2012/02/19(日) 00:40:54.82 ] >>681 ちなみに、>>682 のコードの id の部分を map (take 3) とかにした場合、 保存されたテキストを Shift_JIS として解釈する（開く）と文字化けして見える 何も加工しなければ、読み込んだデータの形のまま保存される （例えば SQL で Shift_JIS の文字列を読み込んでそのまま出力する場合も含む） 文字単位で加工したければ、 読み込み前に CSV ファイルを予め UTF-8 に変換しておくか、 あるいは読み込んだ後に UTF-8 に変換する必要がある （例えば iconv パッケージを使う） そして、例えば Data.String.UTF8（utf8-stringパッケージ）を使って加工するとか 685 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 01:50:54.96 ] >>684 ParsecでCSVファイルの解析をためしたら文字化けしてたから、idとかに変えていろいろ試してました これ結局、Parsecを間に入れてファイル入出力する場合は文字コードの変換を明示しないとダメということなんですね 686 名前：682 mailto:sage [2012/02/19(日) 02:13:53.28 ] >>685 そう Parsec で日本語を処理したいのなら、処理前に UTF-8 にエンコードしないとダメ 参考になりそうなページ snak.tdiary.net/20110104.html 687 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 09:55:24.28 ] あれ、Hackage落ちてる？ 688 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 15:43:45.81 ] 諸君、お薦めのライブラリは何かね？ 689 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 15:51:43.82 ] prelude 690 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 15:58:31.27 ] Data.List もなかなか 691 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 15:58:44.91 ] こやつめ！ハハッ！ 692 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 16:00:51.90 ] 僕はForeignちゃん！ 693 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 21:52:36.96 ] すみません、質問させてください。以下のコードが、なぜか意図した通りに動作しません。 (一応なるべく簡略化したので、このコード自体に深い意味はないです) combination n r =div (product [1..n]) (product [1..r] * product [1..n-r]) f n = length (takeWhile (<=4000) (map (combination n) [1..5] )) hoge = [n - f n | n<-[20]] 私はこの hoge を [20 - f 20] のつもりで書きました。GHCで [20 - f 20] と入力すると 17 と返ってくるので、 hoge は [17] になっていてほしいです。 なのに、なぜか hoge と入力すると [15] が返ってきます。どなたかどこが誤っているのかわかる方がいらっしゃったら教えていただけないでしょうか。 694 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 22:36:50.85 ] >>693 product [1..20]がオーバーフローしている。 ghciで [20 - f 20] としたときはたぶんf 20の20がIntegerとして評価されているからオーバーフローが生じていない。 ghciで[20 - f (20 :: Integer)]と[20 - f (20::Int)]を比較して、考えれば、言っていることが分かるだろう。 695 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 22:39:24.02 ] >>693 原因は >>694 の通り 解決方法の一つは、f 関数内で length 関数の代わりに genericLength 関数を使う 696 名前：694 mailto:sage [2012/02/19(日) 22:43:26.21 ] import Data.ListしてlengthのかわりにgenericLengthを使えば解決するみたい 697 名前：695 mailto:sage [2012/02/19(日) 22:43:45.05 ] すまん、 その >>693 の（型シグネチャを省いた）例なら、 genericLength 関数を使えば自動的に全て解決するという意味 実際のコードで型シグネチャを書いてる場合、 例えば combination 関数の型が Int -> Int なら、 それも Integer に直す必要がある 698 名前：694 mailto:sage [2012/02/19(日) 22:44:07.36 ] だから、リロードしろとorz 699 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 22:54:59.05 ] やっぱりIntは撲滅すべきだわ 700 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 22:58:28.08 ] 単一の式では、nとnは同じ型でないといけないけど、 20と20が同じ型である必要はないってことだね 「lengthがIntegral a => a型ではなくInt型を返すのはまったく馬鹿げたこと」 だっけか 701 名前：デフォルトの名無しさん mailto:sage [2012/02/19(日) 23:21:56.89 ] >>699 それは無い ただ、オーバーフローしたのならしたと分かるような、 デバッグ用の RTS オプションとかあるといいな 702 名前：693 mailto:sage [2012/02/19(日) 23:52:01.42 ] >>694-697,700 なるほど、そういうことでしたか。型宣言は省略していたので、おっしゃる通り genericLength という関数を（初めて見ました）使うことで解決しました。 質問前にコードを書き換えて実験していたとき、 hoge = [f n | n<-[20]] とするとちゃんと [f 20] に一致するのが不思議だったのですが、それも >>700 を読んで合点がいきました。 単に f n と書くと Integer 型として扱われるが、n - f n と書いた場合には n が Int 型になってしまっていたのですね。それでオーバーフローしたと。 自分では絶対に気づきませんでした…。お三方（お二方？）ご親切にありがとうございます。 703 名前：デフォルトの名無しさん mailto:sage [2012/02/20(月) 12:44:31.59 ] windowsでgtk2hsの最新版に-threadedつけたら普通にぶっ壊れてﾜﾛﾀ その問題は直ったって言ったじゃないですかー！ 704 名前：デフォルトの名無しさん mailto:sage [2012/02/22(水) 01:04:11.99 ] wondowにこだわってたら、面倒は多いだろうからな。 705 名前：デフォルトの名無しさん mailto:sage [2012/02/22(水) 18:49:36.88 ] >>703 Haskellに限らず、gtk全般がwindowsと相性が悪いと思うのは私だけでしょうか？ 706 名前：デフォルトの名無しさん mailto:sage [2012/02/22(水) 19:12:47.80 ] wxWisgets の方が安定してるような感じはするな 今は wxpack もあって、Haskell で使うのも、 特別なことをしなければ gtk2hs 並に簡単になった 707 名前：デフォルトの名無しさん mailto:sage [2012/02/22(水) 19:21:08.18 ] GUIはVBやVCでインターフェイス作って、パイプ通してHaskell使ってる 708 名前：デフォルトの名無しさん mailto:sage [2012/02/22(水) 19:31:59.91 ] wxHaskellっててっきり開発止まってるんだと思ってたら 一月に新しいの出てんのね ちょっと移るか・・・ 709 名前：デフォルトの名無しさん mailto:sage [2012/02/23(木) 21:38:20.07 ] permutationパッケージって不便じゃない？ 重複もある要素群から組合せや順列作りたい時どうするの？ 710 名前：デフォルトの名無しさん mailto:sage [2012/02/24(金) 00:08:55.34 ] Haskellの名前空間ってどうなってんの？ 二つの別のモジュールで同名の関数定義してたらmoduleName.は略せない 711 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2012/02/24(金) 00:48:25.04 ] 候補が複数ある関数を使ったときだけエラーにすればいいと思うんだよな。 実際に使ってない関数で衝突があってもどうでもいいじゃん。 712 名前：デフォルトの名無しさん mailto:sage [2012/02/24(金) 03:21:55.39 ] >>710-711 それぞれのモジュールをインポートするときに インポートする関数名を明示的に指定するんじゃだめなのかね？ 713 名前：デフォルトの名無しさん mailto:sage [2012/02/24(金) 07:30:30.90 ] >>710 指摘している問題箇所がよく分からない こちらの環境（GHC 7.4.1）で試したら、全く問題なかったんだが -----[ Mod1.hs ]----- module Mod1 (t1, t2) where t1 = (*3) t2 = (+7) -----[ Mod2.hs ]----- module Mod2 (t1, t3) where t1 = (*5) t3 = (+13) -----[ ModC.hs ]----- module ModC where import Mod1 import Mod2 f = t2 g = t3 ghci でエラーも無く ModC をロードできる 当然、関数 f や g は普通に使える また、ghc で実行ファイルやライブラリにコンパイルする事もできる ModC で関数 t1 を使おうとすると Ambiguous occurrence エラーが出る その場合はモジュールを明示するか、import でエイリアス名を指定すれば良い 何が問題なんだ？ 714 名前：デフォルトの名無しさん mailto:sage [2012/02/25(土) 17:50:44.36 ] Cabal の挙動がいまいちよく分かりません *.cabal ファイルに例えば以下のような記述があった場合 flag ichigo 　　default: False if flag(ichigo) 　　---[ A ]--- else 　　---[ B ]--- configure に [A] が通るのか [B] が通るのか、どちらなのでしょうか 715 名前：デフォルトの名無しさん mailto:sage [2012/02/26(日) 18:39:03.77 ] forallってオプションと共に用いて 型の決め打ちを段階的に遅延してもらうものだと思えばいいの？ 716 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 07:24:50.28 ] >>715 どうしてそう思う？ （違うと言ってるんじゃなくて、単純にその考え方に興味があるだけです） 717 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 08:03:50.64 ] id:: a -> a (\f -> (f 1,f "1")) id No instance for (Num [Char]) arising from the literal `1' at <interactive> Possible fix: add an instance declaration for (Num [Char]) In the first argument of `f', namely `1' In the expression: f 1 In the expression: (f 1, f "1") これがエラーになるのは コンパイル時に最初に評価したほうの型で固定しちゃうからでしょう？ 最初に解釈した段階でid 1だから id::Int -> Int で固定しちゃう 次にid "1" をみてなんだこりゃ？ id:: String -> Stringなんて聞いたこと無いぞ！とコンパイラが怒り出す この悲劇を回避するために 決め打ちは一段階待ってくれ a -> a のまま進んでくれ ってのがforallとXRank2Typesオプションのセットの役目なんじゃないの？ 評価の遅延じゃん？ 実行の遅延評価じゃなくてコンパイル時の型の遅延評価だから メタ遅延評価的な 718 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 12:45:29.31 ] 評価順序によらないはずなのに「最初に評価したほうの型」ってなるのが面白いね。 値を遅延評価できても、型も遅延評価できるとは限らないんだな。 719 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 13:20:52.44 ] あくまでコンパイル時の話だし 静的に型付けて片付ける型の言語だし そのくらい大目に見てやれよ 720 名前： [―{}@{}@{}-] デフォルトの名無しさん mailto:sage [2012/02/27(月) 17:39:59.79 ] 決め打ちするのはその通りだけど順番は関係ないよ どっちから型を付けても(エラーメッセージ以外は)同じ結果になる 721 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 21:39:35.38 ] forall の話が出たんで、理解をより深めようと調べてたんだけど、 en.wikibooks.org/wiki/Haskell/Existentially_quantified_types このページで分からない部分がある [Explaining the term existential] のセンテンスの 「But we got almost the same behaviour above using datatypes. Let's declare one.」 の直前まではなんとか分かった forall = 積集合 exists = 和集合（Haskell の構文には無い） というのも、納得はできないが、とりあえずそういうものだと見なす事にする で、そのすぐ下の「MkT :: forall a. a -> T」 の意味を説明している部分がよく分からない これまでの話の流れからすると、forall a. (a -> T) というのが、 どういう型（を意味する集合）の積集合になるかを考えれば良いんだよな つまり、 Int -> T という型を意味する集合が持つ要素 String -> T という型を意味する集合が持つ要素 ・・・ などに共通する要素だけを持つ型が forall a. a -> T なんだよな ここまでは合ってる？ で、その共通する要素って、ボトム以外に具体的にどういうものがあるのかな と考えてみると・・・　よく分からない 「何かを入力して型 T の値を得る関数」というのがそれかなと初め思ったけど、 じゃあこれは例えば「Int -> T という型を意味する集合が持つ要素」に含まれているのか と考えると、なんか違う気がする 722 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 23:11:20.23 ] エラー (\f -> (f 1, f "1")) id 積集合 (\(f,f') -> (f 1, f' "1")) (id,id) 和集合 id' (Left x) = Left (id x) id' (Right x) = Right (id x) (\f -> (f (Left 1), f (Right "1"))) id' 集合が有限なら、forallとexistsは不要です。 723 名前：デフォルトの名無しさん mailto:sage [2012/02/27(月) 23:52:14.92 ] 時間の無駄 724 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 00:04:14.04 ] 無限リストを扱えるから限定子が必要　という説明からはじめてくれないと困る 725 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 03:02:25.61 ] >>721 俺は共通する要素とか集合って考えるより、 特定の型に依存しない性質を含んだ関数って考えた方がピンとくるな。 ＞で、その共通する要素って、ボトム以外に具体的にどういうものがあるのかな 要するにT aという型のコンテナTに対して、格納しているa型の値に直接触れずに、 コンテナの構造だけを変えたり(flatten :: forall a. Tree a -> [a]、tail :: forall a. [a] -> [a]とか)、 コンテナ自体の情報を返す(length :: forall a. [a] -> Int)類の関数。 特にリストのhead、(!)とか、タプルならfst、sndみたいに値を取り出すような関数も、 中身に触れなければ型に依存しない性質は保たれるってのは重要。 726 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 07:44:27.79 ] >>722 それは俺（>>721）に対する返信？ もしそうなら、>>721 のページで言ってる forall = 積集合 という場合の集合は、 {⊥, 0, -1, 1, -2, 2, ...} を要素に持つInt型という名前の集合 {⊥, True, False } を要素に持つBool型という名前の集合 {⊥, "kyu-ri", "daikon", ...} を要素に持つString型という名前の集合 ・・・ という意味の集合だと思うんだけど で、例えば forall a. a は「全ての型（集合）の積集合」だから、 {⊥} を要素に持つ集合、つまり⊥しか値を取り得ない型になる これと >>722 との繋がりがよく分からない（繋がった話ならという場合だけど） >>725 同じだ、俺も今まで似たような考え方でやってきたんだ それはそれとして、では >>721 のページに載っている考え方だと、 MkT :: forall a. a -> T はどう説明できるのかなという話 727 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 10:03:32.17 ] >>726 Int型はIntの値の集合ではなく、Intの値を取り出せるデータ構造の集合だ、と定義すればいい。 例えば、0というデータから取り出せるのはIntだけでなく、Doubleも取り出せる。 forall a. a->TからはInt->TやDouble->Tなどを取り出せる。 728 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 12:47:20.41 ] >>727 いや、ちょっと待って そうやって勝手に話の前提を変えた場合、>>721 のリンク先の話は ちゃんと整合性を保って説明できるのだろうか （整合性を保って説明できるように隠れた定義を暴き出してくれたのなら大変有り難いが） リンク先ではハッキリと Bool is the set {True, False, ⊥}, Integer is the set of integers (and bottom), String is the set of all possible strings (and bottom), and so on. と定義されていて、これを前提にしてその後の話が続いている > forall a. a->TからはInt->TやDouble->Tなどを取り出せる。 もしそうだとすると、forall a. a からは Int も Double も取り出せるということ？ 729 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 13:07:28.91 ] ⊥しか取りえないってのは間違い。 MkT :: forall a. a -> Tはどんな値でも取ってT型を返す関数。 全称量化することで、型パラメータaが取り得る全ての型に共通の性質だけにしか言及できなくなる。 で、結局の所、⊥か、それ以外の何かが入ってる、としか言えなくなる。 (もちろんisBottomみたいな関数は定義できないから、実質何が入ってるかは不明) forallが積集合云々ってのは、このことを言いたいんじゃないかと思う、多分。 一応、 foo (MkT x) = x :: T -> a bar (MkT x) = id x :: T -> a dup (MkT x) = (x, x) :: T -> (a, a) みたいな関数は定義できる。 まぁT型の定義じゃ意味のある関数は定義できないけれど、値を取り出して関数適用するだけならおｋだから、 型制約付けといたり、関数とセットで入れとくと、OOPっぽいポリモーフィズムできるようになったりする。 ttp://www.kotha.net/ghcguide_ja/latest/data-type-extensions.html#existential-quantification （件のページのNotesみて初めて知ったけど、WHNFに簡約はできるって発想は無かった…） 730 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 13:59:49.98 ] 初心者で申し訳ありません。 ggrksとか言わないで下さい。ググッた結果↓ ⊥ に一致する情報は見つかりませんでした。 731 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 20:16:28.02 ] >>730 ⊥ はボトムと読みます 732 名前：デフォルトの名無しさん [2012/02/28(火) 21:17:38.37 ] *　LLクズがウォーミングアップを始めたようです！ * 733 名前：デフォルトの名無しさん mailto:sage [2012/02/28(火) 23:59:59.80 ] 学部時代にHaskellに没頭していた俺ですが、今では立派なPython厨です 734 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 02:29:52.31 ] Web+DB誌に山本和彦によるHaskell入門が載ってるみたいだけど、読む価値ありますか？ 735 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 03:25:58.19 ] 雑誌の言語紹介記事なんてのは布教用だから、 Haskellerが読むようなものじゃない。 736 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 06:23:56.45 ] その記事で、Learn You a Haskell for Great Good!の訳本出るって書いてる 『すごいHaskell たのしく学ぼう！』 * 田中英行、村主崇行訳 * オーム社 * 2012年5月発売予定 まあいいんだけど、タイトルダサいな。 737 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 07:53:36.61 ] >>729 > 全称量化することで、型パラメータaが取り得る全ての型に共通の性質だけにしか言及できなくなる。 >>726 でも言ったが、俺も普段は似たような考え方で forall を扱っている しかし、この考え方とリンク先のページで述べられている考え方との整合性がなんか上手く取れないんだ （たぶん同じ forall について我々とリンク先は別の視点、捉え方で見ていると思うんだ） > ⊥しか取りえないってのは間違い。 例えば >>726 を繰り返すが （読み返してみて、誤解を与える表現に気づいたので括弧は外した） ⊥, 0, -1, 1, -2, 2, ... を要素に持つInt型という名前の集合 ⊥, True, False を要素に持つBool型という名前の集合 ⊥, "kyu-ri", "daikon", ... を要素に持つString型という名前の集合 ゆえに forall a. a は ⊥ を要素に持つ（名前は知らん）集合 という考え方を取っている（これはハッキリ書かれている、と俺は思う） 貴方や俺が普段取っている「型パラメータaが取り得る全ての型に共通の性質」という考え方ならば、 例えば forall a. (Show a) => a とすれば、その共通する性質をさらに (Show a) と絞り込む という風に素直に考えられ、実際のコンパイラの挙動とも合致する しかし、リンク先の考え方だと、forall a. a で {⊥} という集合なら、 これに対して (Show a) という性質で絞り込むことがちょっと想像できない forall a. a -> T についても同じ リンク先の言いたいことは何なんだろうというのが疑問なんだが、 申し訳ない >>729 でもまだ疑問が解消されない （やっぱりそう考えた方が今はまだ分かりやすいな、という気持ちは再確認できたが） 738 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 16:00:11.89 ] 729は「aの性質に言及するのをやめれば、共通の要素を作れる」と言っている 737は「aの性質を考えると、共通の要素は⊥しかない」と言っている つまり、型を考えるのをやめれば便利なものを作れるが、 型を考えると、そんな便利なものは存在しないということを証明できる 739 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 19:01:47.59 ] >>738 ごめん、どういうことなのか、ちょっと分からない 混乱してる >>737（俺）が言ってるんじゃなくて、言ってるのは俺が示したリンク先のページだよ そして、aの性質を考えるとじゃなくて、forall の性質＝積集合を考えると、ね a は単に forall に束縛された型変数で、重要な性質を持ってるのは forall の方だと俺は思う よく分からないけど、俺の疑問の解消に少しでも繋がるような 何か証明ができるのなら、是非してみてほしい お願いする 740 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 20:01:40.01 ] >>739 じゃあMkTという関数があってMkTの型(a->T)は(aに関しては)重要ではないとする 重要ではないので適当に MkT ∈ (Int->T) MkT ∈ (Bool->T) MkT ∈ (String->T) ・・・ ということにすればMkT ∈ (forall a. (a->T)) だから(forall a. (a->T))には⊥以外の要素が入っている 741 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 20:17:30.41 ] >>740 確認したいんだが、 MkT ∈ (Int->T) MkT ∈ (Bool->T) MkT ∈ (String->T) ・・・ これは全て AND で結ばれているんだよな つまり、全ての積集合を意味しているんだよな {MkT ∈ (Int->T)} AND {MkT ∈ (Bool->T)} AND {MkT ∈ (String->T)} ... 742 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 20:46:56.98 ] >>741 そうだね ANDだね 743 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 20:58:30.82 ] 積じゃなくて直積じゃね？ 744 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 21:00:47.10 ] >>743 どうして？ 745 名前：デフォルトの名無しさん mailto:sage [2012/02/29(水) 21:21:11.49 ] ごめん勘違い、そこは積集合であってる 746 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 02:57:49.52 ] (Int -> T)は { ⊥, (\x -> T), (\x -> let _ = x + 1 in T), ... } (String -> T)は { ⊥, (\x -> T), (\x -> let _ = x ++ "foo" in T), ... } forall a. (a -> T)は { ⊥, (\x -> T) } 747 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 03:05:14.44 ] ちょっと間違い forall a. (a -> T)は { ⊥, (\x -> T), (\x -> let _ = x in T), ... } だった つまり書く集合の内xをIntなどの具体的な型として 扱っていない項だけが残る 748 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 07:23:19.60 ] >>746, >>747 すげー分かりやすかった なるほど、forall a. a の時のように、 ちゃんとそれぞれの型の場合の取り得る値の集合の積で考えられるんだ 合点がいった ありがと スッキリしたから、もう少し先まで読み進めてみる 749 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 12:01:47.26 ] 【言語別成果物】 PHP「掲示板作りました！」 Ruby「Railsで住所管理アプリ作りました！」 Java「帳票管理ソフト作りました！」 ActionScript「ゲーム作りました！」 Lisp「Lisp作りました！」 Haskell「美しい言語だ…（成果物無し」 Haskellやる理由ってエンジニアとしてのステータスなんだよね 昔の言語LISPに触れるとか、古参気取ったり インテリンゲンジャを気取るためにHaskellやってますとかね 馬鹿じゃねーの？ｗｗｗｗｗｗｗｗｗｗｗｗｗ 死ねよいいから お前ら目さませよクズ！？！！？ 本当に！！ おまえらさ！？　 Ｈａｓｋｅｌｌやってて 名に作ったの？ クズＨａｓｋｅｌｌ使い「作ったとかじゃなくて・・・そもそも何故作るのか」 スキルアップ（笑）で終わってると思うよお前ら Matzの布教活動に釣られたクズ当然だなｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 750 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 12:07:21.59 ] > インテリンゲンジャ これは新しい 751 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 12:09:43.91 ] 難しいがかっこいい マイナーがかっこいい とか美徳感じてるクズばっかりだからな 752 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 12:22:52.87 ] また、pearl忍者が復活したのか。偏狭な視点と幼稚臭い書き込みですぐ分かる。 753 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 12:34:25.86 ] インテリゲイシャとかいいな 高学歴娼婦みたいで 754 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 12:46:48.45 ] テルマエ・ロマエにそんなのが出てくるな 755 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2012/03/01(木) 13:27:09.96 ] 「験者 (げんじゃ)」かな？ 僧侶や修験者のこと。 「げんしゃ」だと資産家のことを意味する方言 (古語) 。 www.weblio.jp/content/%E3%81%92%E3%82%93%E3%81%97%E3%82%83 お高くとまっている様子を言うこともあるのでこの場合はこっちの方が妥当かも。 756 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 13:34:42.64 ] >>753 AVで笛吹いたりするのか 757 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 14:11:47.76 ] >>752 >>Lisp「Lisp作りました！」 この一行の手抜きで、忍者ではないと判る。 758 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 14:42:54.03 ] ダークス創ったじゃないか 759 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 16:02:15.78 ] お前が作ったわけじゃないだろ 話の主軸を見誤るな 760 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 16:34:30.58 ] 成果を増やすより無駄を減らすことに興味があるんだろう 特に、数学を知らないことで無駄に遠回りしてしまうことを恐れている 761 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 16:40:52.53 ] 無駄を減らす事は重要だな。 パイオニアがやる事とは違うが。 762 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 17:01:30.78 ] 山本和彦のLISPにいた頃には得られなかった悟りが開けたみたいだなHaskellのおかげで 763 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 17:07:15.13 ] こんにちは Haskellできる人は凄いと聞きました macintoshgarden.org/sites/macintoshgarden.org/files/screenshots/Traitor_heads_0.jpg このゲームをWindowsに移植してください お願いです;; 764 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 20:36:10.70 ] Macでこんなゲームがあったんか 765 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 21:40:37.11 ] >>749 掲示板とか住所管理とかしょぼいのばっかだな、、、 766 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 21:48:26.24 ] yesodのチュートリアルでblogとかtwitterもどき作る例みたいなものぐらいはあっていいかもな そういえばrailsが出た頃は15分でblog作るデモとかあったな 実用性のアピールにはあぁいうインパクト大事 767 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 21:54:11.82 ] だよな なんかさ　高速化〜言語がどうたら　とか難しい話言われてもちっともうれしくねえし そういうのつまんなくね ゲームとかブログとか作るとかの法が楽しいし 本当に馬鹿だよな 最適化とか高速化とかつまんね 〜〜を返してみる　とか　やめて欲しい 実用性のインパクトが大事 ニコニコ動画はフラッシュプレイヤー作ってますとかインパクトなさすぎるのとおなじだね 768 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 21:54:55.57 ] 正直さが足りない 無理してる布教に釣られたクズばっかり 769 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 22:02:06.47 ] O'REILLY の「Developing Web Applications with Haskell and Yesod」って、 O'REILLY のサイトだと 300 ページって書かれてるのに、 他の Amazon とかだと 100 ページつて書かれてるんだよな どっちだよ 100 ページってハンドブック？ 770 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 22:11:32.18 ] >>755 インテリゲンチャのタイポだろ。なんだ修験者って。 771 名前：デフォルトの名無しさん mailto:sage [2012/03/01(木) 22:50:53.25 ] それも淡々と作るというより バグやエラーをあえて発生させそれを強い型付けとかランダムテストを使いながら 確実に取り除いていく様子を見せるようなデモがいいだろうな 簡単に作れるとかだと「じゃあrailsでいいよね」とかいうオチになるから 772 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 01:29:04.91 ] それよりKent BeckとかtwadaあたりがHaskellに乗り換えたけどいいよって言うだけで十分じゃないか？ あとはIIJあたりも社内Haskellで統一して、MOGOKやめてYesodのサービス始めれば援護になる。 なんでそうならないんだろうね。 773 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 09:06:18.04 ] 「しゅげんじゃ」も知らんのか。 774 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 10:06:46.62 ] インテリ顔射 775 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 21:14:41.55 ] NumでないとBitsに成れないって不条理じゃね？ 別に四則演算なんてしなくても ビット演算したいケースなんて普通にあるだろ Word32でnewtipeした型をBits宣言したいけど 四則演算は禁止したい こんなときどうすれば良いの？ 776 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 22:47:19.28 ] ttp://snak.tdiary.net/20091020.html これ↑を読んでたんですけど Functorのインスタンスを説明するところで((->) e)はファンクタだって記述がありました。 GHCIとかで:typeしてもエラーにしかならないんですけど (->)ってのは普通の演算子じゃなくて、型宣言のところに出てくるアレって解釈であってますか? よくわかってないですが、型より一段階メタな種を扱う演算子みたいな扱い?? もし可能であれば、((->) e)のFunctor実装がどんな感じになるか教えてもらえないでしょうか。 777 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 23:25:53.07 ] >>775 Bitsクラスをただのビット列表現と解釈しているから不条理に思えるのでは？ ライブラリドキュメントにはこうハッキリと書かれている The Bits class defines bitwise operations over integral types. これは、integral types に対してビット演算を提供するクラスなんだよ だから fromIntegral 関数を持つ Num クラスのインスタンスである必要がある integral types ではない型に対してビット演算を提供するクラスは、 今のところ標準ライブラリには入っていない （HackageDB にも、貴方の望むライブラリは今のところなさそうだ） また、Num のクラスメソッドを使用した場合に実行時にエラーを出す方法はあるが、 GHC によるコンパイル時にエラーを出す方法は、これまた今のところない よって、そのようなビット列表現および演算するクラスが必要なら、 残念ながら自作するしかない 778 名前：777 mailto:sage [2012/03/02(金) 23:27:31.24 ] >>777 訂正 誤) だから fromIntegral 関数を持つ Num クラスのインスタンスである必要がある 正) だから fromInteger 関数を持つ Num クラスのインスタンスである必要がある 779 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 23:29:54.57 ] サンクス エニウェイ 780 名前：777 mailto:sage [2012/03/03(土) 00:09:57.84 ] >>776 > GHCIとかで:typeしてもエラーにしかならないんですけど では、そのすぐ上に Either e も「Functor のインスタンス」だという説明がありますが、 これも :type を試されましたか？ エラーが出ますよね だって、Either も (->) と同じように関数や演算子じゃないから 「〜は＊のインスタンス」と言った場合、〜の部分には「型」がきます 型の情報は :type では得られません（:type は値の型情報を得るもの） 型の情報は :info などで得られます ただし、正確には :info には型ではなく型構築子を指定しないといけません （たとえば :info Either e ではなく :info Either） と言うことで、((->) e) は単なる型であり、意味上は何も特別なことはありません 試しに :info (->) をすれば、((->) r) 型が Functor のインスタンスだと分かります 正確に言えば (->) が種 * -> * -> * の型で、((->) e) が種 * -> * の型です ((->) e) 型のFunctor実装は処理系依存でライブラリでは公開されていませんが、 次のように解釈できるような実装になっているはずです instance Functor ((->) e) where 　　fmup f g = f . g 781 名前：780 mailto:sage [2012/03/03(土) 00:15:43.68 ] >>780 くそっ、また訂正だ 誤) fmup f g = f . g 正) fmap f g = f . g 782 名前：デフォルトの名無しさん mailto:sage [2012/03/03(土) 00:31:28.38 ] >>776 instance Functor ((->) e) where fmap = (.) 783 名前：デフォルトの名無しさん mailto:sage [2012/03/03(土) 00:37:41.58 ] サンクス エニウェイ 784 名前：デフォルトの名無しさん mailto:sage [2012/03/03(土) 00:48:51.17 ] >>780 >>782 なるほど、型と値をごっちゃに考えてたせいで要領を得ない質問になってました。 手がかりは頂いたので、もうちょっと考えてみます。 詳しい解説ありがとうございました。 785 名前：780 mailto:sage [2012/03/03(土) 00:56:05.16 ] >>784 手がかりついでに >>776 > (->)ってのは普通の演算子じゃなくて、型宣言のところに出てくるアレって解釈であってますか? > よくわかってないですが、型より一段階メタな種を扱う演算子みたいな扱い?? (->) が演算子（関数）ではなく、種 * -> * -> * の型であることは先ほど言いましたが、 これは同時に「型構築子」とも暗に言いました（(->) e は型構築子ではありませんよ） 意味上は特別なことはありません、単なる型構築子です だから例えば f :: Int -> String -> Bool -> Maybe Char という型の関数は、 本当は f :: (->) Int ((->) String ((->) Bool (Maybe Char))) と型シノニムを書くべきで、 でも何も特別なことをしなくても中置演算子のように書けるのは一種の構文糖衣なんです 本来、アルファベットではなく演算子の形をした識別子を型構築子として使って中置したかったら、 識別子をコロンで始めないといけませんから（:* とか :+: とか :-> とか）

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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