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