05/02/06 20:18:15
>>368
ｽﾚﾘﾝｸ(gline板:1-9番)
370:デフォルトの名無しさん
05/02/07 04:10:20
ぬるほど
371:デフォルトの名無しさん
05/02/09 05:46:41
Haskellの初歩を学校でやっているのですが、
宿題が出て難しすぎるので誰か助けて下さい。
372:デフォルトの名無しさん
05/02/09 10:53:26
２つの項を入力されたらmost general unifierを出力する
*(1,y) *(x,+(a,b)) -> {x->1,y->+(a,b)}
のようなプログラムを作れ、という課題が出たのですがサッパリわかりません。
どなたか教えて下さい
373:デフォルトの名無しさん
05/02/09 20:23:43
>>372
もう一年やれば、理解も深まるよ。
374:デフォルトの名無しさん
05/02/09 20:27:03
というか，課題が全然理解できないんだが．
375:デフォルトの名無しさん
05/02/09 20:42:11
あ，分かってしまった．もう一年がんばってね．
376:デフォルトの名無しさん
05/02/09 20:59:08
問題の意味がわからないのならどうしようもないな
377:デフォルトの名無しさん
05/02/09 22:14:31
>>372
これ、数学板のmathematicaｽﾚでも見たぞ
ﾏﾙﾁすんな、消えろ
378:デフォルトの名無しさん
05/02/09 23:27:11
もっと低レベルな人にあわせてくれる学校に入りなおしましょう。
379:デフォルトの名無しさん
05/02/09 23:49:57
>>370
ｶｯ
380:デフォルトの名無しさん
05/02/10 01:16:45
[1,5,8,43]などのリストをパラメータとして受け取って
[("1st",43),("2nd",8),("3rd",5),("4th",1)]のように
ランクをつけてランク順に返す関数が欲しいのですが
問題は[5,6,6,22,23,24,24]のような場合に
[("1st",24),("1st",24),("3rd",23),("4th",22),("5th",6),("5th",6),("7th",5)]
のように返さなければいけないことです。どうすればいいかさっぱりです。
誰か教えて下さい。
381:デフォルトの名無しさん
05/02/10 02:07:40
List> group $ reverse $ sort [5, 6, 6, 23, 24, 24]
[[24, 24], [23], [6, 6], [5]]
ここまで来りゃ後はなんとでもなるだろ。
382:デフォルトの名無しさん
05/02/10 02:35:51
>>381
ありがとうございます！！
383:デフォルトの名無しさん
05/02/10 02:43:00
あ、ランクを付ける際にはカウンタみたいなものを用意するんですか？
384:デフォルトの名無しさん
05/02/10 04:08:38
宿題か？ 宿題なのか？ テメエェェェ
385:デフォルトの名無しさん
05/02/10 07:31:12
>>381
演算子 $ って初めて見ましたが，なかなか便利ですね．
勉強になりました．
386:デフォルトの名無しさん
05/02/10 09:38:36
はい、そーです
387:デフォルトの名無しさん
05/02/10 23:12:49
> ここまで来りゃ後はなんとでもなるだろ。
いろいろ考えたのですがなんともなりません。
むしろここから先が一番大変なのではないかと・・・
まじで教えてくれませんか？
388:デフォルトの名無しさん
05/02/10 23:27:15
ここまで来てなんともならんてのは、けっきょく全然理解してないってことだ
ろ。これくらい自分で考えてみ。でないとただのカンニングだろ。
389:デフォルトの名無しさん
05/02/11 03:20:58
僕にはこれが限界でした。
rank :: [[a]] -> [(Int, a)]
rank x = [(i, n) | (i, a) <- zip [1..] x, n <- a]
確かに理解は非常に足りません。ですが、本を読んでも、
いろいろなほかのテクニックを知ってもループという基本的なことを
するのがこんなに難しい言語は初めてなのです。
なんらかのライブラリを使う必要があるのかもしれないと思って、
Listのところは大体見たんですが結局何も見当たらずもうダメです。
こんな簡単であろう問題に3時間も4時間もかけてる自分がすごい嫌になってきます。
390:デフォルトの名無しさん
05/02/11 04:03:59
ま、気楽にやれや、学生なんだし。
391:デフォルトの名無しさん
05/02/11 04:52:51
そう気楽でもないんすよ。いろいろあって。
ヒントを下さい。お願いします。
392:デフォルトの名無しさん
05/02/11 08:05:13
>>391
[1..]のところを["1st", "2nd", ...]というリストにすれば終わりだろ。
英語のカウントに勝手に直してくれるようなライブラリはないだろうな。
393:デフォルトの名無しさん
05/02/11 09:27:09
>>392
> [1..]のところを["1st", "2nd", ...]というリストにすれば終わりだろ。
そのリストはどこまで続くんですか？
394:デフォルトの名無しさん
05/02/11 09:48:51
いや、それじゃランク順の法則が違うんですよ。それだと
[("1st",24),("1st",24),("2nd",23),("3rd",6),("3rd",6),("4th",5)]
になっちゃうんですよ。
課題は
[("1st",24),("1st",24),("3rd",23),("4th",6),("4th",6),("6th",5)]
にならなきゃいけないので前のリストのカウントを常にしないと次のランクが
分からないわけです。これをどうしたものかと・・・・
>>393
同じ課題で悩んでる人ですか？そのリストは(length x -1)thまで続くんじゃないでしょうか？
与えられた整数に英語のカウントをつける関数はもう作ってあるんですが。
addSuffix :: Int -> String
addSuffix x
| x == 1 = "1st"
| x == 2 = "2nd"
| x == 3 = "3rd"
| otherwise = show x ++ "th"
395:デフォルトの名無しさん
05/02/11 10:08:15
>>394
> にならなきゃいけないので前のリストのカウントを常にしないと次のランクが
> 分からないわけです。これをどうしたものかと・・・・
rankingの関数が、
1)降順ソートずみ整数の(部分)リスト (初期値 全リスト)、
2)これまでに処理した整数の数 (初期値 ゼロ)、
3)直前に処理した整数 (初期値 -1とか、入力リストに絶対あらわれないもの)、
4)直前に処理した整数のランク (初期値 ゼロ)、
のよっつを引数として取ればいいんじゃないの？
> 与えられた整数に英語のカウントをつける関数はもう作ってあるんですが。
> | otherwise = show x ++ "th"
これだと
21番目は "21th"
22番目は "22th"
になっちゃうよ……
396:デフォルトの名無しさん
05/02/11 10:51:06
あ、ほんとだ！ご指摘ありがとうございます。
じゃぁ条件分岐のところ、xの代わりにmod x 10で。
rankingの関数はやはり4つも引数が必要ですか・・・・。
じゃぁそれでちょっと頑張ってみます。
397:デフォルトの名無しさん
05/02/11 11:01:33
ちょっとやり方は違うけど4つの引数使ってやっとできました。
でもなんかぎこちない感じ・・・。これでいいのでしょうか。
もっとスマートなやり方があるような気がしてなりません。
setRank :: [Int] -> [(String, Int)]
setRank [] = []
setRank (x:xs) = ("1st", x):[(addSuffix a, b) | (a, b) <- subSetRank xs x 2 0]
subSetRank :: [Int] -> Int -> Int -> Int -> [(Int, Int)]
subSetRank [] _ _ _ = []
subSetRank (x:xs) preVal position k
| x == preVal = [((position - (k+1)), x)] ++ (subSetRank xs x (position+1) (k+1))
| otherwise = [(position, x)] ++ (subSetRank xs x (position+1) 0)
addSuffix :: Int -> String
addSuffix x
| mod x 10 == 1 = "1st"
| mod x 10 == 2 = "2nd"
| mod x 10 == 3 = "3rd"
| otherwise = show x ++ "th"
398:392
05/02/11 11:01:34
>>394
失礼。俺なら395よりは、
groupBy (\x y -> snd x == snd y) $ zip [1..] $ reverse $ sort [5, 6, 6, 23, 24, 24
]
から変形するな。
399:どうでしょうか，，，
05/02/11 11:11:26
import List
rank :: Integer -> String
rank x
| x `mod` 10 == 1 = s ++ "st"
| x `mod` 10 == 2 = s ++ "nd"
| x `mod` 10 == 3 = s ++ "rd"
| otherwise = s ++ "th"
where s = show x
ranks :: [String]
ranks = map rank [1..]
sort_group :: Ord a => [a] -> [[a]]
sort_group l = group $ reverse $ sort l
main :: Ord a => [a] -> [(String,[a])]
main lst = zip ranks (sort_group lst)
400:デフォルトの名無しさん
05/02/11 11:14:24
>>399
全然違うじゃないか。
それにmainはIO aの型であるべきもので、使わないほうがいい。
401:デフォルトの名無しさん
05/02/11 11:21:27
誰も書かないから突っ込むけど、
11th,12th,13th
そんな私はsort使うためにimport Listするとhugsにレイアウトが違うと怒られる駄目駄目プログラマ。
402:401
05/02/11 11:27:11
importがImportになってた スレ違い御免orz
403:デフォルトの名無しさん
05/02/11 11:28:33
どうもありがとうございます。おかげ様で前のよりはマシになったかと思います。
setRankS :: [Int] -> [(String, Int)]
setRankS x = concat [setFirst n | n <- (groupBy (\x y -> snd x == snd y) $ zip [1..] x)]
setFirst :: [(Int, Int)] -> [(String, Int)]
setFirst ((x, y):xs) = [(addSuffix x, b) | (a, b) <- ((x, y):xs)]
404:デフォルトの名無しさん
05/02/11 11:41:07
>>401
またまた貴重なご指摘ありがとうございます。
addSuffix :: Int -> String
addSuffix x
| x == 11 = s ++ "th"
| x == 12 = s ++ "th"
| x == 13 = s ++ "th"
| mod x 10 == 1 = s ++ "st"
| mod x 10 == 2 = s ++ "nd"
| mod x 10 == 3 = s ++ "rd"
| otherwise = s ++ "th"
where s = show x
405:401
05/02/11 11:52:24
あーごめんなさい。私もまだ間違ってた。
111th,112th,113th,211th....。序数詞は怖い。もうないよね。
406:デフォルトの名無しさん
05/02/11 12:03:11
| mod x 100 == 11 = s ++ "th"
| mod x 100 == 12 = s ++ "th"
| mod x 100 == 13 = s ++ "th"
これ足せばOK？
407:デフォルトの名無しさん
05/02/13 13:11:54
宿題しか話題のない悲しい言語
408:デフォルトの名無しさん
05/02/13 15:11:50
>>407
> 宿題しか話題のない悲しい言語
達見かな。で、どうしてそうなのかという質問がなされ、欠点が羅列され、
いやそんなことはない理論的に美しいという反論が出て、数少ない実用例も示され……
409:デフォルトの名無しさん
05/02/13 16:36:48
関数型言語なんてみんなそうなんじゃない？
Lisp系は処理系が簡単だから使われるけど、それ以外は…
410:デフォルトの名無しさん
05/02/13 17:23:54
初心者を馬鹿にするとき、一番盛り上がります。
411:デフォルトの名無しさん
05/02/13 17:32:09
>>409
OCamlをフリーソフト(非オープンソース)を書くのに使っていますが。
412:デフォルトの名無しさん
05/02/13 18:02:27
じゃあ、みんなでＨａｓｋｅｌｌで言語処理系を作ろう。
413:デフォルトの名無しさん
05/02/13 18:21:28
Haskellでテトリスは作れますか？
414:デフォルトの名無しさん
05/02/13 18:26:54
>>413
作れます。
415:デフォルトの名無しさん
05/02/13 18:33:34
Haskellのテトリス↓
URLﾘﾝｸ(web.comlab.ox.ac.uk)
URLﾘﾝｸ(fxp.hp.infoseek.co.jp)
416:デフォルトの名無しさん
05/02/13 18:55:01
ghcってどれくらいきちんとdebugされてるのかなあ。
仕事に使っても大丈夫？
417:デフォルトの名無しさん
05/02/13 22:14:38
>>411
こういうコンテキストで話すなら、商用に使われてナンボだと思うが。
俺自身は宿題用だろうが日曜プログラマーの趣味の道具だろうが構わんけど。
418:デフォルトの名無しさん
05/02/14 15:53:01
>>416
まあオープンソースだから、sourceforge.net/projects/ghc/やメーリングリストを見て
自分で判断してくださいということで。
ver6.4のリリースが延び延びになっているのが気になる。
RCのソースもコンパイルできないし…(@Mac)
419:デフォルトの名無しさん
05/02/14 20:24:12
そうそう。
あくまでも最先端の研究用なので、品質に期待してはいけない。
420:デフォルトの名無しさん
05/02/19 08:34:16
C,C++の代わりとまではいかなくても、
Perlの代わりぐらいにはなりますか？
421:デフォルトの名無しさん
05/02/19 11:17:33
>>420
もう少しHaskellのこと勉強してから出直してきたら
422:デフォルトの名無しさん
05/02/19 12:09:32
>>421
言語の完成度じゃなくてghcの完成度を聞いてるんだけど。
423:デフォルトの名無しさん
05/02/19 13:10:18
ｴｽﾊﾟｰ募集中ですか(w
424:デフォルトの名無しさん
05/02/19 23:54:19
ghcってとてもバグが少ないとおもう。
特に、コンパイル結果がおかしいというのは一つも知らない。
言語拡張を使ってコンパイラが落ちるのはあったが、gccだってよく落ちたし。
品質に期待してはいけないってのは、なんか具体的な理由があるの？
425:デフォルトの名無しさん
05/02/22 20:08:41
GHC最強。ノアだけはガチ。
426:デフォルトの名無しさん
05/02/22 22:01:11
ghcは完璧。バグなんて有り得ない。
427:デフォルトの名無しさん
05/02/23 09:12:55
URLﾘﾝｸ(www.ghc.or.jp)
428:デフォルトの名無しさん
05/02/23 19:20:04
ghcの品質に問題ありとかいってる奴は頭がおかしいな。
429:デフォルトの名無しさん
05/02/23 20:51:01
関数型言語で書かれてないソフトウェアなんて
信頼性低すぎて使ってられないよな。
430:デフォルトの名無しさん
05/02/23 21:14:20
ghcにはバグなんてない。
ghcの信頼性 >>>>>>>>> gccの信頼性
431:デフォルトの名無しさん
05/02/24 11:00:34
ｶﾀｶﾀ
||￣ Λ＿Λ
||＿（Д`； ） 「なに？このスレ・・・」
＼⊂´ ）
（ ┳'
432:デフォルトの名無しさん
05/02/26 23:31:32
妙な雰囲気を紛らわす一服の清涼剤sage
URLﾘﾝｸ(pggirls.asukaze.net)ｲ霖�/Haskell､ｿ､�
433:デフォルトの名無しさん
05/02/27 03:01:22
ghcにバグがないことは証明済みです。
434:デフォルトの名無しさん
05/03/02 14:39:26
The Monad.Reader
URLﾘﾝｸ(www.haskell.org)
435:デフォルトの名無しさん
05/03/05 17:27:02
証明が間違ってないことも証明済みです
436:デフォルトの名無しさん
05/03/05 21:47:09
よく分からんが、ghcにバグは有り得ないってことか。
437:デフォルトの名無しさん
05/03/06 11:08:10
そゆこと
438:デフォルトの名無しさん
05/03/08 23:33:41
URLﾘﾝｸ(sourceforge.net)
439:デフォルトの名無しさん
05/03/09 00:11:32
ghcってのは宗教か何かですか？
440:デフォルトの名無しさん
05/03/09 00:24:00
真理です
441:デフォルトの名無しさん
05/03/09 20:45:50
我々はこのスレを笑い飛ばしていたものです…。
しかし、その後、、、
442:デフォルトの名無しさん
05/03/10 00:24:38
テレビで観た外国人犯罪者。刑務所で個室をもらい、支給されたパソコン
でお勉強。本国から雑誌や新聞、書籍を送ってもらい、専属の通訳と翻訳家
つきで、食事はその国にあわせたもの。日本人受刑者は狭い部屋ですし詰め。
しばらくして、別のニュースでホームレスが川に落ちたインスタントラーメンを
取ろうとして転落、そのまま凍死してしまったという記事を読んで、せつなくな
ってしまった。
新聞で日本で暮らす脱北者のインタビュー記事。「生活保護の支給額が足りない」
「支援してくれないので日本は冷たい」だと。
別の記事で生活保護を受けられなかった母子がおんぼろアパートで餓死。
この国は本当に狂っている。
443:デフォルトの名無しさん
05/03/10 00:32:05
・・・という内容をghcで矛盾を含まずーディングしはじめる兵(ﾂﾜﾓﾉ)が現れるのを
目の当たりにすることになったのです。 ～Fin.～ （2ch.千夜一夜物語）
444:デフォルトの名無しさん
05/03/10 00:58:20
真理です
445:デフォルトの名無しさん
05/03/11 00:20:02
生活苦や迫害から逃れるため北朝鮮を脱出した元在日朝鮮人
大阪府八尾市に支援者が用意した２部屋のアパートで
月約１７万円の生活保護と支援者からのカンパで暮らす。
ソウルに住む長男も呼び寄せたいというが、
「いまの生活保護額では厳しい」と悩む日々だ。
URLﾘﾝｸ(www.asahi.com)
確定申告済ませたか？
俺も17万円と2部屋のアパート欲しい。
豊な生活送るには、17万円ポッチじゃ、まだタリン。
おまえ等の税金もっともっと よ こ せ！
446:デフォルトの名無しさん
05/03/11 00:31:20
ghcならコンパイル可能
447:デフォルトの名無しさん
05/03/11 00:43:13
ｇｈｃだからこそコンパイルエラーの結果に終わります。 こんなんに真値判定出されてたまりますか。
448:デフォルトの名無しさん
05/03/12 20:33:41
URLﾘﾝｸ(www.haskell.org)
449:デフォルトの名無しさん
05/03/12 23:28:12
新たな教典が来ましたね。
もちろんバグはありませんので、安心してご利用ください。
450:デフォルトの名無しさん
05/03/13 02:47:22
>>449 ＝モズクズ様↓
URLﾘﾝｸ(www.gema3.net)
451:デフォルトの名無しさん
05/03/14 14:32:35
SOE本とCraft本で、どちらがお勧めですか？
452:デフォルトの名無しさん
05/03/14 16:41:23
>>451
両方
453:デフォルトの名無しさん
05/03/14 23:22:35
今年度は、Hugsの新版出ないの？
454:デフォルトの名無しさん
05/03/15 00:02:58
Mar 2005 releaseがでてるけど
455:デフォルトの名無しさん
05/03/15 08:28:37
あれ、いつの間に。
456:デフォルトの名無しさん
05/03/15 08:32:05
Charが、うにコードに対応したんだ。
457:デフォルトの名無しさん
05/03/20 10:13:33
hugs98-Mar2005-patched.tar.gzｷﾃﾙ━━━(ﾟ∀ﾟ)━━━ !!!!!
updated with urgent bug fixes
458:デフォルトの名無しさん
05/03/23 00:58:19
同じ関数型言語でもHaskellのほうがSchemeより易しくない？
SMFの解析を書き始めてるけど、コストをあまり考えすぎなくてよい気がするし、
Schemeよりも簡潔に書けるし、実行速度もいくぶん速い。
いまのところ、手続き型の処理を書かなくても
（コストを気にしない限りは）それほど書くのが難しくない。
ただ、効率を気にしだすと書き換えるのは難しいのかな？
459:デフォルトの名無しさん
05/03/23 07:53:51
素朴な疑問だが、lazyな言語で割り込み処理（シグナル等）はどうやって書くのだろう。
割り込み時の状態はどう定義されるのだろうか。
460:デフォルトの名無しさん
05/03/28 13:39:35
>>459
もれも良く分からんが、MIT pressから出てるSICPっていう本読んでると
無限ストリームっていうのが出てくるから、それ使うんじゃない？
A Gentle Introduction to Haskellっていう、Haskellの紹介文書
にも無限ストリームを使ったクライアントーサーバー処理の例が出てくるよ。
461:デフォルトの名無しさん
05/03/28 15:15:52
数学理論に立脚した言語で現実世界を対象としたプログラミングを行うことは間違いだ
462:デフォルトの名無しさん
05/03/28 15:16:30
>>461
はい？もう一度言ってもらえますか？よく見えなかったので。
463:デフォルトの名無しさん
05/03/28 18:39:05
>>459
たぶんlazyな言語に対して割り込みのformal semanticsを与えた人はいないと思う。
もの凄く難しい。
>>460
それは単なる入出力ではなかろうか。
464:デフォルトの名無しさん
05/03/28 20:05:44
イベントや割り込みであろうが入出力には違いないだろ
辻褄が合ってればいい
465:デフォルトの名無しさん
05/03/28 20:08:30
割込みは「単なる」入出力とは違うってことだろ
466:デフォルトの名無しさん
05/03/28 23:35:57
ghcでバイナリデータをバイト単位で扱うときって、Word8を使えばいいの？
Charだと数値との比較ができなくて不便。
467:デフォルトの名無しさん
05/03/29 01:36:32
MacOS X 10.3 で Haskell を使うのにお勧めの方法は何でしょうか？
Hugs98 か ghc になると思うのですが。 fink には入っているのは
どちらも Hugs98 2001-Feb と ghc 6.2 で少々古かったです。
468:デフォルトの名無しさん
05/03/29 02:58:49
Mac使うのを止めるのがオススメ！
469:デフォルトの名無しさん
05/03/29 04:16:23
そうだね。
爪弾きにされ、余計な苦労ばかり増えて良いところなんて一つもないし。
470:デフォルトの名無しさん
05/03/29 08:45:40
finkに頼らんでもHugsなら自分でmakeすればOKだし
GHCは本家にバイナリが用意してある
471:デフォルトの名無しさん
05/03/30 02:58:36
マイナー言語やる上で Mac は悪くないプラットフォームなんだけどね。
ML も主要なのは殆ど対応しているし。
472:デフォルトの名無しさん
05/03/30 03:06:14
haskellよりもMLの方が文法綺麗じゃないですか？？そんなことないかな…
473:デフォルトの名無しさん
05/03/30 03:15:35
ML、特にSMLはDefinitionが出て以来そのままだからなあ(97年に改訂されたけど)。
Haskellの方も一応98はあるけど、そうじゃない部分は随時面白い話があるたびに
手を入れてきた感じなのは否めないのかも。
474:デフォルトの名無しさん
05/03/31 19:07:35
URLﾘﾝｸ(www.amazon.co.jp)
URLﾘﾝｸ(www.amazon.co.jp)
この 2 冊が欲しいのですが、中を確かめてから欲しいので
都内で在庫がある店知りませんか？
東京駅～秋葉原～神保町あたりだと助かります。
475:デフォルトの名無しさん
05/03/31 22:26:11
グランデに電話してみれば?
476:デフォルトの名無しさん
05/03/31 22:33:33
> 474
Haskell: The Craft of Functional Programmingはかなりおすすめです。
買って損はないと思います。
477:474
皇紀2665/04/01(金) 10:58:40
結局 Amazon で注文しました。
URLﾘﾝｸ(www.hatena.ne.jp)
ここに載っててありそうなところには電話かけましたが
店頭に在庫はないみたいでした。Amazon がない時代は
みんなどうしていたんだろう…。大学生協で取り寄せかな。
478:デフォルトの名無しさん
皇紀2665/04/01(金) 18:28:57
>>474
神田行けばいくらでもあるだろ。
デカイ本屋で在庫あるか訊いてみろ。
479:474
皇紀2665/04/01(金) 19:57:19
>>478
私には >>477 以外に出てくる本屋以外にデカイ本屋は知りません。
おすすめのコンピュータの洋書をあつかっている店の名前が分かる
なら教えてください。
480:デフォルトの名無しさん
int 2ch ＝05/04/01(金) 20:48:22
>>479
URLﾘﾝｸ(www.book-kanda.or.jp)
URLﾘﾝｸ(www.book-kanda.or.jp)
481:474
int 2ch ＝05/04/01(金) 21:56:48
明日、神田を周ってこようと思います。
ありがとうございました。
482:デフォルトの名無しさん
int 2ch ＝05/04/02(土) 12:12:07
>>474
君見て自分も思い出したように買ったよ
まあ回っても見つからないと思うよ
483:474
05/04/03 11:46:47
昨日行ってきました。
水道橋駅を降りて、神保町駅まで歩きその周辺の本屋を巡りました。
コンピュータの洋書を扱っているのが、三省堂の本店しか見つける
ことができませんでした。在庫はあらず。
いくらでもあるとのことなのですが、探しかたが悪いのか、
>>482 さんの言う通りなのか不明です。
Amazon から Haskell: The Craft of Functional Programming
は届いたので読みすすめてます。結構面白いです。
484:デフォルトの名無しさん
05/04/04 04:15:17
>>483
> コンピュータの洋書を扱っているのが、三省堂の本店しか見つける
> ことができませんでした。
え、マジ? それは探し方が悪いのでは。
485:474
05/04/06 17:39:21
そうですよね。もっと探検してみます。
486:デフォルトの名無しさん
05/04/07 12:56:04
オレも他にはゆうりんどう(字わからん)くらいしか思いつかない。いいとこあるなら教えてcray。
487:デフォルトの名無しさん
05/04/07 14:51:05
洋書なんて読むなよこの非国民が
488:デフォルトの名無しさん
05/04/07 15:41:08
英語も読めないの？国辱。
489:デフォルトの名無しさん
05/04/07 20:21:03
洋書 = 英語書かよ、この拝米主義者め
490:デフォルトの名無しさん
05/04/07 20:31:05
英語＝拝米の方がよっぽど（ｒｙ
491:デフォルトの名無しさん
05/04/07 20:48:29
Haskell: The Craft of Functional Programming は英語だろ？
国辱どもが。
492:デフォルトの名無しさん
05/04/07 20:57:10
当たり前のことを言うな一知半解野郎
493:デフォルトの名無しさん
05/04/07 21:30:11
これがゆとり教育の弊害か。確かに国辱。
494:デフォルトの名無しさん
05/04/07 22:14:10
>>487-493
レベルの低い話は止めろ
495:デフォルトの名無しさん
05/04/08 22:34:40
科学とかに関しては日本なんてどうでもいい罠。
496:デフォルトの名無しさん
05/04/09 09:19:13
Haskellの勉強してると類(kind)という言葉が出てくる。
手持ちの関数型言語の参考書では見かけないので、類を扱うのは比較的
珍しいことなのかと思うのだけれど、どう?
なんでHaskellには類が必要なの?
497:デフォルトの名無しさん
05/04/09 13:07:49
Haskellだと、普通の多相型（[]とかMaybeとか）に加えて
「型構築子から型構築子への写像」（StateTとか）のようなものを定義できるから、
単に「無引数の型構築子」だとか「１引数の型構築子」とかいうだけじゃ不十分だからだと思う。
まあ、似たような機能のあるC++では「類」なんて聞いたこともないんだけど。
関数型言語についてはよく知らんので誰かフォローよろしく。
498:デフォルトの名無しさん
05/04/09 13:52:32
WinXPで動くHaskellのコンパイラってある？
499:デフォルトの名無しさん
05/04/09 13:59:36
>>498
え？GHCがwindowsで動くでしょ？？？
500:デフォルトの名無しさん
05/04/09 14:23:03
∩ノ
／ つ
／ ／ ／￣￣￣￣
∧ ∧／ ＜ ５００ゲットぉぉぉぉ！
⊂(ﾟДﾟ ） 彡 ＼
⊂彡 ￣￣￣￣
＿＿__●●●＿__ ﾊﾞｲｰﾝ
／ 〇 〇 ＼|／ ／|
|￣￣￣￣￣￣￣|
501:デフォルトの名無しさん
05/04/09 17:40:30
498ではないが、
WINXP sp2 で GHC のインストーラはエラーで落ちました。
hugs98 は簡単にインストールできました。
502:デフォルトの名無しさん
05/04/10 11:03:22
言語仕様を見るとHaskellの方がはるかに機能的に見えるのだけど、実用面を見るとHaskellはボロボロ。
結局、開発するならOCamlに軍配があがるんだよね。
503:デフォルトの名無しさん
05/04/10 11:31:38
だから品質には期待するなとあれほど（ry
504:デフォルトの名無しさん
05/04/10 13:23:42
だからghcにバグはないとあれほど（ry
505:デフォルトの名無しさん
05/04/11 11:57:34
>>497
Haskellよく知らんけど、合ってるんじゃん？
C++のテンプレートは展開してからチェックするので、いらないんでしょ。たぶん。
506:デフォルトの名無しさん
05/04/11 12:08:44
>>463
>たぶんlazyな言語に対して割り込みのformal semanticsを与えた人はいないと思う。
>もの凄く難しい
Haskellよく知らんので何か勘違いしてるかもしれんが、
URLﾘﾝｸ(research.microsoft.com)
のA semantics for imprecise exceptionsの5.1節とか
Imprecise Exceptions, Co-Inductivelyは違うの？
507:デフォルトの名無しさん
05/04/11 20:32:57
Haskellで正規表現は標準でサポートされているのですか?
508:デフォルトの名無しさん
05/04/11 20:44:09
>>507
URLﾘﾝｸ(www.google.co.jp)
509:デフォルトの名無しさん
05/04/15 17:30:13
>>501
３月２１日位にインストーラーが変わっている様なのですが、それでインストールしても
駄目ですか？
当方はXP SP2でインストールできています。
510:デフォルトの名無しさん
05/04/15 19:37:33
つーかインストーラーぐらいちゃんと作れませんか？
511:501
05/04/16 12:07:17
>>509
最新版でインストールもできましたし、ちゃんと動きました。
ありがとうございます。
512:デフォルトの名無しさん
05/04/17 22:00:14
imprecise exception 云々よりどっちかというと Asynchronous exceptions in Haskell の方が該当する希ガス。
513:デフォルトの名無しさん
05/04/17 22:05:22
この言語扱うのに数学の知識必須みたいだな。初めて使ったが…
514:デフォルトの名無しさん
05/04/17 22:19:40
そうなの？どの辺でそう感じた？
515:デフォルトの名無しさん
05/04/17 22:33:46
>>514
いや、大したことじゃないんだけど、集合論とか。
516:デフォルトの名無しさん
05/04/18 01:09:42
文系お断り言語
517:デフォルトの名無しさん
05/04/18 11:59:50
Text.Regex は入力を不必要に最後まで読んでくれたりして微妙に嬉しくないんだよなあ。
518:デフォルトの名無しさん
05/04/18 23:56:27
で、この言語なんて読むんだ？
はすくぇる？
519:デフォルトの名無しさん
05/04/18 23:57:21
ハスケルカリー
520:デフォルトの名無しさん
05/04/20 23:24:41
GHCのコンパイルがなかなか終わらない。
ひょっとして、マシンパワーがかなり必要なの?
普段使っているのはおんぼろラップトップなんだよね。
521:デフォルトの名無しさん
05/04/20 23:45:27
>>520
こちとら、PowerBookG4(867MHz,RAM640MB)で
2ステージ+testsuite が6～8時間。
522:520
05/04/21 08:32:54
朝起きたら無事終わってた
GHCは普通のコンパイラとは内部構造がかなり違うようですな。
523:デフォルトの名無しさん
05/04/22 20:52:35
某スレでハスケルでGUIは辛いと言われてしまいました。
誰か反論の文句をおねがいします。
524:デフォルトの名無しさん
05/04/22 20:54:26
だからあれほどHaskellは実用アプリケーション作成向きでは無いと(小一時間
525:デフォルトの名無しさん
05/04/22 21:08:24
だからあれほどghcは完璧だと（ｒｙ
526:デフォルトの名無しさん
05/04/23 05:07:16
情処の記事を読んで触ってみた。
527:デフォルトの名無しさん
05/04/23 13:52:46
今月からFPの連載だね。
528:デフォルトの名無しさん
05/04/23 23:02:55
FP ってなんですか?
529:デフォルトの名無しさん
05/04/24 00:06:54
一時期流行った自分視点のゲームだろ
530:デフォルトの名無しさん
05/04/24 13:13:48
そりゃFPSだ。
動的計画法のことだろ？
531:デフォルトの名無しさん
05/04/24 18:54:43
Functional Programmingのことかと思った。
532:デフォルトの名無しさん
05/04/24 21:37:20
> 動的計画法のことだろ？
それはDP(dynamic programming)
533:デフォルトの名無しさん
05/04/24 23:26:26
わかりにくいネタでごめん
534:デフォルトの名無しさん
05/04/25 20:31:20
まじでどこで連載してるのか教えてくれ
535:デフォルトの名無しさん
05/04/25 20:56:53
情報処理学会誌ですね。
久しぶりにビニールを開けてみました。
相変わらず読むところが少ない…。
536:デフォルトの名無しさん
05/04/27 11:28:18
辛ければヨーグルトを使う
537:デフォルトの名無しさん
05/04/29 15:38:56
GHCがpanicっていってコンパイル止まったよ。
間違ったソースの中には対応しきれないものがあるようだ。
538:デフォルトの名無しさん
05/04/29 16:42:43
>>537
嘘はいけない。ghcにバグはない。
539:デフォルトの名無しさん
05/04/29 16:49:25
ghc のバグじゃなくてコンパイルするソース側の
540:デフォルトの名無しさん
05/04/29 16:57:37
＞嘘はいけない。ghcにバグはない。
なんか凄い事聞いた気がする。
ほんと？
541:デフォルトの名無しさん
05/04/29 18:00:14
ほんとにそうならghcのwebにバグレポートのリンクがあったりしないべ。
542:デフォルトの名無しさん
05/04/29 18:49:30
Ｆｉｎａｎｃｉａｌ Ｐｌａｎｎｅｒ
543:537
05/04/29 21:25:14
ほんとだよ。GHC cannot process input file. please report this to us とか出たもの。
もちろんソースは正しくないやつなんだが、それでもコンパイラが適切なエラーメッセージを
出せずに止まったことは事実。
544:デフォルトの名無しさん
05/04/29 22:13:13
ああ、拡張機能や新機能を使うと稀に起こるよ、panic。
ちゃんと報告してあげて下さい。
545:デフォルトの名無しさん
05/04/30 18:45:06
例のHaskell連載って公開してるんだね
URLﾘﾝｸ(www.ipsj.or.jp)
546:デフォルトの名無しさん
05/04/30 19:44:34
ハスケル！ハスケル！
547:デフォルトの名無しさん
05/04/30 21:27:04
_ ∩
( ﾟ∀ﾟ)彡
( ⊂彡
| |
し ⌒Ｊ
548:デフォルトの名無しさん
05/05/01 20:14:08
LISP Macro みたいなことできますか？
-- dotimes :: n -> (n -> IO()) -> IO()
dotimes n f = __dotimes 0
where __dotimes i | i >= n = return ()
| otherwise = do (f i)
__dotimes (i + 1)
-- dotimes 10 ( \x -> putStr (show x))
こんなもの？
549:デフォルトの名無しさん
05/05/01 23:02:28
遅延評価だし、アクションが第一級の対象だから、
全ての関数がマクロであるようなものじゃないか？
550:549
05/05/01 23:05:09
なんかピントの外れたことを言ったな。
誰かフォローよろしく。
551:デフォルトの名無しさん
05/05/01 23:19:07
dotimes' n f = sequence_ [ f n' | n' <- [0..n-1] ]
main = dotimes' 10 (putStr.show)
552:無理です。
05/05/01 23:20:58
例えばhaskellのif
if p then c else a
は、
case p of
True -> c
False -> a
の構文糖衣とみなせる。逆でもよい。
マクロの代わりになるかどうかは、自分のifをcaseで定義できるかどうかを
考えてみればわかる。
myif
mycase
さあどうぞ。
553:デフォルトの名無しさん
05/05/01 23:29:12
myif :: Bool -> a -> a -> a
myif p c a = case p of True -> c; False -> a
でいいんじゃないのか？
554:デフォルトの名無しさん
05/05/01 23:37:45
>>553
thenとかelseはどこいった？
555:デフォルトの名無しさん
05/05/01 23:43:22
シンタックスを定義できなてもマクロと言えると思うが。
556:デフォルトの名無しさん
05/05/01 23:49:16
↑それで消費者が納得すると思ってんのか？
557:デフォルトの名無しさん
05/05/01 23:52:37
>>555
関数マクロと言うべきか。
>>548の回答としては、
Ｑ．LISP Macro みたいなことできますか？
Ａ．できません。
558:デフォルトの名無しさん
05/05/02 00:05:54
haskellでは
a `lambda` (a + 1)
の様な表現ができないのが本質的っぽいね。
559:デフォルトの名無しさん
05/05/02 00:11:04
つまり、遅延であろうがなかろうが、LISPのようなマクロを書けるかどうかは
引数評価を自分でコントロールできるかどうかにある。
少なくともLISPのマクロ内に出てくるシンボルみたく、引数の一部を
評価せずにキーワードそのものとして扱うみたいな仕組みがないと。
560:デフォルトの名無しさん
05/05/02 00:25:50
「遅延評価」の意味で「評価」と言うと意味が違うと思う。
引数の評価をコントロールするだけならhaskellでもできる。
「解釈」と言えばいいのかな？
561:デフォルトの名無しさん
05/05/02 00:39:06
LISPのマクロはdefineを含むコードを生成できるけど、Haskellではそのような真似はできないはず。
562:デフォルトの名無しさん
05/05/02 13:13:17
HaXmlで下のinputからoutputのような出力を得たいんですがどのようにすれば
良いでしょうか？
---input---
<function name='deleteBy' type='(a -> a -> Bool) -> a -> [a] -> [a]'>
<description>
similar to <f>delete</f>, but it allows the programmers to supply
their own equality test
</description>
---output---
["deleteBy", "similar to delete, but it allows the programmers to supply
their own equality test"]
<description>の中の<f>の処理がうまく行かず下のような結果になってしまい
ます。<description>の中のテキスト部分だけを抜き出したいです。別リスト
にしないで1つの文字列として。
["deleteBy", "similar to ", "delete", ", but it allows the programmers to supply
their own equality test"]
563:562
05/05/02 13:22:01
コードとサンプルデータを載せます。
import System.IO
import System.Environment
import Text.XML.HaXml
import Text.XML.HaXml.Pretty (content)
main :: IO ()
main =
do ~[arg] <- getArgs
h <- openFile arg ReadMode
str <- hGetContents h
case xmlParse "list.xml" str of
(Document _ _ (Elem _ _ contents))
-> mapM_ print $ map getCont contents
getCont = map content . contFilter
contFilter :: CFilter
contFilter = f `o` (tag "function")
f = cat [ ("name"?) , multi txt `o` (keep /> tag "description") ]
564:562
05/05/02 13:22:59
<module name="List">
<function name='deleteBy' type='(a -> a -> Bool) -> a -> [a] -> [a]'>
<description>
similar to <f>delete</f>, but it allows the programmers to supply their own equality test
</description>
<example>
<in>deleteBy (\x y -> y `mod` x == 0) 4 [6,8,10,12]</in>
<out>[6,10,12]</out>
</example>
</function>
</module>
565:デフォルトの名無しさん
05/05/17 14:30:17
今月の文章は先月の和田先生のよりわかりにくいなあ。
例題をどう解くかの説明が全くなくて、説明もHaskellの説明にはなってるけど
例題のプログラムの説明としてはかなり端折られてるのが原因かな。
566:デフォルトの名無しさん
05/05/17 22:34:11
バイナリファイルを弄りたいんですけど
Haskellでビット演算の関数とか演算子とか
あれば教えてください。
567:デフォルトの名無しさん
05/05/17 23:38:07
:browse Bits
568:デフォルトの名無しさん
05/05/18 22:14:20
>>567
ありがとうっす
569:デフォルトの名無しさん
05/05/20 23:02:42
モナドって全然わかない
570:デフォルトの名無しさん
05/05/20 23:16:00
↑日本語もわかない人
571:デフォルトの名無しさん
05/05/21 01:33:08
最近自分は悟った。
モノイドとか圏論とかの背景思想を無視して
使う立場だけからいうと
モナドは数珠繋ぎ強制ギプスみたいなものだと。
(IO Char)とか(IO Int)とかの型は
CharやIntの値がくるまれたカプセルみたいなもんだ。
ちなみにIO ()の()はCでいうvoid型
return xx とやると普通の値もIOモナドで包むことができる。
572:デフォルトの名無しさん
05/05/21 01:33:49
ただしIOモナドは一度くるんだら中身を取り出す方法がない。
IO型の関数を普通の関数と組み合わせても型違いで
コンパイルエラーになる。
(IO ()ももちろん型違いでエラー）
そこでモナドの中身の値を
橋渡しするアダプタ(>>=)を使う。
結局>>=や>>で(IO ｘｘｘ)型の関数同士やreturn xxで
数珠繋ぎにするしかないように強制される。
573:デフォルトの名無しさん
05/05/21 01:42:17
そいつは面倒だあ
574:デフォルトの名無しさん
05/05/21 01:43:08
IOモナドってGPLみたいだなとか思った。
575:デフォルトの名無しさん
05/05/21 01:48:49
数珠つなぎのしくみや値を包みこむ性質を利用して
他にもいろいろなモナドがあるし自分でも作れる（かもしれない）
Stateモナドは数珠繋ぎを利用して
IOモナドみたいな状態遷移を自分で作れる。
Maybeモナドは値を包むほうが主眼のモナド
実際の値の代わりにNothingというダミーを
突っ込んでおくことができる。
データベースのNULL値みたいに使える。
576:デフォルトの名無しさん
05/05/21 01:57:53
モナドと聞くと王監督の顔が思い浮かぶのは何故？
577:デフォルトの名無しさん
05/05/21 02:24:06
>>571
>CharやIntの値がくるまれたカプセルみたいなもんだ。
俺にはこの表現がなじまない。
カプセルってのは中身が取り出せてこそのものだよな。
だから、「CharやIntにに関係する何か」くらいの認識しかできない。
578:デフォルトの名無しさん
05/05/21 12:13:59
自分でIO型の関数作れば
前のIO関数から>>=で渡された
中身の生の値をちゃんと自由に扱える。
「取り出す方法が無い」んじゃなくて
「>>=を使って（間接的に）取り出すしか方法が無い」が
正しいかも。
579:デフォルトの名無しさん
05/05/21 12:15:56
monadic I/Oの意味論を破壊して喜ぶって、マゾですか？
580:デフォルトの名無しさん
05/05/21 12:16:44
そーゆーのには、
C言語とアセンブラがお勧め(w
581:デフォルトの名無しさん
05/05/21 12:30:25
>576
ﾜﾛｽ
俺も思いついた
582:デフォルトの名無しさん
05/05/21 16:33:47
もな～ももなど？
583:デフォルトの名無しさん
05/05/21 20:30:44
>>549
そのとおりだよね。
584:デフォルトの名無しさん
05/05/21 20:44:49
>>583
だからー、
その件はLISPマクロのようには書けないって話だろーが
585:デフォルトの名無しさん
05/05/21 21:04:10
>>559
名前渡し？遅延評価ってそういうことなのでは？
586:デフォルトの名無しさん
05/05/21 21:12:59
名前をキーワードとして扱う？CLtL4の仕様ですか？ｗ
587:566
05/05/21 21:23:20
某バイナリファイルのヘッダ構造体の読み込み関数が
だいたい目処がたってきますた。
ところでdata宣言で作った構造体？にたいする
Javaのシリアライズみたいな仕組みやライブラリって
Haskellにはないんすかね？
リフレクションみたいな仕組みがないと無理？
ファイルフォーマットをリストで与えて結果もリストで返すみたいなのは
できそうだけどそれじゃせっかくの強力な型システムが活かせないような、、
588:デフォルトの名無しさん
05/05/21 21:25:51
>>585
あ、違うか
名前渡してないもんね
普通の意味の値の他に名前も値にできるようでないと圏論的には不完全なようなキガス
589:デフォルトの名無しさん
05/05/21 21:28:21
とゆーことは変数のポインタでいいのかどうか
590:デフォルトの名無しさん
05/05/21 21:39:32
＞圏論的には不完全
というと？
591:デフォルトの名無しさん
05/05/22 16:51:02
ちょっと質問です。
二項関係 r の反射的・対称的・推移的閉包に (x,y) が属するかどうかを判定する関数
inEqvCl ってのを書いてみたんですけど、もうちょっとすっきりした書き方とかないでしょうか？
inEqvCl :: Eq a => (a,a) -> [(a,a)] -> Bool
inEqvCl _ [] = False
inEqvCl (x,y) s = chk s y x
where
chk lst v u | v == u = True
| v `elem` ux = True
| otherwise = or $ map (chk lst' v) ux
where
lst' = [ p | p <- lst, u /= fst p, u /= snd p ]
ux = do p <- lst
if u == fst p && u /= snd p
then return $ snd p
else if u == snd p && u /= fst p
then return $ fst p
else fail ""
実行例
(2,1) `inEqvCl` [(0,2),(3,4),(5,4),(1,5),(5,0),(6,7),(8,7)]
=> True
(1,6) `inEqvCl` [(0,2),(3,4),(5,4),(1,5),(5,0),(6,7),(8,7)]
=> False
592:デフォルトの名無しさん
05/05/22 21:57:54
>>591
こんなのでどうかな。
題意を理解していないので間違ってたらｽﾏｿ
import List
inEqvCl :: Eq a => (a, a) -> [(a, a)] -> Bool
inEqvCl _ [] = False
inEqvCl (x, y) s
| x == y = True
| y `elem` ns = True
| otherwise = any con ns
where
ns = map snd $ filter ((==x) . fst) exts
exts = s ++ map (uncurry $ flip (,)) s
con n = inEqvCl (n, y) (s\\[(x, n), (n, x)])
593:デフォルトの名無しさん
05/05/22 22:23:13
面白そうなのでオレもやってみた。
-- 同値類のリストを算出
classify :: Eq a => (a, a) -> [[a]] -> [[a]]
classify (x, y) [] = [[x, y]]
classify (x, y) (c : cs)
| x `elem` c = (y : c) : cs
| y `elem` c = (x : c) : cs
| otherwise = c : classify (x, y) cs
inEqvCl :: Eq a => (a, a) -> [(a, a)] -> Bool
inEqvCl (x, y) lis = (not . null) (filter (f x y) (foldr classify [] lis))
where f x y c = x `elem` c && y `elem` c
いろいろ最適化の余地があるが。
594:デフォルトの名無しさん
05/05/22 22:32:57
あ、>>593 間違ってるわ。これだと [(3, 4), (1, 3), (2, 4)] とかで
うまくいかない。
595:591
05/05/22 22:42:11
>>592-594
ありがとうございます。
やっぱり短く書けるんですね。
596:デフォルトの名無しさん
05/05/23 22:10:44
無限のリストだと止まらなくなるかな
597:シミュレーション板GPスレから来ました
05/05/24 01:12:59
PolyGP: A Polymorphic Genetic Programming System in Haskell
↑のプログラムソース PolyGP.tar って、uclのサイトから消えている様ですが、
どこかにバックアップないでしょうか?
よろしく、おながいします。
598:591
05/05/24 05:44:25
とりあえず問題が2つありました。
1. 反射的閉包なんで、inEqvCl (x,x) [] == Trueにならないといけない。
>>592さんのからinEqvCl _ [] = Falseを取り除けばOK。
2. (\\)は最初の1つしか取り除かないので、最初の集合に対称なものがあると拙い。
(\\)の代わりに下の(//)を使って対処。
(//) :: Eq a => [a] -> [a] -> [a]
xs // ys = [ x | x <- xs, x `notElem` ys ]
>>596
無限リストは今回は対象外なので問題ないです。(^^;
599:デフォルトの名無しさん
05/05/27 00:42:11
Haskellの配列の更新(//)は一部変更でも配列全部作り直したり
してるんですか？
リングバッファとかに使っても大丈夫ですか？
600:デフォルトの名無しさん
05/05/27 01:42:54
600
601:599
05/05/27 22:02:30
>>599
自己レス
URLﾘﾝｸ(d.hatena.ne.jp)
ここみるとだめっぽい感じでした
GCが仕事してくれること期待して
配列ガシガシ使い捨てにでもするか
602:デフォルトの名無しさん
05/05/27 22:21:03
いつまでたっても関数型のボトルネックだな＞配列・構造体
これが解決しない限り関数型が栄えることは無い
603:デフォルトの名無しさん
05/05/27 22:21:57
俺達でwadlerを唸らせる解を考えよう
604:デフォルトの名無しさん
05/05/28 01:00:55
配列も、マクロな視点で見ればただの変数に変わりない
だから、修正された瞬間複製するのが妥当な戦略だろう
しかし、オリジナルが参照されないとわかっているなら複製する必要ないから複製を省略する。
ここまで考えてふと思いついた。
すなわち差分をもっとけばいいんじゃないかと。
配列n番目更新しますた！更新しますた！という情報を各インデクス毎に持っとくわけよ
配列を全て更新しおわたとしても、またさらに更新するかもしれない
その場合はまたその差分を作るわけよ
するとどうだい？
差分として分解された各配列の要素はまるでりすｔ(ry
おれには難しすぎたようだ！
605:デフォルトの名無しさん
05/05/28 01:13:09
>>602
Uniqueness Typing
606:デフォルトの名無しさん
05/05/28 05:03:54
配列や構造体もモナドにしたら？
607:デフォルトの名無しさん
05/05/28 08:38:44
starray とかいうモナドがあると聞いたが
漏れは調べてないので諸君調べて報告してくれ
608:デフォルトの名無しさん
05/05/28 11:15:19
マクド
609:デフォルトの名無しさん
05/05/28 13:50:31
>>606
つIOUArray
610:デフォルトの名無しさん
05/05/28 14:11:18
伝説のモナド
611:デフォルトの名無しさん
05/05/28 14:23:54
ナボナ＠亀屋万年堂
URLﾘﾝｸ(www.navona.co.jp)
これのことでしょ？
612:デフォルトの名無しさん
05/05/28 20:20:45
>>607
それはスタレイました
613:デフォルトの名無しさん
05/05/28 20:52:42
>>28で紹介されているURLﾘﾝｸ(rrr.jin.gr.jp)のRWikiがNot Foundで見れません。
どうしたらよかとですか？
614:613
05/05/28 20:54:47
自己解決しました。
://pub.cozmixng.org/~the-rwiki/rw-cgi.rb にありました。
615:デフォルトの名無しさん
05/05/30 20:59:12
ハスケルを勉強したい時にはどうしたらいいですか？
日本語の丁寧なチュートリアル文献がありますか？
>>1のは難しいですよ
616:デフォルトの名無しさん
05/05/30 21:15:20
>>615
1. haskellで適当なコードを書く
2. -ddump-realCをつけてコンパイル
3. 1と2の結果を見比べる
617:デフォルトの名無しさん
05/05/30 21:46:39
>>615
URLﾘﾝｸ(www.geocities.jp)
とか。
618:デフォルトの名無しさん
05/05/30 22:05:26
>>616
これなかなか良いね。
619:デフォルトの名無しさん
05/05/30 22:21:34
>>615
URLﾘﾝｸ(www.sampou.org)
とかはどう？
620:デフォルトの名無しさん
05/05/30 22:29:19
>>616
Cに落とさなくてもcore言語レベルでいいんじゃない？
621:デフォルトの名無しさん
05/05/31 09:34:43
mona do !
622:デフォルトの名無しさん
05/06/02 00:38:18
monadius
623:sage
05/06/02 14:55:24
Hugsなんだけど
Main> -1 ってやると
-1
Main> ( - 1) 2 とやると
ERROR - Unresolved overloading
*** Type : (Num a, Num (a -> b)) => b
*** Expression : fromInt (-1) 2
んん？(-) は単項演算子なのか！？
しかしMain> ( - ) 1 2 とやると
-1 とかえってくる。
(-)は二項演算子ってことになってるんじゃなかったのか！？
URLﾘﾝｸ(www.sampou.org)
>negate は Haskell では唯一採用された前置演算子です。
>これを (-) と書くことはできません。
>それは、こう書けば、減算関数になってしまうからです。
どうなってるの？＞識者の方々
624:デフォルトの名無しさん
05/06/02 15:56:22
-1
(- 1)
(- 1) 2
の - はnegateのことで単項演算子
(-) 1 2
((-) 1) 2
(1 -) 2
1 - 2
の - は二項演算子
625:デフォルトの名無しさん
05/06/02 17:54:00
>>624
それって上の引用の記述と矛盾してないかって事。
HugsはHaskell98モードでも再現したよ。
上の記述が古いのかHugsの独自仕様なのか、、、
実際-1と書けたほうが便利だけどね。
一瞬
「(\x -> x - 1) を 自動的に -1 に変換してるのかHaskell凄えな」
と思ったけど
型が全然違うし。
626:デフォルトの名無しさん
05/06/02 19:21:51
括弧のついてない - はその直前に第1引数になるものがなければ単項演算子として解釈されるってだけなんじゃないの。
627:デフォルトの名無しさん
05/06/02 20:15:18
>>623
原文は
>negate is the function applied by Haskell's only prefix operator, minus; we can't call it (-), because ...
だから、誤訳かと。
一応報告しておいた。
628:デフォルトの名無しさん
05/06/02 23:01:09
>>625
>それって上の引用の記述と矛盾してないかって事。
どこが？
629:デフォルトの名無しさん
05/06/02 23:12:15
誤訳なのか？ "minus"が抜け落ちてるけど大意は変わらない気がするが。
単にセクションと単項のマイナスが構文上区別できなくて、その場合は単項マイナスの方を優先するってだけの話じゃん。
URLﾘﾝｸ(www.sampou.org)
より
> - は文法上、特別扱いで、(- exp) はセクションではなく、前節で説明したように前置の符号反転演算子の適用である。
630:623
05/06/02 23:25:28
誤訳か誤読かはともかく納得しますた。
これから安心して-1って書けるよ
631:デフォルトの名無しさん
05/06/02 23:27:07
最近すげぇ低レベルの話題ばっかなのは、
やっぱ新入生？？
632:デフォルトの名無しさん
05/06/02 23:31:21
ヒント：ネタ切れ
633:623
05/06/03 01:25:03
レベル低くてゴメンよ
配列の更新についてネタ振ったのも自分
学生じゃないけど
最近Haskellに挑戦してるのさ
初心に帰って楽しい。
ところでソースアップできるところないすか
634:デフォルトの名無しさん
05/06/03 01:35:40
>>629
>>623の表現だと単項マイナスが存在しないように読めるから、誤訳といっていいと思う。
635:デフォルトの名無しさん
05/06/04 14:08:09
33 名前： 名無しさん＠毎日が日曜日 Mail： 投稿日： 05/06/03 21:46:40 ID： M3Iswrux
type Dame = Human
jobHunting :: Dame -> [Company] -> Maybe Future
jobHunting _ [] = Nothing
jobHunting d (c:cs)
| hasShokureki d = Just Saiyou
| (age d) < 25 = Just Saiyou
| otherwise = jobHunting d cs
636:デフォルトの名無しさん
05/06/04 18:42:44
>>602
そんな貴方に APLやJやKはいかが?
関数型言語スレで話題になってたと思うが、過去ログ倉庫入りかも。
637:デフォルトの名無しさん
05/06/04 21:35:16
APLやJやKは、関数型言語の源流というだけで、今更な言語。
APL挙げるくらいなら、KRCやFを挙げるよな、まともな人間なら。
638:デフォルトの名無しさん
05/06/04 21:56:08
Lisp -> ML -> Haskell ってながれじゃないの？
639:デフォルトの名無しさん
05/06/04 22:13:17
？
現在の関数型言語ブームの源流は、
Fortran、BNF、1977年チューリング賞受賞者John BackusのFL(F言語)
で す が 何 か ？
640:デフォルトの名無しさん
05/06/05 03:19:55
い い え 何 も ？
641:デフォルトの名無しさん
05/06/05 04:13:34
Ｃ＋＋ → くそ
Ｃ → くそ
Ｊａｖａ → くそ
Ｆｏｒｔｒａｎ → くそ
ＭＬ → ゴミ
Ｈａｓｋｅｌｌ → ゴミ
Ｏｃａｍｌ → クズ
Ｒｕｂｙ → クズ
Ｌｉｓｐ → クズ
Forth → クズ
λ-Ｃａｌ → アホ
π-Ｃａｌ → アホ
μ-Ｃａｌ → アホ
φ-Ｃａｌ → アホ
642:デフォルトの名無しさん
05/06/05 04:14:31
ｺﾋﾟﾍﾟうざ
643:デフォルトの名無しさん
05/06/05 04:24:33
>>637
関数型言語の源流というよりは、配列計算言語の源流でわ?
SとかRとか(SASとかSPSSとか)、影響うけてるでそ?
644:デフォルトの名無しさん
05/06/05 09:50:00
>>現在の関数型言語ブーム
え、今、ブ、ブームなんですか...... よい時代に生まれたことを感謝します。
645:デフォルトの名無しさん
05/06/05 10:06:10
空前のブームのため、Haskellプログラマは企業から引っ張りだこです。
646:デフォルトの名無しさん
05/06/05 10:17:20
>>645
／￣￣￣￣￣ ミ
/ ,――-ミ
/ ／ ／ ＼ |
| / ,（･） （･） |
(6 つ |
| ＿＿_ | ／￣￣￣￣￣￣￣￣￣￣
| /＿＿/ ／ ＜ なわけねーだろ！！
／| ／＼ ＼＿＿＿＿＿＿＿＿＿＿
647:623
05/06/05 16:30:18
とりあえずLha展開関数動いたよ。
URLﾘﾝｸ(www3.atwiki.jp)
だれかモナドを２つ以上同時に使う方法教えて下さい。
648:デフォルトの名無しさん
05/06/05 16:56:31
>>647
モナド変換子で合ってる。
649:623
05/06/06 01:12:37
URLﾘﾝｸ(www.sampou.org)
やっぱりこの辺りは避けて通れませんか。
モナドをやっつけたと思ったらまた難物が、、、
650:デフォルトの名無しさん
05/06/06 23:25:48
ええっと、haskellよりmathematicaの方が有能だしいいのでは関数型として？
651:デフォルトの名無しさん
05/06/06 23:33:24
放置。
652:デフォルトの名無しさん
05/06/07 05:06:03
Haskellで数式処理システム作ろう！とかいう噺があったやうな…?
653:デフォルトの名無しさん
05/06/07 05:44:29
>>649
こんどはＣＩＡか？
654:デフォルトの名無しさん
05/06/07 22:43:11
いや、FBIです
655:デフォルトの名無しさん
05/06/10 17:09:38
649>>URLﾘﾝｸ(haskell.org)に簡単なつかいかたとかあるよ。がんばれ!
656:デフォルトの名無しさん
05/06/29 17:18:46
WinXPにHugsを導入したんですけど、読み込みまでは行くみたいなんですけど
実行してみると結果が表示されません。
例えば
myfactorial :: Int -> Int
myfactorial n
| n == 0 = 1
| otherwise = n * myfactorial (n-1)
というファイルを読み込んで
myfactorial 5
と入力しても何も結果が表示されずに
Main>
という状態に戻ってしまいます。何か原因があるのでしょうか。
657:￢656
05/06/29 22:55:14
XPでやってみたところ、GUIのやつ(WinHugs)が駄目なようです。
オプションあたりが怪しいけどｻﾊﾟｰﾘ
658:デフォルトの名無しさん
05/07/04 22:20:14
ghcでControl.Monad.Readerをインポートすると
Monad ((->) r)のインスタンス宣言（中味はReaderと同じ）が
付いてくるっぽいんだが、いったいこれは何なんだ？
かなり便利だから積極的に使いたい気もするけど、
ドキュメントされてないみたいだし。
import Control.Monad.Reader
-- 3で割れて、かつ5で割れない自然数
t = filter (liftM2 (&&) ((==0) . (`mod`3)) ((/=0) . (`mod`5))) [0..]
659:デフォルトの名無しさん
05/07/04 23:50:56
Vital 使ってる人居ます？
URLﾘﾝｸ(www.cs.kent.ac.uk)
660:デフォルトの名無しさん
05/07/10 19:53:36
I/Oをマクロは解決しないか
661:デフォルトの名無しさん
05/07/11 23:39:29
FpLの抽象構文を拡張して、利用者定義関数が算術式と論理式とを混在してとることができるようにするにはどうすればよろしいですか？評価意味論を適当に拡張するらしいのですが・・・
662:デフォルトの名無しさん
05/07/11 23:40:00
名前呼びを用いると、ある式eに対してD,ρ├ e ⇒ A ｋとなる数字ｋが存在するけれども、値呼びを用いると、D,ρ├ e ⇒ A ｋとなる数字が存在しない宣言の例ってありますか？
663:デフォルトの名無しさん
05/07/12 07:34:27
まず元ねたを書け。話はそれから。
664:デフォルトの名無しさん
05/07/19 18:29:38
圏論の基礎 日本語訳 S.マックレーン
URLﾘﾝｸ(www.amazon.co.jp)
665:デフォルトの名無しさん
05/07/19 20:19:44
"Catefories for Working Mathematician" (働く数学屋のための圏論) の題名が
「圏論の基礎」になっちまうんだとしたら、
"Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)"
の題名はどーなるんだ？
「一週間で判る！くもんしきけんろん (いちねんせいむけ)」か(笑
666:デフォルトの名無しさん
05/07/19 20:31:23
>>664
買っちゃった。
667:デフォルトの名無しさん
05/07/19 20:43:25
>>666
でどうよ？
>>665
"Basic Category Theory for Computer Scientists (Foundations of Computing)"
「圏論の超基礎」つうのもある・・・
668:デフォルトの名無しさん
05/07/19 20:47:40
"Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)"
「論理＆数学ラブ♥な人のための、カテゴリー・ロジックと型理論」
なんつう分厚い数学書も買うには買ったけど、これは完全に死蔵本だな、たぶん。
669:デフォルトの名無しさん
05/07/19 20:49:10
ってな意味で、いきなり訳書を読めるアンタ(>>666)、
幸せ者だぞｺﾞﾗｧ！！！
670:デフォルトの名無しさん
05/07/19 21:17:36
>>667
誤植が多いみたい。
671:デフォルトの名無しさん
05/07/19 22:24:11
誤訳じゃなくて誤植ってのが泣けるね。
672:デフォルトの名無しさん
05/07/19 23:39:47
「できる圏論」
673:デフォルトの名無しさん
05/07/19 23:40:57
モノイダル圏とか分からない件
674:デフォルトの名無しさん
05/07/21 16:22:11
URLﾘﾝｸ(www.sampou.org)
暇だからこれ読んでたんだが、ユーザ定義型のデータ構築子と型構築子の意味が分らん。
誰かなんかC,C++の似たような概念の用語で分りやすい説明キボンヌ。
675:デフォルトの名無しさん
05/07/21 18:51:43
データ構築子 <=> classのコンストラクタ
型構築子 <=> template
676:デフォルトの名無しさん
05/07/21 21:21:07
型構築子はtypedefでは？
677:デフォルトの名無しさん
05/07/21 21:34:50
typedef は多相(総称？)型の定義ができんでしょ。
678:デフォルトの名無しさん
05/07/21 23:42:00
CやC++でプリミティブと言われてる型は、Haskellでは全て列挙型
という見方をするの？
data Int = -65332 | ... | -1 | 0 | 1 | ... | 65332
という例が載ってるけど、こんな感じに、
新たに型を作る。作られる型がデータ構築子
そのときに型のデータのインスタンスを列挙する。列挙されるのがデータ構築子。
こんな感じでいいのかな？頭悪くてすいませんねｗ
679:デフォルトの名無しさん
05/07/21 23:43:28
×新たに型を作る。作られる型がデータ構築子
○新たに型を作る。作られる型が型構築子
680:デフォルトの名無しさん
05/07/21 23:52:20
しかし新たに型を定義する式のためのキーワードがdataで、
Cのtypedef風なものにtypeが使われてるのはなんかちょっと違和感あるというか。
typeはいいとして、なんでdataなの？
681:デフォルトの名無しさん
05/07/22 00:54:47
>>680
データ型宣言だから、では駄目かい？
682:デフォルトの名無しさん
05/07/22 08:43:46
>>681
厨房臭いんですが、dataってのは納得できないですね。
それはまあいいとして、このスレはちょっとレベルが違いすぎるので、
初心者はこっちで質問することにしました。どうもです。
関数型言語Part IV
ｽﾚﾘﾝｸ(tech板)
683:デフォルトの名無しさん
05/07/22 08:52:28
言語に特有の質問なんだから、このスレのほうがいいんじゃないか？
684:デフォルトの名無しさん
05/07/22 13:15:03
SMLはtype synonym宣言に'type'、データ型宣言に'datatype'を使う。
Haskellはそいつを参考にしたが、'datatype'は長いので'data'にした。
というのも考えられるかも。
685:デフォルトの名無しさん
05/07/22 13:45:51
OCamlなら全部typeで済ませられるぞ(逆に言うと宣言の見掛け上区別できない)。
686:デフォルトの名無しさん
05/07/27 20:28:46
Peyton Jonesの本が面白すぎて夜も眠れません。
687:デフォルトの名無しさん
05/07/28 01:59:51
HaskellからCleanに宗派変えてみる。
688:デフォルトの名無しさん
05/08/13 00:17:46
ここでは、こういうネタはスレ違い？
URLﾘﾝｸ(www.geocities.jp)
本家からもリンクされてる。
Monadius
A shoot 'em up game using OpenGL. Takayuki Muranushi also wrote a couple of other games in Haskell.
URLﾘﾝｸ(www.haskell.org)
689:デフォルトの名無しさん
05/08/26 17:04:35
_|_って何から来てるんですか？
数学？
690:デフォルトの名無しさん
05/08/26 18:12:56
>>689
うん
691:デフォルトの名無しさん
05/08/26 20:28:34
どの分野か教えてもらえますか？これも圏論？
692:デフォルトの名無しさん
05/09/06 17:46:57
越田先生＠東京工科大のレジュメ URLﾘﾝｸ(www.teu.ac.jp)
ってのは、今はどこで見れるの？
693:デフォルトの名無しさん
05/09/06 18:33:49
URLﾘﾝｸ(www.teu.ac.jp)
もう読めないのかも。Internet archiveにはあるか？
694:デフォルトの名無しさん
05/09/06 19:48:40
>>693
亡くなられたのか……まだ若いのに。
プログラム工学VI 授業関連資料
URLﾘﾝｸ(web.archive.org)
695:デフォルトの名無しさん
05/09/07 00:28:33
>>693
うへー、マジカヨ。
ご冥福をお祈りいたします。
696:デフォルトの名無しさん
05/09/07 00:32:24
貴重な(ry
697:デフォルトの名無しさん
05/09/07 01:58:27
この人のチュートリアルをどこかにページにそのままうｐしたらまずいのかな？
需要はかなりあると思うのだが。
698:デフォルトの名無しさん
05/09/07 14:24:35
それより誰かが成書に仕上げて印税が遺族に行くようにできるとよいな。
699:デフォルトの名無しさん
05/09/07 19:19:39
おいおい越田先生、死んだのかよ。面識なんてもちろんないけど
チュートリアル何度も読んでたから、泣けてくるじゃネーか
合掌(-人-)
700:デフォルトの名無しさん
05/09/13 02:08:53
>>693
ひさしぶりに覗いたら悲しい知らせが。
南無。 そしてありがとう。
701:デフォルトの名無しさん
05/09/15 09:54:51
URLﾘﾝｸ(mono.kmc.gr.jp)
702:デフォルトの名無しさん
05/09/16 03:51:24
Ruby 2.0 勝手に実装してくれよ
703:デフォルトの名無しさん
05/09/16 04:46:06
実装できるほどの仕様が決っていないのでは?
704:デフォルトの名無しさん
05/09/19 17:14:40
ここでPugsの話題が出ないのが謎
本家よりずっと先にリリースって、すげーと思わない？
705:デフォルトの名無しさん
05/09/21 02:03:18
すげー過疎
とりあえずVersion 6.4.1リリースage
706:デフォルトの名無しさん
05/09/24 00:34:03
引数のパターンマッチング
guard
if-then-else
case-of
って基本的には同じですか？
707:デフォルトの名無しさん
05/09/24 01:44:59
引数のパターンマッチングと case-of はほとんど同じと考えてよい。
if とパターンマッチは違う。
パターンマッチには真理値で条件を与えることができる。これはガード部とか
言われる。 guard がそのことを指して書いたのであれば、 if と似ていると
は言えるかもしれない。
guard 関数はぜんぜんまったく関係ない。
708:デフォルトの名無しさん
05/09/24 11:29:13
if b then t else f
は
case b of {
True -> t;
False -> f;
}
の省略記法。この意味では同じといえると思う。
709:デフォルトの名無しさん
05/09/24 16:38:46
その4つは束縛変数を導入できるかという点で区別することもできるね。
710:デフォルトの名無しさん
05/09/24 19:55:50
ここにいる奴って、普段何してるんだよ
haskellでオナニーできてるか？
711:デフォルトの名無しさん
05/09/24 21:19:20
昨日STGで2回…
712:デフォルトの名無しさん
05/09/24 23:20:51
monadﾀｿ(;´Д`)ﾊｧﾊｧ
713:デフォルトの名無しさん
05/09/26 18:07:59
★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くな★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くなって、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くなって、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回っ★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だ
これが本物の、初代ＨＡＰＰＹメールです♪ってますが、これは本当です!!
これが本物の、初代ＨＡＰＰＹメールです♪って、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回ってますが、これは本当です!!
これが本物の、初代ＨＡＰＰＹメールです♪
714:デフォルトの名無しさん
05/09/28 23:39:39
Emacsのハスケルモ～ドって使いにくくないですか?
特にインデントが何回も叩かないと希望の位置にこない。
715:デフォルトの名無しさん
05/09/29 00:00:52
haskell-mode、出来はすごく良いと思うけど。
インデントはすくなくとも手で揃えるより楽だし、ローテートしてくれるのは良いよ。
関数定義も補完してくれるし。
ただcase ～ of のインデント位置のポリシーだけは気にいらないな。あれは of の前で改行することを想定しているのだろうか。
716:デフォルトの名無しさん
05/09/29 00:29:05
そうですか。もうちょっと頑張って使い込んでみます。
あと、M-x turn-on-haskell-hugs して C-c C-l するとEmacsが固まって
C-g打つまで帰ってこなくなるんですが、何か設定が必要なのでしょうか?
Hugs.Base>
というプロンプトで一回 :load して、プロンプトが
Main>
になった後はすんなり動くんですが。
Emacsのバージョンは21.3です。
717:デフォルトの名無しさん
05/09/29 01:20:23
Haskell-modeは優秀だと思う。
718:デフォルトの名無しさん
05/09/29 01:40:00
>716
そういう症状は体験したことがないなあ。自分はおおむね
URLﾘﾝｸ(www.haskell.org)
のように設定している。
でも最近はもっぱら ghci で hugs を使ってませんねぇ。
719:デフォルトの名無しさん
05/09/29 12:16:49
716ですが原因を特定しました。
私の環境ではhugsを起動した直後のプロンプトは
Hugs.Base>
なのですが、huskell-hugs-start-processでcomint-prompt-regexpに設定する
パターンが"^\? \\|^[A-Z][_a-zA-Z0-9]*> "となっていて
ドットを含まないためのようです。これを修正すると問題は解消しました。
(せめてdefvarしていて欲しかった……)
hugsもhaskell-mode.elもFreeBSDのportsで入れたのですが、みなさんの
hugsではプロンプトは別の文字列なのでしょうか?
720:デフォルトの名無しさん
05/09/29 20:46:48
>719
少し前(200311_1)には
Prelude>
だったが、今は確かに
Hugs.Base>
になってるね。
721:デフォルトの名無しさん
05/09/29 22:28:13
Haskell 使おうっと思ってんだけど、サンプルプログラムがなきゃ分からん。
いきなり Pugs, Rtype, Monadius だと手ごわすぎるので、もうちょい下のレベルで、
おすすめを教えて頂戴。
ウェブアプリを作ることがほとんどなので、Wiki, Blog(Diary), BBS 辺りが理想なんだけど。
722:デフォルトの名無しさん
05/09/29 22:57:36
>>721
俺は特に何かをお薦めする程わかっちゃいないが、取り合えず
URLﾘﾝｸ(www.haskell.org)
を紹介しとく。
723:デフォルトの名無しさん
05/09/29 23:04:55
>>722
さんきゅ。
とりあえず、
Flippi: a Wiki clone written in Haskell
URLﾘﾝｸ(www.flippac.org)
でも見てみるよ。
724:デフォルトの名無しさん
05/09/30 11:39:06
「連載: Haskellプログラミング」のメモ化のところがよーわからん。
State s t、withState、bindStateのところで詰まってしまった。
誰か日本語でわかりやすく説明して!
725:デフォルトの名無しさん
05/09/30 17:42:10
Stateモナドの知識がないと難解だと思う。
type State s t = s -> (t, s)
というのは、現在の状態を受け取って新しい状態とさらに何かを返す関数。
だから、State s t型の値を「状態を変更してついでに値を生み出す仕掛け」と見ることができる。
ここで、「状態を変更せずに常に決められた値xを生み出す仕掛け」は
\state -> (x, state)
と書ける。これがwithState x。
一方、「起動されたとき仕掛けxと仕掛けyが順に起動されたかのように振る舞う仕掛けthenState x y」は
次のように定義できる。
thenState :: State s a -> State s b -> State s b
thenState x y = \s0 ->
let (_, s1) = x s0 in -- xに初期状態s0を与えて起動、中間状態s1を得る。xによって生成された値は無視。
y s1 -- yに中間状態s1を与えて起動、終状態と値の組を得る。これはそのまま合成されたしかけの戻り値となる。
thenStateではxによって生成された値を無視したが、この値に基づいて
次に何をするか決めることができないと面白くない。そこで、yとして単なる仕掛けではなく、
「xによって生成された値を受け取って仕掛けを返す関数」を渡すことにする。
bindState :: State s a -> (a -> State s b) -> State s b
bindState x y = \s0 ->
let (result, s1) = x s0 in -- xを起動し…
(y result) s1 -- …次に(y result)を起動
726:デフォルトの名無しさん
05/09/30 22:49:12
すごくわかりやすい! あなたとても賢いね。
どうもありがとうございました。
State s t を状態遷移図での状態aから状態bへの矢印とイメージしました。
withState x は、状態遷移図で状態aから同じ状態aへ戻る矢印(出力x)ですね。
727:デフォルトの名無しさん
05/10/01 11:13:33
Haskell はなかなか自分の思い通りにかけるようにならない orz
728:デフォルトの名無しさん
05/10/01 14:23:21
Cとかと違ってプログラマのほうに能力がないと何もできんよな……
729:デフォルトの名無しさん
05/10/01 20:48:54
Haskellで書くとバグがなくなると聞いたんですが本当ですか？
730:デフォルトの名無しさん
05/10/01 22:48:41
バグは出にくいが慣れないうちは普通にコンパイルを通すだけで苦労する。
731:デフォルトの名無しさん
05/10/01 23:21:49
>>729
俺も最初はランタイムエラーは絶対出ないものと思ってたけど
guardとかの場合わけ漏れとか
パターンマッチの不整合エラーがたまにある、、、
ぬるぽとかと比べて感覚的に頻度少ないけどね。
732:デフォルトの名無しさん
05/10/01 23:59:39
>>729
いいえ
733:デフォルトの名無しさん
05/10/02 00:42:37
整数をゼロで割ると実行時エラーになるし。
完全でないパターンマッチは、ghcなら警告を出させることもできるから、
あとはプログラマの問題という気がするが。
734:724
05/10/02 05:03:11
「連載: Haskellプログラミング」の9月号分を読んで
なんとなく理解したところでは
Haskellで評価の順序を強制するためにはCPSのように書くことが必要で、
Monadは継続に付加情報を(連続的にというか玉突き的にというか)持ち回る道具、
do構文はそれを手続き型のように書く構文、
というところだろうか?
735:デフォルトの名無しさん
05/10/02 08:35:39
Monadは全てを記号論的に処理する枠組み
doは状態遷移を隠蔽するモナド関数
で合ってる？
736:デフォルトの名無しさん
05/10/02 09:44:07
>>734
Stateモナドについてならその理解でいいと思う。
ただし、モナドの意味論は個々のモナドでかわる。モナドそのものは
「do記法で書くことのできるひとまとまりの計算の構成を支援するもの」くらいではないかな。
たとえばIOモナドは副作用が存在しうるような場合の計算の順序の保証する。
Maybeモナドは途中でNothingになるかもしれない計算のまとまりを構成する。
などなど。
あとは「モナドのすべて」を読むといいと思うよ。
URLﾘﾝｸ(www.sampou.org)
737:デフォルトの名無しさん
05/10/03 20:52:08
/＼
／ ＼ 今このとき,モナドは立ち上がる
/∧＿∧ ＼
／（ ´∀｀） /＼
＼（ ） ／ ＼
＼ / ＼
＼／ ＼
∧∧∧∧＼
（ ´／） ））ヽ∧
／ ／ / ´∀） ∧∧
○( ｲ○ （ ,つ, ,ﾟДﾟ)
／ヽ )） ヽ )ヽ )と , ｲ
（_／（_/(_／（_/ﾉ（_/⊂ﾉ> )Ｊ
／￣Y￣｀|/￣＾Y￣ヽ/￣￣Y
738:デフォルトの名無しさん
05/11/01 01:17:46
純粋関数型言語を業務で使ってみたい。
739:デフォルトの名無しさん
05/11/01 01:23:35
ぜひ使ってくれ
740:デフォルトの名無しさん
05/11/02 01:11:11
あなたの業務が研究・教育ならいくらでも…
741:デフォルトの名無しさん
05/11/03 10:35:10
hasktags って使える？
誰か、 GHCmacs でも作ってくえ。
742:デフォルトの名無しさん
05/11/12 10:24:33
行列をhaskellで実装する場合、単位元ってモナドで表現する？
743:デフォルトの名無しさん
05/11/12 19:00:45
連載 Hakellプログラミングの８月号にのってる
両替問題の最初でつまづいてしまいました。
cc ::Amount -> [Coin] -> Count
という関数を
a < 0でないとき
cc a (c:cs) = cc (a-c) (c:cs) + cc a cs
と定義してますが、なぜこれで指定した金額aの両替の組み合わせ個数になるんですか？
初歩的な質問で済みませんが教えてください。
744:デフォルトの名無しさん
05/11/12 19:11:23
>>743
貨幣cを一つ以上使う場合の数は、cを一つ使った後の両替を考えて、cc (a-c) (c:cs)
貨幣cを一つも使わない場合の数は、cc a cs
この和が求めるものになる。
745:デフォルトの名無しさん
05/11/12 19:30:54
>>744
なるほど。
うまく考えるものですね。
ありがとうございました。
746:デフォルトの名無しさん
05/11/12 20:31:08
簡単な例を作るといいよ
10円 を 5円 と 1円 で両替して樹形図を書く
747:デフォルトの名無しさん
05/11/12 21:27:57
高校でやったろ? 順列と組み合わせ。
748:デフォルトの名無しさん
05/11/12 21:38:52
>>747
お前がいまやってるんだろ？ww
749:デフォルトの名無しさん
05/11/13 02:16:56
母関数を使えば簡単に計算できるのに
750:デフォルトの名無しさん
05/11/13 09:14:43
>>748
今頃やってるとしたら遅すぎると思うんだが。
夏頃やってたような。昔の記憶だが。
751:デフォルトの名無しさん
05/11/13 22:17:02
>>749
母関数から特定の項を取り出す手間とボトムアップに解を構成する手間はいっしょ
752:デフォルトの名無しさん
05/11/14 06:49:45
>>751
母関数から特定の項を取り出すのは紙と鉛筆で簡単にできるでしょ。
わざわざプログラムなんて書く必要もない。
753:デフォルトの名無しさん
05/11/14 20:09:53
>>752
詳しく頼む。
俺は Polya の本にその母関数の一般項の計算には DP を使うと書いてあったので、無理だと思ってたんだが。
754:デフォルトの名無しさん
05/11/14 23:45:35
>>753
組み合わせ論の入門書やConcrete Mathに出てるようなんじゃだめなの？
755:752
05/11/15 00:16:35
>>754
Concrete Math の p.331 から 2 ページくらいで計算されてるやつ？
この例の最初のところに「一般の効果の場合に計算するのはとても難しい」とあるし，
その下で計算されてる {1, 5, 10, 25, 50} の特殊例においても「trick」と称される
計算をしないといけないし，さらに，最終結果に残ってる A_k は多項式を実際に展開しないと求まらない．
というわけで，これは一般性が無いという意味で >>744 が母函数から簡単に出るという
説明にはなってないし，特殊例を含めても >>752 の「簡単」ってのはどうかと思う．
コレじゃないならポインタください．
756:デフォルトの名無しさん
05/11/15 21:19:55
Haskellのデータ構築子が非正格なのは便利なんだけど、
一般の関数が非正格で嬉しいことってある？
デフォルトで正格でも良いような気がするんだが。
757:デフォルトの名無しさん
05/11/15 21:44:13
以下の二つが大きいそうだ
・相等性についての議論が楽になる(単純に置換するだけでOK)．
・制御構造を自分で設計できる．
cond p x y | p = x
| otherwise = y
recip x = cond (x == 0) 0 (1/x)
は正格なら recip 0 = bot, 非正格なら recip 0 = 0．
758:デフォルトの名無しさん
05/11/15 22:37:48
>>757
反応ありがとう。
>・相等性についての議論が楽になる(単純に置換するだけでOK)．
なるほど。気付かなかった。
でも、現状だとIntのaccumulator引数付きのちょっとした末尾再帰関数なんかを書くたびに
明示的に正格評価を指定しないとパフォーマンスに打撃があるわけで、
「議論が楽になる」って利点はこのコストに見合うんだろうか。
…などと思うのは俺が言語を使うだけの立場だからかな。
>・制御構造を自分で設計できる．
これはどちらかというと特殊なケースだから、非正格をデフォルトにする理由としては弱いと思う。
759:デフォルトの名無しさん
05/11/15 22:56:10
もともとは研究者の研究者による研究者のための言語だから、
コストパフォーマンスより性質を重視してるんじゃない？
ていうか、非正格の言語を統一する目的で作られた言語だしね。
正格がデフォルトの言語はMLを始めすでにいっぱいあるから
そっちを使ったらどうかな。
760:757
05/11/15 23:37:37
>>758
俺は前者も後者も重要と思ってるんだけどね。まあとりあえず前者について少し強く推しておく。
「three x = 3 」 と定義したときに、「 2 + three x == 5 」 が成立するかどうかを判定することを考える。
これを非正格に評価するとthree x を単純に 3 に置き換えて 2 + 3 == 5 にして、成立する、と結論が出るんだけど、
正格評価だと、x が絶対 bot にならないなら成立、そうでないなら不成立、というようにドメインまで考えないと駄目になる。
特に函数が複雑に組み合わさってる場合に、どこかで bot になる可能性があるとかそういうことを考えるのはしんどいし、
上の函数でもそうだけど、 bot 以外で成立、とかいうのは本質的に成立にしちゃったほうが有意なケースが多いんだわ。
761:デフォルトの名無しさん
05/11/16 00:02:49
相等性？(0.6 + 0.000000000000000041) == 0.6
浮動小数は代数的ではないとはいえ、言語的にこれでいいでしょうか？
762:デフォルトの名無しさん
05/11/16 11:02:44
>>756
バックトラックが、普通に全数探索するようなコードを書くだけで実装できてしまうとことか。
763:デフォルトの名無しさん
05/11/18 20:07:17
どうでもいいこと。
>>757
> recip x = cond (x == 0) 0 (1/x)
(x == 0) ? 0 : (1/x)
ちゃんとしたコンパイラなら動くきがす。
764:デフォルトの名無しさん
05/11/19 22:59:06
え、だから？
煽りじゃなく本気で意味がわからん。
765:デフォルトの名無しさん
05/11/20 16:33:55
Hugs.Base> let n Ｃ r = product [n-r+1..n] `div` product [1..r] in 5 Ｃ 3
10
766:デフォルトの名無しさん
05/11/24 22:06:26
なんとなくtak関数を書いてみたらCより速くてびっくりした。
thunkの絡まない計算は速いんだな。
767:デフォルトの名無しさん
05/11/27 20:34:53
Cのコンパイラオプションは？
768:デフォルトの名無しさん
05/11/27 21:57:49
>>767
-O2。
言われて気づいたけど、-O2 -fomit-frame-pointerとしたらCの方が速かった。
769:デフォルトの名無しさん
05/11/27 22:44:24
haskellには実行速度を求めないで美しいライブラリを書いて欲しいんだよね。
770:デフォルトの名無しさん
05/11/27 22:51:32
Cとかと違って本質的な速度向上がありうるしね．
簡単な記述のほうがプログラム変換に持ち込みやすいし．
771:デフォルトの名無しさん
05/11/28 00:09:59
贅沢を言うが、美しいコードが速いコードにコンパイルされて欲しい。
fac n = product [1..n]が末尾再帰のfacと同等なコードにコンパイルされる日は
来るんだろうか…
772:デフォルトの名無しさん
05/11/28 01:39:57
つ Clean (速いコード)
import StdEnv, BigInt
factB :: Int -> BigInt
factB n = foldr (\x y =y *% x) one [1..n]
//factB n = foldr (%*) one [1..n] // %* がないから
773:デフォルトの名無しさん
05/11/28 06:03:30
>>771
product は foldl で書けてるわけだから，もう末尾再帰になってると思うが．
774:デフォルトの名無しさん
05/11/28 11:51:06
乗算が全部遅延されるから末尾再帰の意味があんまりない。
775:デフォルトの名無しさん
05/11/28 13:49:20
コンパイラが正格性解析して最適化するから問題無し。
776:デフォルトの名無しさん
05/11/28 20:37:04
>>772
多倍長演算に時間をとられる階乗は例が悪かったかも。
興味があったのは、リストを作って壊すオーバーヘッドをなくすような最適化。
>>773
ごめん。明示的な再帰で書かれたfacのことを言いたかった。
fac = iter 1 where iter a 1 = a; iter a n = iter (a*n) (n-1)
777:デフォルトの名無しさん
05/11/28 23:57:12
>>774
標準 Prelude では sum とか product の fold は積極評価のオペレータを
導入して実装されてるんじゃなかったっけ．
>>776
リストを作って壊しているとは限らない．というか普通はそんなことしてない．
product n = foldl (*) 1 (take n (enumFrom 1)) で定義したとき，
product n
= foldl (*) 1 (take n (enumFrom 1))
= foldl (*) 1 (take (n-1) (enumFrom 2))
= foldl (*) 2 (take (n-2) (enumFrom 3))
...
= foldl (*) n! (take 0 (enumFrom n))
= foldl (*) n! []
= n!
みたいに評価されるから，陽に空リスト以外のリストを作る部分は無い．
778:デフォルトの名無しさん
05/11/29 00:46:37
>777
少し前にメーリングリストで「sumはfoldl'を使うべき」という議論があったね。
いま見直したら、議論は「可算は常にstrictと言えるか」とかいう方向にシフトしちゃってたけど。
んで、型クラスを使っている以上、+演算子が常に strict に評価可能である保証はできないので、ということで議論は終結してしまっていた。
実際、 GHC では sum とか product では普通の遅延評価版を使っているよ。
実際問題としては strict 版の sum' と product' が(Listにでも)用意されていればいいと思うんだけど。
ちなみに仕様上も、
URLﾘﾝｸ(www.sampou.org)
foldl を使うことになっているので、仕様が変わるまでは積極評価版にはならないと考えた方がいい気がする。
779:デフォルトの名無しさん
05/11/29 09:25:21
>>778
そかー……．
まあ product [-10000..1] とかを一回の乗算で終わらせられる可能性があるから
戦略上絶対に悪いというわけじゃないんだろうけど癪だなあ．
780:デフォルトの名無しさん
05/11/29 11:46:33
>>777
>リストを作って壊しているとは限らない．というか普通はそんなことしてない．
その過程は、細かく言うと(foldlの代わりにfoldl'を使って)
...
= foldl' (*) 1 (take (n-1) (enumFrom 2))
= foldl' (*) 1 (take (n-1) (2:enumFrom (2+1))
= foldl' (*) 1 (2:take (n-2) (enumFrom (2+1)))
= foldl' (*) 2 (take (n-2) (enumFrom (2+1)))
...
のように進むから、1ステップごとにconsを作っては壊す必要があると理解してたんだけど、違う？
>>778
>実際、 GHC では sum とか product では普通の遅延評価版を使っているよ。
IntとIntegerについては正格な版が使われると明言されてる。
URLﾘﾝｸ(www.haskell.org)
といってもDoubleやWord32やRationalは遅延評価版だけど。
781:デフォルトの名無しさん
05/11/29 21:24:51
『ふつうの Haskell プログラミング』2005 年度内発売予定
URLﾘﾝｸ(i.loveruby.net)
782:デフォルトの名無しさん
05/11/29 23:27:32
>>781
ネ、ネタにしかみえねぇ……
マジなのか？
783:デフォルトの名無しさん
05/11/30 02:16:17
ふつうの人は、Haskellでプログラミングしない。
784:デフォルトの名無しさん
05/11/30 03:23:53
>>781
年内ではなく、年度内かよ。
ホントでたら買わせていただきます。
それよりも誰か The Craft of Functional Programming を訳してください。英語で挫折してしまいました。
785:デフォルトの名無しさん
05/11/30 17:10:48
世界よ、ありがとう
786:デフォルトの名無しさん
05/12/06 08:44:52
出版も遅延評価で行なわれます。
宣言はされても評価はされません。
787:デフォルトの名無しさん
05/12/06 10:42:49
参照透明性の関係で版ごとにタイトルが違うか、IOモナドに包まれて出版されます。
後者の場合、読者もIOモナドに包まれないと読めません。
788:デフォルトの名無しさん
05/12/06 11:12:00
つまり必要が生じたときにその箇所だけ読まれるわけじゃなくて前から順番に読まれることが保証されているといいたいのか
789:デフォルトの名無しさん
05/12/06 11:45:40
読んだ知識をIOモナドの外で活用したい場合はどうしたらいいですか？
790:デフォルトの名無しさん
05/12/06 14:43:53
unsafePerformIO
791:デフォルトの名無しさん
05/12/06 17:22:33
年度内って、来年の四月までってこと？
792:デフォルトの名無しさん
05/12/06 20:00:58
URLﾘﾝｸ(i.loveruby.net)
12月内ってことじゃない？
793:デフォルトの名無しさん
05/12/06 20:06:08
出版前に査読してもらうってことだろ。
794:デフォルトの名無しさん
05/12/06 20:11:14
>>793
ごめん。reviewの意味を勘違いしていた。
795:デフォルトの名無しさん
05/12/17 10:02:29
ごめん、以下のプログラムが読み解けないです
「addの戻り値型は引数型の関数となっている、と指定している」
ということらしいのですが、誰か解説してくれまへんか
class Add a b c | a b -> c where
add :: a -> b -> c
796:デフォルトの名無しさん
05/12/17 10:41:58
functional dependency ってヤツだよ。
それは関数ではなくて、「aとbからcの型は一意に定まる」ことを示している。
URLﾘﾝｸ(www.cse.ogi.edu)
797:デフォルトの名無しさん
05/12/18 04:23:05
"100" から 100 を取り出すような関数はどうやりますか
798:デフォルトの名無しさん
05/12/18 08:25:32
readの作り方？
799:デフォルトの名無しさん
05/12/18 08:52:39
>>797
read "100" :: Int
800:デフォルトの名無しさん
05/12/18 09:26:10
>>798
そうです。
>>799
言葉足らずですみません。
801:デフォルトの名無しさん
05/12/18 11:11:46
foldl (\x y->10 * x + (ord y - ord '0')) 0
802:デフォルトの名無しさん
05/12/18 14:55:27
浮動小数の桁数指定で最後の桁の次を四捨五入の場合は？
803:デフォルトの名無しさん
05/12/18 15:29:40
何の話？
804:デフォルトの名無しさん
05/12/19 15:50:32
roundN :: (RealFrac a, Integral b) => a -> b -> a
roundN x n =
(frac (round (x * b))) / b
where b = 10 ^^ n
frac = fromRational . toRational
805:797
05/12/20 01:34:36
>>800
誰だ君…
>>798
そうです。
>>799
言葉足らずですいみません。
806:デフォルトの名無しさん
05/12/20 08:55:38
Webで以下のような定義を見かけたのですが、
data List a = Nil | Cons a (List a)
instance Eq (List a) where
Nil == Nil = True
Cons x xs == Cons y ys = xs == ys
_ == _ = False
Cons x xs == Cons y ys = xs == ys
の部分って正しいの？
このままだと (Cons 1 (Cons 2 Nil)) == (Cons 1 (Cons 3 Nil))
が True になるんだけど・・・
かといって
Cons x xs == Cons y ys = x==y && xs == ys
とかすると、最初のほうの x==y で
「add (Eq a) to the class or instance method `=='」
とか怒られるんだけど、じゃーどう定義したらよいのか
わかりまへん
807:デフォルトの名無しさん
05/12/20 09:00:55
>>796
ありがとうございます。まだよくわかってないですが
読んでみます。
808:デフォルトの名無しさん
05/12/20 10:37:50
>>806
リストという構造自体の等価性の問題ですから
中身は関係ない(というか見ちゃいけない)のです
add (Eq a) to the class or instance method `=='
とあるように，
中身の等価性まで考えようとしたら，List に格納できるデータ型
が Eq クラスのインスタンスに制限されてしまうのです．
809:デフォルトの名無しさん
05/12/20 10:47:45
>>797じゃないですがReadのインスタンスの作り方わからない…
readsPrecとreadListの作り方のチュートリアルか何かないでしょうか(できればShowの方も)
Haskell98Report読んでもサッパリです
810:デフォルトの名無しさん
05/12/20 13:02:57
instance Eq a => Eq (List a) where
Nil == Nil = True
Cons x xs == Cons y ys = x == y && xs == ys
_ == _ = False
811:デフォルトの名無しさん
05/12/20 18:59:40
>>808
なるほど。納得です。
>>810
こうすると出来ますね。
Eq クラスのインスタンスに制限されるってこういうことだったのですね
有難うございました。
812:デフォルトの名無しさん
05/12/21 23:26:59
>>809
チュートリアルじゃないけど、GHC.Readにいくつかinstanceの例がある。
URLﾘﾝｸ(cvs.haskell.org)
理解したら、是非チュートリアルを書いてくれ。
813: ◆SaiTAMaVxg
06/01/09 08:32:36
ミ （ ﾉ
／￣＼ ♪
～（ﾟ ∀ 。 ）⌒
♪ ＼＿／ 彡
ノ ι ヽ
♪ .ﾊ
,ﾍ （（
）ﾉ .））
（（ ∧∧//
＼(ﾟ∀ﾟ )
） ﾉ ヾ ♪
ミ シ´ ／ ,γ
ミ r´ （ ∧∧//
ヽ、 ヽ 彡 ♪ ( ﾟ∀ﾟ)'
） ﾉ 彡 .,/ ヽ ﾐ
ノ ,、（ ノ ﾉヽ l
r´／ ） ） ミ (´／ ﾉ ノ
（ （ （ （ γ´ (´
ヽ） ヽ＼ ﾉ ﾊ ヽ ♪
ﾉ ） . ／ ,,/ （,,ノ 彡
♪ （_＿ノ （_,,ノ
814:デフォルトの名無しさん
06/01/22 22:44:58
URLﾘﾝｸ(shootout.alioth.debian.org)
パフォーマンスが凄いことになってる。
815:デフォルトの名無しさん
06/01/23 00:03:09
shootoutって、普通のプログラマが見ても
「Cはやっぱり速いなあ」とか「インタプリタはやっぱり遅いなあ」とか
「Javaはやっぱりメモリ喰いだなあ」とか思うだけで、
「関数型言語頑張ってるな。ちょっと使ってみるか」とは全く思ってくれない罠。
816:デフォルトの名無しさん
06/02/02 21:41:39
複数の関数の挙動に影響を与える「オプション」を外部(コマンドラインとか)から指定したいとき
C++みたいな言語の「thisの省略」がすごく羨ましいんだけど、
似たようなことをHaskellっぽく書けないものだろうか。
implicit parameterでそれなりに書けそうだけど、
使われてるのを見たことがない。
みんな明示的に引数を持ち回るのが苦痛じゃないのか？
817:デフォルトの名無しさん
06/02/02 23:15:17
>>816
そんな君にReaderT。
StateTでもいいぞ。
818:デフォルトの名無しさん
06/02/02 23:46:36
>>817
おー、ありがとう。
この目的のためにReaderモナドで計算順序を導入するのには抵抗があったけど、
既にもなでぃっくなコードにReaderTを混ぜ込むなら面倒が少ないな。