関数型プログラミング言語Haskell Part3
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
NGNGhttp://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
Http://www.teu.ac.jp/kougi/koshida/Prog6/index.html
過去ログ、関連スレは>>2-5
0666デフォルトの名無しさん
2005/07/19(火) 20:31:23買っちゃった。
0667デフォルトの名無しさん
2005/07/19(火) 20:43:25でどうよ？
>>665
"Basic Category Theory for Computer Scientists (Foundations of Computing)"
「圏論の超基礎」つうのもある・・・
0668デフォルトの名無しさん
2005/07/19(火) 20:47:40「論理＆数学ラブ♥な人のための、カテゴリー・ロジックと型理論」
なんつう分厚い数学書も買うには買ったけど、これは完全に死蔵本だな、たぶん。
0669デフォルトの名無しさん
2005/07/19(火) 20:49:10幸せ者だぞｺﾞﾗｧ！！！
0670デフォルトの名無しさん
2005/07/19(火) 21:17:36誤植が多いみたい。
0671デフォルトの名無しさん
2005/07/19(火) 22:24:110672デフォルトの名無しさん
2005/07/19(火) 23:39:470673デフォルトの名無しさん
2005/07/19(火) 23:40:570674デフォルトの名無しさん
2005/07/21(木) 16:22:11暇だからこれ読んでたんだが、ユーザ定義型のデータ構築子と型構築子の意味が分らん。
誰かなんかC,C++の似たような概念の用語で分りやすい説明キボンヌ。
0675デフォルトの名無しさん
2005/07/21(木) 18:51:43型構築子 <=> template
0676デフォルトの名無しさん
2005/07/21(木) 21:21:070677デフォルトの名無しさん
2005/07/21(木) 21:34:500678デフォルトの名無しさん
2005/07/21(木) 23:42:00という見方をするの？
data Int = -65332 | ... | -1 | 0 | 1 | ... | 65332
という例が載ってるけど、こんな感じに、
新たに型を作る。作られる型がデータ構築子
そのときに型のデータのインスタンスを列挙する。列挙されるのがデータ構築子。
こんな感じでいいのかな？頭悪くてすいませんねｗ
0679デフォルトの名無しさん
2005/07/21(木) 23:43:28○新たに型を作る。作られる型が型構築子
0680デフォルトの名無しさん
2005/07/21(木) 23:52:20Cのtypedef風なものにtypeが使われてるのはなんかちょっと違和感あるというか。
typeはいいとして、なんでdataなの？
0681デフォルトの名無しさん
2005/07/22(金) 00:54:47データ型宣言だから、では駄目かい？
0682デフォルトの名無しさん
2005/07/22(金) 08:43:46厨房臭いんですが、dataってのは納得できないですね。
それはまあいいとして、このスレはちょっとレベルが違いすぎるので、
初心者はこっちで質問することにしました。どうもです。
関数型言語Part IV
http://pc8.2ch.net/test/read.cgi/tech/1083649982/
0683デフォルトの名無しさん
2005/07/22(金) 08:52:280684デフォルトの名無しさん
2005/07/22(金) 13:15:03Haskellはそいつを参考にしたが、'datatype'は長いので'data'にした。
というのも考えられるかも。
0685デフォルトの名無しさん
2005/07/22(金) 13:45:510686デフォルトの名無しさん
2005/07/27(水) 20:28:460687デフォルトの名無しさん
2005/07/28(木) 01:59:510688デフォルトの名無しさん
2005/08/13(土) 00:17:46http://www.geocities.jp/takascience/windows/monadius.html
本家からもリンクされてる。
Monadius
A shoot 'em up game using OpenGL. Takayuki Muranushi also wrote a couple of other games in Haskell.
http://www.haskell.org/practice.html
0689デフォルトの名無しさん
2005/08/26(金) 17:04:35数学？
0690デフォルトの名無しさん
2005/08/26(金) 18:12:56うん
0691デフォルトの名無しさん
2005/08/26(金) 20:28:340692デフォルトの名無しさん
2005/09/06(火) 17:46:57ってのは、今はどこで見れるの？
0693デフォルトの名無しさん
2005/09/06(火) 18:33:49もう読めないのかも。Internet archiveにはあるか？
0694デフォルトの名無しさん
2005/09/06(火) 19:48:40亡くなられたのか……まだ若いのに。
プログラム工学VI 授業関連資料
http://web.archive.org/web/20031014180912/http://www.teu.ac.jp/kougi/koshida/Prog6/index.html
0695デフォルトの名無しさん
2005/09/07(水) 00:28:33うへー、マジカヨ。
ご冥福をお祈りいたします。
0696デフォルトの名無しさん
2005/09/07(水) 00:32:240697デフォルトの名無しさん
2005/09/07(水) 01:58:27需要はかなりあると思うのだが。
0698デフォルトの名無しさん
2005/09/07(水) 14:24:350699デフォルトの名無しさん
2005/09/07(水) 19:19:39チュートリアル何度も読んでたから、泣けてくるじゃネーか
合掌(-人-)
0700デフォルトの名無しさん
2005/09/13(火) 02:08:53ひさしぶりに覗いたら悲しい知らせが。
南無。 そしてありがとう。
0701デフォルトの名無しさん
2005/09/15(木) 09:54:510702デフォルトの名無しさん
2005/09/16(金) 03:51:240703デフォルトの名無しさん
2005/09/16(金) 04:46:060704デフォルトの名無しさん
2005/09/19(月) 17:14:40本家よりずっと先にリリースって、すげーと思わない？
0705デフォルトの名無しさん
2005/09/21(水) 02:03:18とりあえずVersion 6.4.1リリースage
0706デフォルトの名無しさん
2005/09/24(土) 00:34:03guard
if-then-else
case-of
って基本的には同じですか？
0707デフォルトの名無しさん
2005/09/24(土) 01:44:59if とパターンマッチは違う。
パターンマッチには真理値で条件を与えることができる。これはガード部とか
言われる。 guard がそのことを指して書いたのであれば、 if と似ていると
は言えるかもしれない。
guard 関数はぜんぜんまったく関係ない。
0708デフォルトの名無しさん
2005/09/24(土) 11:29:13は
case b of {
True -> t;
False -> f;
}
の省略記法。この意味では同じといえると思う。
0709デフォルトの名無しさん
2005/09/24(土) 16:38:460710デフォルトの名無しさん
2005/09/24(土) 19:55:50haskellでオナニーできてるか？
0711デフォルトの名無しさん
2005/09/24(土) 21:19:200712デフォルトの名無しさん
2005/09/24(土) 23:20:510713デフォルトの名無しさん
2005/09/26(月) 18:07:59このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くな★〜彼方の願い星〜★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くなって、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回★〜彼方の願い星〜★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くなって、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回っ★〜彼方の願い星〜★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だ
これが本物の、初代ＨＡＰＰＹメールです♪ってますが、これは本当です!!
これが本物の、初代ＨＡＰＰＹメールです♪って、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回ってますが、これは本当です!!
これが本物の、初代ＨＡＰＰＹメールです♪
0714デフォルトの名無しさん
2005/09/28(水) 23:39:39特にインデントが何回も叩かないと希望の位置にこない。
0715デフォルトの名無しさん
2005/09/29(木) 00:00:52インデントはすくなくとも手で揃えるより楽だし、ローテートしてくれるのは良いよ。
関数定義も補完してくれるし。
ただcase 〜 of のインデント位置のポリシーだけは気にいらないな。あれは of の前で改行することを想定しているのだろうか。
0716デフォルトの名無しさん
2005/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です。
0717デフォルトの名無しさん
2005/09/29(木) 01:20:230718デフォルトの名無しさん
2005/09/29(木) 01:40:00そういう症状は体験したことがないなあ。自分はおおむね
http://www.haskell.org/haskell-mode/installation-guide.html
のように設定している。
でも最近はもっぱら ghci で hugs を使ってませんねぇ。
0719デフォルトの名無しさん
2005/09/29(木) 12:16:49私の環境ではhugsを起動した直後のプロンプトは
Hugs.Base>
なのですが、huskell-hugs-start-processでcomint-prompt-regexpに設定する
パターンが"^\? \\|^[A-Z][_a-zA-Z0-9]*> "となっていて
ドットを含まないためのようです。これを修正すると問題は解消しました。
(せめてdefvarしていて欲しかった……)
hugsもhaskell-mode.elもFreeBSDのportsで入れたのですが、みなさんの
hugsではプロンプトは別の文字列なのでしょうか?
0720デフォルトの名無しさん
2005/09/29(木) 20:46:48少し前(200311_1)には
Prelude>
だったが、今は確かに
Hugs.Base>
になってるね。
0721デフォルトの名無しさん
2005/09/29(木) 22:28:13いきなり Pugs, Rtype, Monadius だと手ごわすぎるので、もうちょい下のレベルで、
おすすめを教えて頂戴。
ウェブアプリを作ることがほとんどなので、Wiki, Blog(Diary), BBS 辺りが理想なんだけど。
0722デフォルトの名無しさん
2005/09/29(木) 22:57:36俺は特に何かをお薦めする程わかっちゃいないが、取り合えず
http://www.haskell.org/practice.html
を紹介しとく。
0723デフォルトの名無しさん
2005/09/29(木) 23:04:55さんきゅ。
とりあえず、
Flippi: a Wiki clone written in Haskell
http://www.flippac.org/projects/flippi/
でも見てみるよ。
0724デフォルトの名無しさん
2005/09/30(金) 11:39:06State s t、withState、bindStateのところで詰まってしまった。
誰か日本語でわかりやすく説明して!
0725デフォルトの名無しさん
2005/09/30(金) 17:42:10type 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)を起動
0726デフォルトの名無しさん
2005/09/30(金) 22:49:12どうもありがとうございました。
State s t を状態遷移図での状態aから状態bへの矢印とイメージしました。
withState x は、状態遷移図で状態aから同じ状態aへ戻る矢印(出力x)ですね。
0727デフォルトの名無しさん
2005/10/01(土) 11:13:330728デフォルトの名無しさん
2005/10/01(土) 14:23:210729デフォルトの名無しさん
2005/10/01(土) 20:48:540730デフォルトの名無しさん
2005/10/01(土) 22:48:410731デフォルトの名無しさん
2005/10/01(土) 23:21:49俺も最初はランタイムエラーは絶対出ないものと思ってたけど
guardとかの場合わけ漏れとか
パターンマッチの不整合エラーがたまにある、、、
ぬるぽとかと比べて感覚的に頻度少ないけどね。
0732デフォルトの名無しさん
2005/10/01(土) 23:59:39いいえ
0733デフォルトの名無しさん
2005/10/02(日) 00:42:37完全でないパターンマッチは、ghcなら警告を出させることもできるから、
あとはプログラマの問題という気がするが。
0734724
2005/10/02(日) 05:03:11なんとなく理解したところでは
Haskellで評価の順序を強制するためにはCPSのように書くことが必要で、
Monadは継続に付加情報を(連続的にというか玉突き的にというか)持ち回る道具、
do構文はそれを手続き型のように書く構文、
というところだろうか?
0735デフォルトの名無しさん
2005/10/02(日) 08:35:39doは状態遷移を隠蔽するモナド関数
で合ってる？
0736デフォルトの名無しさん
2005/10/02(日) 09:44:07Stateモナドについてならその理解でいいと思う。
ただし、モナドの意味論は個々のモナドでかわる。モナドそのものは
「do記法で書くことのできるひとまとまりの計算の構成を支援するもの」くらいではないかな。
たとえばIOモナドは副作用が存在しうるような場合の計算の順序の保証する。
Maybeモナドは途中でNothingになるかもしれない計算のまとまりを構成する。
などなど。
あとは「モナドのすべて」を読むといいと思うよ。
http://www.sampou.org/haskell/a-a-monads/html/index.html
0737デフォルトの名無しさん
2005/10/03(月) 20:52:08／ ＼ 今このとき,モナドは立ち上がる
/∧＿∧ ＼
／（ ´∀｀） /＼
＼（ ） ／ ＼
＼ / ＼
＼／ ＼
∧∧∧∧＼
（ ´／） ））ヽ∧
／ ／ / ´∀） ∧∧
○( ｲ○ （ ,つ, ,ﾟДﾟ)
／ヽ )） ヽ )ヽ )と , ｲ
（_／（_/(_／（_/ﾉ（_/⊂ﾉ> )Ｊ
／￣Y￣｀|/￣＾Y￣ヽ/￣￣Y
0738デフォルトの名無しさん
2005/11/01(火) 01:17:460739デフォルトの名無しさん
2005/11/01(火) 01:23:350740デフォルトの名無しさん
2005/11/02(水) 01:11:110741デフォルトの名無しさん
2005/11/03(木) 10:35:10誰か、 GHCmacs でも作ってくえ。
0742デフォルトの名無しさん
2005/11/12(土) 10:24:330743デフォルトの名無しさん
2005/11/12(土) 19:00:45両替問題の最初でつまづいてしまいました。
cc ::Amount -> [Coin] -> Count
という関数を
a < 0でないとき
cc a (c:cs) = cc (a-c) (c:cs) + cc a cs
と定義してますが、なぜこれで指定した金額aの両替の組み合わせ個数になるんですか？
初歩的な質問で済みませんが教えてください。
0744デフォルトの名無しさん
2005/11/12(土) 19:11:23貨幣cを一つ以上使う場合の数は、cを一つ使った後の両替を考えて、cc (a-c) (c:cs)
貨幣cを一つも使わない場合の数は、cc a cs
この和が求めるものになる。
0745デフォルトの名無しさん
2005/11/12(土) 19:30:54なるほど。
うまく考えるものですね。
ありがとうございました。
0746デフォルトの名無しさん
2005/11/12(土) 20:31:0810円 を 5円 と 1円 で両替して樹形図を書く
0747デフォルトの名無しさん
2005/11/12(土) 21:27:570748デフォルトの名無しさん
2005/11/12(土) 21:38:52お前がいまやってるんだろ？ww
0749デフォルトの名無しさん
2005/11/13(日) 02:16:560750デフォルトの名無しさん
2005/11/13(日) 09:14:43今頃やってるとしたら遅すぎると思うんだが。
夏頃やってたような。昔の記憶だが。
0751デフォルトの名無しさん
2005/11/13(日) 22:17:02母関数から特定の項を取り出す手間とボトムアップに解を構成する手間はいっしょ
0752デフォルトの名無しさん
2005/11/14(月) 06:49:45母関数から特定の項を取り出すのは紙と鉛筆で簡単にできるでしょ。
わざわざプログラムなんて書く必要もない。
0753デフォルトの名無しさん
2005/11/14(月) 20:09:53詳しく頼む。
俺は Polya の本にその母関数の一般項の計算には DP を使うと書いてあったので、無理だと思ってたんだが。
0754デフォルトの名無しさん
2005/11/14(月) 23:45:35組み合わせ論の入門書やConcrete Mathに出てるようなんじゃだめなの？
0755752
2005/11/15(火) 00:16:35Concrete Math の p.331 から 2 ページくらいで計算されてるやつ？
この例の最初のところに「一般の効果の場合に計算するのはとても難しい」とあるし，
その下で計算されてる {1, 5, 10, 25, 50} の特殊例においても「trick」と称される
計算をしないといけないし，さらに，最終結果に残ってる A_k は多項式を実際に展開しないと求まらない．
というわけで，これは一般性が無いという意味で >>744 が母函数から簡単に出るという
説明にはなってないし，特殊例を含めても >>752 の「簡単」ってのはどうかと思う．
コレじゃないならポインタください．
0756デフォルトの名無しさん
2005/11/15(火) 21:19:55一般の関数が非正格で嬉しいことってある？
デフォルトで正格でも良いような気がするんだが。
0757デフォルトの名無しさん
2005/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．
0758デフォルトの名無しさん
2005/11/15(火) 22:37:48反応ありがとう。
>・相等性についての議論が楽になる(単純に置換するだけでOK)．
なるほど。気付かなかった。
でも、現状だとIntのaccumulator引数付きのちょっとした末尾再帰関数なんかを書くたびに
明示的に正格評価を指定しないとパフォーマンスに打撃があるわけで、
「議論が楽になる」って利点はこのコストに見合うんだろうか。
…などと思うのは俺が言語を使うだけの立場だからかな。
>・制御構造を自分で設計できる．
これはどちらかというと特殊なケースだから、非正格をデフォルトにする理由としては弱いと思う。
0759デフォルトの名無しさん
2005/11/15(火) 22:56:10コストパフォーマンスより性質を重視してるんじゃない？
ていうか、非正格の言語を統一する目的で作られた言語だしね。
正格がデフォルトの言語はMLを始めすでにいっぱいあるから
そっちを使ったらどうかな。
0760757
2005/11/15(火) 23:37:37俺は前者も後者も重要と思ってるんだけどね。まあとりあえず前者について少し強く推しておく。
「three x = 3 」 と定義したときに、「 2 + three x == 5 」 が成立するかどうかを判定することを考える。
これを非正格に評価するとthree x を単純に 3 に置き換えて 2 + 3 == 5 にして、成立する、と結論が出るんだけど、
正格評価だと、x が絶対 bot にならないなら成立、そうでないなら不成立、というようにドメインまで考えないと駄目になる。
特に函数が複雑に組み合わさってる場合に、どこかで bot になる可能性があるとかそういうことを考えるのはしんどいし、
上の函数でもそうだけど、 bot 以外で成立、とかいうのは本質的に成立にしちゃったほうが有意なケースが多いんだわ。
0761デフォルトの名無しさん
2005/11/16(水) 00:02:49浮動小数は代数的ではないとはいえ、言語的にこれでいいでしょうか？
0762デフォルトの名無しさん
2005/11/16(水) 11:02:44バックトラックが、普通に全数探索するようなコードを書くだけで実装できてしまうとことか。
0763デフォルトの名無しさん
2005/11/18(金) 20:07:17>>757
> recip x = cond (x == 0) 0 (1/x)
(x == 0) ? 0 : (1/x)
ちゃんとしたコンパイラなら動くきがす。
0764デフォルトの名無しさん
2005/11/19(土) 22:59:06煽りじゃなく本気で意味がわからん。
0765デフォルトの名無しさん
2005/11/20(日) 16:33:5510
■ このスレッドは過去ログ倉庫に格納されています