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を混ぜ込むなら面倒が少ないな。
819:デフォルトの名無しさん
06/02/05 07:29:06
この言語は素晴らしいですか？
820:デフォルトの名無しさん
06/02/05 07:47:59
最高ですかー！
821:デフォルトの名無しさん
06/02/05 08:28:42
この言語の、C++に較べて、劣っている点を教えて下さい。
822:デフォルトの名無しさん
06/02/05 10:42:57
・C++ではテンプレートを使ってコードの抽象性と実行時効率を両立できるけど、
Haskellでは困難。
・C++では名前空間・クラス・関数をかなり自由に相互ネストさせられるし、
ネストに従って細かくスコープを分けてくれるのに対して、
Haskellの名前空間はフラットで、レコードのフィールド名のスコープがモジュールレベルだったり、
関数に局所的な型の定義ができなかったりして不便。
・互いに関連のないものに同じ名前を与えるC++風の多重定義は難しい。
やってできないことはないけど、想定された言語の使いかたではないだろう。
823:デフォルトの名無しさん
06/02/06 00:21:58
俺は今酔ってるし、ニートだし、最強だ。
ﾓﾅﾃﾞｨｳｽを参考にシューティングゲーム作るぞ。うぉー！
824:デフォルトの名無しさん
06/02/06 00:33:36
>>823
マジ応援してる。
825:デフォルトの名無しさん
06/02/06 03:51:37
出来上がったコードの実行速度はめっちゃ遅いですか？
826:デフォルトの名無しさん
06/02/06 06:11:44
>>825
>>814
827:デフォルトの名無しさん
06/02/06 07:33:29
Haskell Hackerが超がんばってキモいコード書けばgcc相当にはなるらしい。
俺のような凡人が普通に書いたらめっちゃ遅い。
828:デフォルトの名無しさん
06/02/06 09:10:24
ハスケルハッカーがキモいコードを書けば、
バグは少ないわ高速だわの最強のコードが生成されるのですね？
それとも、キモいコードってのはバグを許す代わりに高速にするとかいう類の話？
829:デフォルトの名無しさん
06/02/06 22:46:13
URLﾘﾝｸ(shootout.alioth.debian.org)
URLﾘﾝｸ(shootout.alioth.debian.org)
・コンパイルが大変で、
・コードが読みにくい分バグが多く、
・遅い
830:デフォルトの名無しさん
06/02/06 23:05:14
確かに読みにくいね。
>・コンパイルが大変で、
どういう意味？
831:デフォルトの名無しさん
06/02/07 05:53:35
ハスケル勉強したいが
参考書がきっと1万とか法外な値段でしょ？
手が出ません＞＜
832:デフォルトの名無しさん
06/02/07 06:09:11
数学やってる人がHaskellを直ぐに分かるのは、
集合論と一階述語論理について勉強済みだからなんだよね？
833:デフォルトの名無しさん
06/02/07 10:27:09
もうすぐ青木さんの本とかが出るでしょ。
使うだけなら数学の話は特に必要ないよ。たぶん。
834:デフォルトの名無しさん
06/02/07 11:00:55
数学の知識はいらないと思うけど、論理学の基礎なしじゃむりだぽ。
835:デフォルトの名無しさん
06/02/07 16:18:33
数学に基づいて作られた言語ではあるが，その理念を理解して利用するのと，ただプログラミング言語として利用するのとでは意味が違う。
836:デフォルトの名無しさん
06/02/07 16:28:17
「アルゴリズムのプロトタイピングなら C や Java よりも簡単で，早くできます」
とは大学の教官の弁。単位きたかなあ。
837:デフォルトの名無しさん
06/02/07 16:54:31
早く作れても速く動かないのではなぁ…
838:823
06/02/07 17:13:22
>>837
みんなで速くするんだと思います＞＜
CやFORTRANが速いのは多分歴史が長いからだと思ってる
--以下チラシの裏
今日やったこと：eclipseの日本語化とFPの導入
一言：eclipseをeclispだと思ってて「HaskellなのになんでLisp？」とか考えてた。英語弱いな、俺
今からやること：エヴァの映画借りてきて見る
839:デフォルトの名無しさん
06/02/07 21:16:35
>>837
だからプロトタイピングなんだろ。
物好きがいろいろやってはいるけど、どう考えても研究用途の言語だよな。
だから意味がないというわけではないが。
840:デフォルトの名無しさん
06/02/07 21:46:46
>>839
ちょっとお前は論点ずれてるよな。
841:デフォルトの名無しさん
06/02/07 22:30:09
>>830
liftMとか素人なら完全に御手上げ。
あと、何この演算子？ってのを使ってる
(.|. (shiftL i 3)) -- google氏も無視
逆にhaskellが神言語になってる例
URLﾘﾝｸ(shootout.alioth.debian.org)
URLﾘﾝｸ(shootout.alioth.debian.org)
d 言語90行
haskell 11行
実行速度ほぼ同じ
理由
Integer型が使える
Monadを使う必要もMonad持ち上げをする必要がない。(配列を使う必要がない)
842:デフォルトの名無しさん
06/02/08 18:30:21
>liftMとか素人なら完全に御手上げ。
たぶん、すぐ慣れると思う。
>(.|. (shiftL i 3)) -- google氏も無視
そんなあなたにHoogle
URLﾘﾝｸ(www.haskell.org)
843:デフォルトの名無しさん
06/02/08 21:20:50
>>842
すげー。
型から検索できるのがHaskellらしいな。
844:デフォルトの名無しさん
06/02/09 09:48:51
みなさんは、式がどういう順番で評価されていくか
手にとるようにわかるのですか？
私はどう書いたら速いコードになるのかいまいちわかりません。
845:デフォルトの名無しさん
06/02/09 13:07:28
評価順序など考えない。何のための遅延評価だと思っとる。
速いコードを書くのが目的なら関数型言語など、いや、
高級言語など使うのはお止めなさい。
846:デフォルトの名無しさん
06/02/09 13:19:59
普段は評価順序なんか考えないでコーディングして、
効率が足らないことが分かったとき、そこをアセンブリで書き直す代わりに
既にあるHaskellのコードをいじって効率を確保する、というのは、
それなりに合理的だと思うんだが。
847:844
06/02/09 13:44:18
べつに速さで C と張り合おうとか思ってるわけではないのですが、例えばhead $ xs ++ [x]が O(1) かどうかというのは、評価順がわからないとわからないですよね？こういう簡単な例なら私にもわかるのですが、ちょっと複雑になると頭を抱えてしまうわけです。
848:823
06/02/09 14:15:14
>>847
多分、どんな順序で書いてもコンパイラが同じように並べかえてくれるんじゃないかなぁ？
コンパイラが考えうる中で最も効率的なコードが出るようにね
849:デフォルトの名無しさん
06/02/09 14:16:51
>>847
非正格になれてないだけ。
850:デフォルトの名無しさん
06/02/09 19:00:42
個人的経験では、Haskellerの半分はスピードレーサー（最適化おたく）だと思う。
851:デフォルトの名無しさん
06/02/09 22:26:31
マシン非依存の部分ならば、
Cよりhaskellの方が速いコードが書けるはず。
なぜならば、見栄え良く、簡潔に書け（簡潔じゃないとコンパイルできない）
無駄なく書けるから。
cだと、綺麗なコードを書くために無駄なコードを書きまくると思うし、
汚い普通のコードを書いても、Haskellと同程度しか速くならない。
cの有利な点は、
gcがない, 配列操作, アセンブラ的コードが書ける, 速いライブラリがある。
と言ってみる。
852:デフォルトの名無しさん
06/02/09 22:37:03
非正格だから遅いみたいな話は聞いた事がある。詳細は知らないけど。
>>851
>なぜならば、見栄え良く、簡潔に書け（簡潔じゃないとコンパイルできない）
これは速いコードとは関係ないんじゃないの?
早くコードを書く事は出来るのかもしれないが。
853:デフォルトの名無しさん
06/02/09 22:37:18
「マシン非依存の部分」なんてあるのか？
854:デフォルトの名無しさん
06/02/09 22:39:54
Haskellのソースはスリムだがバイナリがピザデブ杉。
855:デフォルトの名無しさん
06/02/09 23:28:22
>>853
add
856:デフォルトの名無しさん
06/02/10 03:01:51
Haskell学んでC++でメタプログラミング
これ最新最強。newなんていりませんから！
857:デフォルトの名無しさん
06/02/10 10:53:42
なんでCはいつも最速なの？
858:fortran
06/02/10 10:55:08
・・・
859:デフォルトの名無しさん
06/02/10 12:50:24
最速はアセンブリ言語
860:デフォルトの名無しさん
06/02/10 15:32:11
規模が大きければ
今となってはコンパイラが吐くアセンブラの方が速いことが多いけどね
861:デフォルトの名無しさん
06/02/10 15:53:17
あらまあ何言ってるのかしらこの子ったら
862:デフォルトの名無しさん
06/02/10 16:26:10
コンパイラに負けるなんて、無能を証明してるようなもんだろ。
863:デフォルトの名無しさん
06/02/10 16:27:27
>>857
危険だからさ。
お行儀の良いハスケルにはわからんだろうがね。
864:デフォルトの名無しさん
06/02/10 16:40:00
>>856
バカですか
>>857
バカですか
>>859
バカですか
>>862
バカですか
Haskellに関しての議論としては論点がずれているぞ。
Haskellを創った人たちは、お前らが気にしていることはすべて解っているし、そんなことを解決するための言語にしようとは考えていないんだよ。
言語仕様に関しては。言語仕様という表現も好きじゃないけど。
865:デフォルトの名無しさん
06/02/10 16:49:34
へぇ、、ハスケルって読むんだぁ。。
アライグマみたいだね。
866:デフォルトの名無しさん
06/02/10 16:54:41
>>864
必死だな。
マジレスすると、「Haskellを創った人たち」の意図などどうでも良い。
いったん言語ができあがってしまえば、それをどう使おうが勝手だ。
867:デフォルトの名無しさん
06/02/10 16:59:56
ネタっぽいんだが
868:デフォルトの名無しさん
06/02/10 18:57:08
Haskellを作った人達って誰になるのかな。
Hudak? Peyton Jones? Wadler?
869:844
06/02/10 21:21:30
あれれ、なんだか私の質問で荒れちゃったみたいで申し訳ない。
>>849
これでも、もう一年以上使ってるんですよ。ヘボプログラマーなもんで...。
870:デフォルトの名無しさん
06/02/10 22:11:16
書いたとおりに動くCとかと違って，書いたコードよりオーダー単位で計算量が
小さくなる可能性がある Haskell には期待してるんだがなあ．
871:デフォルトの名無しさん
06/02/10 22:23:04
O'Camlはむちゃくちゃ早いらしいけど、Haskellとは何が違うんだろう。
872:デフォルトの名無しさん
06/02/10 22:42:30
>>871
URLﾘﾝｸ(wiki.ocaml.jp)
デフォルトで遅延評価なのか、指定したときだけ遅延評価なのか。
破壊的代入を許さないのか、許すのか。
速度に影響しそうな所というとこの辺の違いかな？
873:デフォルトの名無しさん
06/02/10 22:46:32
>>870
そんな激しい最適化をするHaskellコンパイラはないと思うが。
874:デフォルトの名無しさん
06/02/10 23:59:12
Hudakじゃないだろ。やっぱりSPJが筆頭なんじゃない？
875:デフォルトの名無しさん
06/02/11 00:19:45
なんかShootoutのページで、あれ、Haskell速いじゃんと思ったら、
極端に遅い欠点がないのと、重みが高い数個のプログラムで稼いでるだけ
みたいだな。勝ってる数だけで見たらJavaにも勝てない。
876:デフォルトの名無しさん
06/02/11 05:57:50
ふつうの本は五月に延期だそうな。
877:デフォルトの名無しさん
06/02/11 09:05:41
take 5 $ reverse $ reverse [1..]
で死にやがった。遅延評価も万能じゃないんだな。
878:デフォルトの名無しさん
06/02/11 09:28:58
Haskellでは
reverse $ reverse ≡ id
だからなあ。
879:デフォルトの名無しさん
06/02/11 09:29:52
> reverse $ reverse ≡ id
reverse $ reverse ≠ id
の間違い。
880:デフォルトの名無しさん
06/02/11 11:29:59
reverse :: [a] -> [a]
reverse xs returns the elements of xs in reverse order. xs must be finite.
881:デフォルトの名無しさん
06/02/11 11:41:15
>>875
だけって・・・
俺の感覚ではそういうのは、
「なんでもそつなくこなす優秀なやつ」だよ。
一番になること以外には意義を感じないのかい？
882:デフォルトの名無しさん
06/02/11 12:26:06
>>881
でも半分以上は平均的に結構遅いんだよ。。。
他の言語みたいに極端に遅いってのはないけど、
そういうのはアルゴリズムの欠陥があったり、その言語での普通の
やり方と違うといった何かしらの事情があることが多いし。
883:デフォルトの名無しさん
06/02/11 16:01:00
No JDK -server
ってあるのはJDKでは苦手分野の可能性が高い。
負けてる sum-file や random なんて Cleanがトップだから、
似たようにやれば（内部含む）haskellでもトップになる可能性はある。
（reverse-components はocaml 一位 Clean2位）
javaには負けてるとはいえない。
884:デフォルトの名無しさん
06/02/11 16:42:24
Haskell最速！ 欠点なし！
この訴えはム板のあらゆるスレで続けていくつもりです。
885:デフォルトの名無しさん
06/02/11 16:51:19
自分が作ったものでもないのにそんな風に誇られても。
886:デフォルトの名無しさん
06/02/11 16:53:58
>>884
頑張れ
Lisp厨やRuby厨に負けるなよ
887:デフォルトの名無しさん
06/02/11 17:34:34
shootoutのあれは、言語の優劣よりもcommunityの熱意とかを反映している気がする。
888:デフォルトの名無しさん
06/02/11 18:32:12
>>884
訴えにはそれ相応の証拠がいるんだ。
説得力がある資料を添えて出直せ。
889:デフォルトの名無しさん
06/02/11 19:54:29
証拠はshootout
890:デフォルトの名無しさん
06/02/11 20:01:18
確かにshhotoutだとcより速いことになってるなｗｗｗ
891:デフォルトの名無しさん
06/02/11 20:04:00
姉は一級Haskeller ～イケナイSTG-Machine
892:デフォルトの名無しさん
06/02/11 20:09:58
>>890
CPU Timeの重みを1にして他を0にしてみ。
OCaml 34.77 1
C gcc 32.82 3
D Digital Mars 29.86 2
Haskell GHC 28.69 0
C++ g++ 25.76 2
SML MLton 24.70 3
Eiffel SmartEiffel 24.36 5
Nice 23.45 3
Java JDK 1.4 -server 22.21 4
Clean 22.01 6
Java JDK -server 21.87 4
Ada 95 GNAT 20.25 4
Java JDK -client 18.84 4
Fortran G95
まあでも正直、この順位も絶対現実とはかけ離れてるよな。
やっぱ、コミュニティの熱意とかが反映されるんだろうな。
893:デフォルトの名無しさん
06/02/11 20:20:21
>>892
>Nice 23.45 3
プログラミング言語Nice (ﾜﾗ
894:デフォルトの名無しさん
06/02/11 20:35:56
だから、Shootoutは時々極端に遅いところがあるから
そういう変な順位になる。
例えば、CとHaskellを見るとCのchameneosとregex-dnaが
極端に遅いことがわかる。
こういうのはアルゴリズムの欠陥か何かの特殊事情だから除いて
考えるべきだというのは、具体的な数値を見てみるとよくわかるだろう。
895:デフォルトの名無しさん
06/02/11 21:07:44
まあ、Cだと書きにくいからアルゴリズムの欠陥が生まれるわけだ。
896:デフォルトの名無しさん
06/02/11 21:09:32
それもあるだろうが、コミュニティの熱意が大きいだろ。
いずれにせよ本来の速さとは違うだろう。
897:デフォルトの名無しさん
06/02/11 21:12:07
FortranがJavaより下とか、そういうの見ても相当いい加減な
順位であることがわかるな。
898:デフォルトの名無しさん
06/02/11 22:00:20
CとかFortranとか手書きアセンブリとか:熱意に対して指数関数的に速くなる
OCamlとかCleanとかHaskellとか:凡人がやっつけ仕事してもそこそこ速い
ってことでFA？
スレ違いだけど、今日初めてGoogle Earthをインスコしたんだ。
超セクシーだね！ あんなのをHaskellで書いてみたい
899:デフォルトの名無しさん
06/02/11 22:08:03
ﾜﾗ^^;
900:デフォルトの名無しさん
06/02/11 22:46:14
>>898
後者は言語オタク・エキスパート・信者が、Shootoutのために
必死になってソース作ってそうだけどなｗ
901:デフォルトの名無しさん
06/02/11 22:46:47
はっきり言って、速いとか遅いとかどうでもいい
902:デフォルトの名無しさん
06/02/11 22:47:40
しかし最適化には興味があるという矛盾 誰か俺を（ry
903:デフォルトの名無しさん
06/02/12 01:24:02
こんなの見つけた。
URLﾘﾝｸ(item.rakuten.co.jp)
904:デフォルトの名無しさん
06/02/12 05:16:07
まあ、DとかC++とかにHaskellが対抗してる時点で
あきらかに実力以上の評価なわけで。
素人が普通に作ったらJavaといい勝負ってのが正直な感想。
905:デフォルトの名無しさん
06/02/12 09:51:08
東大生みたいな言語だな。
ノーベル賞とまではいかないがなかなか強力に安定した結果を叩きだし、堅物で融通がきかない。
906:デフォルトの名無しさん
06/02/12 12:18:48
いや、Haskell自身が速いってことはないと思う。
確かに言語仕様が優れていて、使ってる人が非常に優秀なのは
確かなんだが、速くはない。
Shootoutがいい成績なのも使ってる人が優秀なのと、他の言語が
力入れてないだけ。
907:デフォルトの名無しさん
06/02/12 12:33:29
てか、実は>>892は数日前までDやOCamlに勝ってた。
つまり、まだまだ未成熟段階ってこと。
Shootoutの順位なんてそんなもん。
908:デフォルトの名無しさん
06/02/12 12:38:23
あほな速度評価結果はってんなよ。
血液型占いと同じぐらいオカルト。
バカですか。
909:デフォルトの名無しさん
06/02/12 12:40:15
貼ってる奴もそういうコメントしてる。
910:898
06/02/12 13:19:09
最適化なんて弱者のいいわけです＞＜
911:デフォルトの名無しさん
06/02/12 13:44:58
最適化無き者に実用無し
912:デフォルトの名無しさん
06/02/12 13:53:42
>>911
ごめんなさい＞＜
ハードウェアが十分速ければ……ってのこそアレだと思った。
913:デフォルトの名無しさん
06/02/12 14:03:51
>>912
こここちらこそごめんなさい
そんな角をたてるつもりじゃなかったの＞＜
914:デフォルトの名無しさん
06/02/12 14:53:46
Haskellは最速！
915:デフォルトの名無しさん
06/02/12 14:59:37
非常に残念なことですが、2ch haskellスレには
知的障害者が多数生息している模様です。
916:デフォルトの名無しさん
06/02/12 15:14:18
天才と池沼は紙一重
917:デフォルトの名無しさん
06/02/12 15:19:27
こっちのスレでやったら？
関数型言語Part IV
ｽﾚﾘﾝｸ(tech板)
918:デフォルトの名無しさん
06/02/12 15:21:41
いやいや。
そろそろ次スレだし、Haskell最適化スレと本スレを分ければ良い。
縮小する方向に強制するとろくなことが無い。
919:デフォルトの名無しさん
06/02/12 15:58:42
>>918
確かに。言語全般の最適化ってなさそうだし
920:デフォルトの名無しさん
06/02/12 16:45:19
Haskell最適化スレなんて建てても寂れることは目に見えてる。
このスレでここ数日発言した奴の大半はHaskellを知ってる訳でも学んでる訳でもなく
ただ「話題の」言語を冷やかしにきただけだろ。
スレ一つ消費するほど興味が続くとは思えない。
やるなら、
【数学者】Haskellはクソ言語【オナニー】
ｽﾚﾘﾝｸ(tech板)
を再利用したらどうだろう。
921:デフォルトの名無しさん
06/02/12 17:09:47
まあ最近の書き込みのうち大体半分は俺のだしな
922:デフォルトの名無しさん
06/02/12 17:31:42
>>920
実に的確な分析だ。
見事ここ数日冷やかしに来ていた事を当てられたから困る。
923:デフォルトの名無しさん
06/02/12 18:29:23
Haskellは遅い派だが、Haskellを学んでるのは俺だけか･･･
924:デフォルトの名無しさん
06/02/12 18:35:47
授業の課題で、
「MLやHaskellに代表される関数型プログラミング言語について調べ、
PascalやC言語に代表される手続き型言語との相違を説明するとともに、
関数型プログラミング言語が広く普及していない理由を議論しなさい。」
というのが出たのですが、さっぱりです。
頭のｲｲおまいら、教えてください！！
925:デフォルトの名無しさん
06/02/12 18:48:44
>>924
まず大学と教官の名前を言え。
926:デフォルトの名無しさん
06/02/12 18:54:53
>>924
マルチス=ルナカス
927:デフォルトの名無しさん
06/02/12 18:56:35
すみませんそれはいえない。。特定されるから。
でも、あまり理論的なことよりも実用を重んじると思う。
数学的にどうこう、っていうよりも、プログラミング技法としてどうか？
っていう点かな？？
928:デフォルトの名無しさん
06/02/12 18:58:32
>>924
宿題は自分でやれ
929:924
06/02/12 18:58:47
>>926
すみません。間違って２箇所書いてしまいました。
以後、こちらに一本化します。
明日締め切りなんで、かなり焦ってます。
ほんと、箇条書き程度で良いので、書いてもらえれば助かるかる。
930:デフォルトの名無しさん
06/02/12 18:59:39
だが断る
931:デフォルトの名無しさん
06/02/12 19:00:31
>>924
どれが分からないの?
サッパリつーが、1 くらいは自分で出来るでしょ。
それ以外は、自分の思う所を書いてくれれば、ヒントくらいは出せると思う。
1. 関数型プログラミング言語に付いて調べる
2. 手続きが他言語と関数型プログラミング言語の相違を説明する
3. 関数型プログラミング言語が普及していない理由を議論する
その前に C や Java は理解してるのかな。
932:924
06/02/12 19:03:11
CやJAVAは分かります。
関数型言語もLispで軽く勉強したことはあります。
なので1はできそうなのですが、2,3に関してどういう観点から
話を広げていいのか分からないんです。
933:デフォルトの名無しさん
06/02/12 19:03:40
ｽﾏｿ。
手続きが他言語 --> 手続き型言語
934:デフォルトの名無しさん
06/02/12 19:07:07
>>932
2 は関数型言語が利点として上げている事（FAQ とかに書いてある宣伝文句）を
裏返せば、手続き型言語との相違が見えてくるんじゃないかな。
3 は Lisp を勉強していて、何じゃこりゃと思った事を軸にすれば良い。
935:924
06/02/12 19:08:07
この板でCやJAVAと対比してHaskellの優位性を主張してる発言が多くあるのですが、
それってまとめるとどういうことになるんですか？？
（全然専門的に知らないので、内容がちょっと理解できなくて）
それが分かればその点を広げて論ずることができるかなと思いました。
936:デフォルトの名無しさん
06/02/12 19:08:55
>>932
参考文献：なぜ関数プログラミングは重要か
URLﾘﾝｸ(www.sampou.org)
937:デフォルトの名無しさん
06/02/12 19:12:09
>>935
アルゴリズムの記述性、プログラムの安全性とか、自分でテーマを設定して、
具体例を少し添えてあげれば良いんじゃないの。
宿題みたいだし、直接的な答えは書かない方が貴方の為になるよね?
938:924
06/02/12 19:12:09
>>934
>2 は関数型言語が利点として上げている事（FAQ とかに書いてある宣伝文句）を
>裏返せば、手続き型言語との相違が見えてくるんじゃないかな。
なるほど、確かにそうかもしれませんね。参考にします。
>3 は Lisp を勉強していて、何じゃこりゃと思った事を軸にすれば良い。
いや～難しい。。「括弧が多い！」ぐらいしか。。ｗ
>>936
ふむふむ、参考にしてみます。
939:924
06/02/12 19:15:26
>>937
>直接的な答えは書かない方が貴方の為になるよね?
書いてもらえるなら書いてもらったほうが助かります！笑
あまりプログラムは自分の専門ではないので、、
てか、皆さんやさしいですね。
>プログラムの安全性
手続き型と関数型は安定性が違うんですか？？
940:デフォルトの名無しさん
06/02/12 19:28:43
>>939
疑問を持ったら、あとは自分で調べてチョ。さっきも書いたけど、
手取り足取りは無しの方向で。個別的な事象で不明な所があったら
また質問して下さい。
941:924
06/02/12 19:31:47
>>940
わかりました。
でも、作業の方向は見えたので助かりました。
ありがとうございます。
>>みなさん。
お騒がせしました。気分を悪くしてしまいましたらすみません。
942:デフォルトの名無しさん
06/02/12 19:32:49
>>924
URLﾘﾝｸ(www.geocities.jp)
URLﾘﾝｸ(web.yl.is.s.u-tokyo.ac.jp)
ﾇﾙﾎﾟ
943:デフォルトの名無しさん
06/02/12 19:39:12
ここは教育的なインターネットですね
944:デフォルトの名無しさん
06/02/12 20:18:05
unko
945:デフォルトの名無しさん
06/02/12 20:30:55
一瞬undoと見間違った。
946:デフォルトの名無しさん
06/02/12 21:54:03
しまった！ こっち見る前に>>924の宿題の答えを書いちゃったじゃないか。
まさかマルチするとは思ってなかった……
947:デフォルトの名無しさん
06/02/12 22:03:40
>>924の正解はこれ
「関数型の言語と手続き型の言語の相違は、柔軟性、記述性、簡潔性、堅牢性
などであり、どれをとってもはるかに関数型が優れる。また、ユーザーの頭脳にも
大きな違いがあり、関数型言語が優れる。
普及していないのは選ばれた優れた頭脳の持ち主にしか良さがわからない
からである。」
948:デフォルトの名無しさん
06/02/12 22:05:55
>>947 はネタとしても駄目だろ…
949:デフォルトの名無しさん
06/02/12 22:09:58
関数型が難しいとされるのは一番最初のプログラミング言語が機械語だったからじゃね？
機械語->アセンブリ->フォートラン->C みたいに発展せざるを得なかったというか。
もし手続き型なんて一切知らない人に関数型の教育をほどこせば同じ人が Java を
学ぶより簡単そうだ……。
或いはプログラマの90%が関数型しか知らない世界では「手続き型？ あんなのオナニーだよ」
みたいな話になるんだろうな。
950:デフォルトの名無しさん
06/02/12 23:14:56
HaskellとAlgol60を比べることはできても、
関数型言語と手続き型言語を比べるのは難しいだろうな。
議論の前提となる関数型言語の定義すら定まってないし。
951:デフォルトの名無しさん
06/02/12 23:30:35
漏れみたいな凡人には再帰が理解しにくいよ。
階乗みたいな簡単なのは分かるけどさ。
「なんでループ使わせてくれないんだよぅ」ってなる。
952:デフォルトの名無しさん
06/02/12 23:38:45
え
953:デフォルトの名無しさん
06/02/12 23:40:33
間違い
954:デフォルトの名無しさん
06/02/12 23:44:37
行列積みたいな一般再帰は確かに嫌だね
955:デフォルトの名無しさん
06/02/12 23:47:20
>>951
Haskellだと再帰を使わずに済ませられることも多くないか？
たとえば階乗は\n -> product [1..n]と書ける。
IOが絡んだりする複雑な処理を書くときは再帰が要ることも多いけど、
個人的には再帰（やループ)は小さいほどわかり難いと思うから、
これはあまり問題じゃないような気もする。
956:デフォルトの名無しさん
06/02/13 04:23:49
俺にはループは再帰にしか見えない。
同じルーチンを何度も呼び出してるだけじゃん。
957:デフォルトの名無しさん
06/02/13 07:16:58
スタックオバフロー
958:デフォルトの名無しさん
06/02/13 07:48:01
遅延評価は俺の生き方そのものだ
959:デフォルトの名無しさん
06/02/13 13:15:16
ハスケル日本語参考書無いの？
960:デフォルトの名無しさん
06/02/13 13:15:45
3ヶ月くらい待て
961:デフォルトの名無しさん
06/02/13 22:56:43
>>903 のが予定通り出るのなら1ヶ月程待てばOKだ。
962:デフォルトの名無しさん
06/02/14 21:16:16
5月に延びたらしいぞ。
963:デフォルトの名無しさん
06/02/14 21:36:00
>>962
それは「ふつうのHaskellプログラミング」の方じゃないか？
964:デフォルトの名無しさん
06/02/14 22:18:39
>>958
漏れなんかいつも先行評価だぜ。
値が必要とされたことは一度も無いがな....orz
965:デフォルトの名無しさん
06/02/14 22:26:28
漏れの人生はcall by nameなので同じ失敗を何回も繰り返してますorz。
966:デフォルトの名無しさん
06/02/14 22:28:40
>>964
イ㌔
投機的であるとはそういうことだ。
967:デフォルトの名無しさん
06/02/14 22:30:19
人生で成功するのは Unlambda のコードを読むより難しい
968:デフォルトの名無しさん
06/02/15 03:36:00
WinXP+GHC+wxHaskell でHello,WorldをコンパイルしてみたんだけどGHCに怒られました
＞C:\Documents and Settings\Owner\workspace>ghc hello.hs
＞
＞hello.hs:2:0:
＞ Failed to load interface for `Graphics.UI.WX':
＞ Bad interface file: C:\wxhaskell\lib\imports/Graphics/UI/WX.hi
＞ mismatched interface file versions: expected 6041, found 6040
wxhaskell-register.batは実行したし、確かにC:\wxhaskell\lib\imports\Graphics\UI\WX.hiに
ファイルはあります。ぐぐったらブログの記事みたいなんがひっかかったけど
そこでも解決法はみつかりませんでした。CUIなHello,Worldは問題なくコンパイル出来ました。
wxWidgetsもインスコしなきゃダメかな、と思ってmsiファイルで入れてみたけど、どうも違うようです。
偉い人、どうか教えて下さい。
969:デフォルトの名無しさん
06/02/15 03:40:04
>>968
--makeか-package wxでよかったはず。
970:969
06/02/15 03:41:08
ごめん。エラーメッセージをちゃんと読んでなかった。忘れてくれ。
971:デフォルトの名無しさん
06/02/15 03:53:56
>>968
wxHaskellのWindowsパッケージがghc6.4用なのが問題だと思う。
URLﾘﾝｸ(www.cs.uu.nl)
一応ここに6.4.1用のバイナリがある。
972:デフォルトの名無しさん
06/02/15 04:06:39
ありがとうございます！
wxHaskell 入れなおしてコマンドラインオプションも入れたらコンパイルできました！
よーしパパ、テトリス作っちゃうぞー！ って感じです！！！１１２３
973:デフォルトの名無しさん
06/02/16 22:27:46
富豪的プログミングに溺れちゃって！
いつか泣きをみても知らないんだから！
974:デフォルトの名無しさん
06/02/16 22:52:27
成り上がりと富豪を一緒にしないでください
975:デフォルトの名無しさん
06/02/16 22:57:22
ハスケッてる連中の偏差値は高いに違いない
976:デフォルトの名無しさん
06/02/17 09:58:27
変さ値？
977:デフォルトの名無しさん
06/02/17 10:55:25
ところで君偏差値いくつ？
978:デフォルトの名無しさん
06/02/17 13:01:03
変さ値なら60前半の自信はある（ｗ
979:デフォルトの名無しさん
06/02/17 15:02:44
その変さ値とやらの最大値と平均値と標準偏差はいくつなんだ？
980:デフォルトの名無しさん
06/02/17 15:18:51
なんだ。かまって君か（ｗ
981:デフォルトの名無しさん
06/02/18 09:33:10
「Java仮想マシンで動作するHaskell風スクリプト - Jaskell 0.7」
URLﾘﾝｸ(pcweb.mycom.co.jp)
これが噂の「大地クオリティ」か・・・
982:デフォルトの名無しさん
06/02/18 16:06:30
haskellのここがキレたって所ある？
983:デフォルトの名無しさん
06/02/18 21:52:03
Haskell最高！ 死角なし！
984:デフォルトの名無しさん
06/02/19 18:43:57
>>982
言語仕様が分からずにキレた
985:デフォルトの名無しさん
06/02/20 15:27:16
viで編集しにくくてにキレた
986:デフォルトの名無しさん
06/02/21 00:26:20
モナドがなかった頃、遅延ストリームが「一個ずれている」気がしてキレた！
987:デフォルトの名無しさん
06/02/21 00:51:43
そんな頃があったのか････
988:デフォルトの名無しさん
06/02/21 00:55:13
正確に言えば、IOモナドがなかった頃、だな。 Maybe なんかはあったが、モナドなんて知らんかったよ。
989:デフォルトの名無しさん
06/02/23 22:23:38
SplitObjs=yesでghcをビルドしたら丸一日たっても終わってなくてキレた
990:デフォルトの名無しさん
06/02/23 22:45:20
去年の五月に書いて放置していたコードを読み返してたんだが、
百行に満たないライブラリコードなのに何をやってるのか全然分からなくて驚いた。
コメントを書いておかなかった俺も悪いが、Haskell恐るべし。
991:デフォルトの名無しさん
06/02/23 23:45:05
読めないコードでもバグは絶対無いのでご安心を。関数型だからね。
992:デフォルトの名無しさん
06/02/24 02:31:21
埋め
993:デフォルトの名無しさん
06/02/24 03:05:10
次スレ
ｽﾚﾘﾝｸ(tech板)
994:デフォルトの名無しさん
06/02/24 09:52:00
umeume
995:デフォルトの名無しさん
06/02/24 10:19:39
９９５
996:デフォルトの名無しさん
06/02/24 16:27:10
999
997:デフォルトの名無しさん
06/02/24 17:21:52
夢にHaskellが出てきた。
Haskellは少女だった。
形を持たず、目に見えず、概念的で、しかし可憐な、少女だった。
俺は喜び勇んで肉体関係を要求した。
拒否された。
998:デフォルトの名無しさん
06/02/24 17:22:49
その日は、平凡な、曇り空の日だったが、気分は高揚していた。
俺の意志が、思考力が、誰かに支えられているような気がした。
出てくる発想はいつにも増して非凡だったし、
日常の、つまらない判断までも的確だった。
そして俺は、誰がこの研ぎ澄まされた思考を運んできてくれたのかを、
よく知っていたのだ。
999:デフォルトの名無しさん
06/02/24 17:24:31
全能感は一日しか続かなかった。
俺は戸惑うことなくそれを理解し、受け入れた。
それでも、ときどき、気がつくとGHCiを起動していることがある。
そんな時、俺は、こう打ち込むのだ。
1000:デフォルトの名無しさん
06/02/24 17:25:22
Prelude> :m +Control.Monad.Fix
Prelude Control.Monad.Fix> fix error
関数型プログラミング言語Haskell Part3 - 完 -
1001:１００１
Over 1000 Thread
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。