[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
2: 2013/03/23(土)12:34:21.00 AAS
関連書籍
・Introduction to Functional Programming Using Haskell (2nd ed.)
外部ﾘﾝｸ:www.amazon.co.jp
・Haskell: The Craft of Functional Programming
外部ﾘﾝｸ:www.amazon.co.jp
・The Fun of Programming
外部ﾘﾝｸ:www.amazon.co.jp
・The Haskell School of Expression: Learning Functional Programming Through Multimedia
外部ﾘﾝｸ:www.amazon.co.jp
・入門Haskell
外部ﾘﾝｸ:www.amazon.co.jp
・ふつうのHaskellプログラミング
外部ﾘﾝｸ:item.rakuten.co.jp
・Programming in Haskell
外部ﾘﾝｸ:www.amazon.co.jp
・Real World Haskell
外部ﾘﾝｸ:www.amazon.co.jp
・関数プログラミングの楽しみ
外部ﾘﾝｸ:www.amazon.co.jp
・すごいHaskellたのしく学ぼう!
外部ﾘﾝｸ:www.amazon.co.jp
3: 2013/03/23(土)12:34:22.00 AAS
関連リンク
・GHC Wiki
外部ﾘﾝｸ:hackage.haskell.org
・A History of Haskell
外部ﾘﾝｸ:research.microsoft.com
・関数型関連の用語集
外部ﾘﾝｸ:sky.zero.ad.jp
・本物のプログラマはHaskellを使う
外部ﾘﾝｸ:itpro.nikkeibp.co.jp
・Haskell API search Engine
外部ﾘﾝｸ:www.haskell.org
【簡単な使い方】
１．検索バーに関数名を入れて検索
例 map
２．検索バーに型名を入れて検索
例 (a -> b) -> [a] -> [b]
・Real World Haskell
外部ﾘﾝｸ:book.realworldhaskell.org
・Learn You a Haskell for Great Good!
外部ﾘﾝｸ:learnyouahaskell.com
4: 2013/03/23(土)12:34:23.00 AAS
私がこの世界に求める優しさのすべて―
それがHaskellなんだと。
あぁ この世界の女性がみんなHaskellになったら
なんてすてきな世界なんだろうと考えました。
レトルトカレーしか作れぬお前がHaskellになったところで
そ れ は H a s k e l l で は な い !
5: 2013/03/23(土)12:34:24.00 AAS
さすがキチガイだな
Haskellにはチンポ入れる穴がないだろ
6: 2013/03/23(土)12:34:25.00 AAS
チンコ入らないこともなさそう 外部ﾘﾝｸ:hackage.haskell.org
7(1): 2013/03/23(土)12:34:26.00 AAS
927 デフォルトの名無しさん [] 2013/03/24(日) 13:57:24.26 ID: Be:
15分で始めるScala
外部ﾘﾝｸ:xerial.org
↑
東大の先生は、Scala使ってDNA解析をガンガンぶん回しているというのに、
おまえらみたいな低脳は、いつまでもたっても、言語がどーのこーので、ちっとも前に進まないな。
928 デフォルトの名無しさん [sage] 2013/03/24(日) 15:33:58.26 ID: Be:
そういうレスはHaskellスレに書いたほうがウケる
8: 2013/03/23(土)12:34:27.00 AAS
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
9: 2013/03/23(土)12:34:28.00 AAS
いくらクソ言語のクソスレだからってあんまりだ……
10: 2013/03/23(土)12:34:29.00 AAS
外部ﾘﾝｸ:d.hatena.ne.jp
外部ﾘﾝｸ[pdf]:th.nao.ac.jp
御使い乙、代わりにこれをあげよう
11(1): 2013/03/23(土)12:34:30.00 AAS
>>7
scalaなんかで解析してるから進みが遅いんだな・・・
12(1): 2013/03/23(土)12:34:31.00 AAS
貴様は一生機械語でカイてろ
13(2): 2013/03/23(土)12:34:32.00 AAS
Haskellって遅延評価じゃん？
この言語で作ったGUIも遅延評価になるの？
GUIが遅延評価になるってのが自分で言っててよくわかんないんだけど
2chブラウザなんか作ったとして、スレッドを読み込んだ時点で
先の方のレスはまだ表示させる必要ないから
データの解釈とレンダリングは必要になる(実際にそのレス番に着く)までしないとかさ
そういう、特に工夫しなくてもデフォルトで遅延評価になってることを類推するじゃん？
14: 2013/03/23(土)12:34:33.00 AAS
>>13
特殊な裏ワザを使わなければ遅延評価
ただし、評価生成されるのは、「表示」じゃなくて「表示するプロセス」
15: 2013/03/23(土)12:34:34.00 AAS
>>13
gtkとか使う場合、描画タイミングとかはwidgetにお任せだよ。
16: 2013/03/23(土)12:34:35.00 AAS
むむむ
17: 2013/03/23(土)12:34:36.00 AAS
誰も使わない
18(1): 2013/03/23(土)12:34:37.00 AAS
>>12
君はいつもそういう極論しか言えないよね
19: 2013/03/23(土)12:34:38.00 AAS
ただの報告だけど、いまHaskell使ってGPU用のCのコードを自動生成してる
並列計算
20: 2013/03/23(土)12:34:39.00 AAS
突然どうした
21: 2013/03/23(土)12:34:40.00 AAS
>>18
>>11 の暴論っぷりはスルーかいw
22: 2013/03/23(土)12:34:41.00 AAS
参照は透ける――Haskell！
よし
23(2): 2013/03/23(土)12:34:42.00 AAS
Haskellって言語としての出来はともかく標準ライブラリは変だよね
なんでApplicativeのpureとMonadのreturnが分かれてるんだ
歴史的経緯は分かるんだけど、Applicativeを導入するときにpureじゃなくてreturnって名前にすりゃよかったじゃん
24: 2013/03/23(土)12:34:43.00 AAS
(」・ω・)」はぁ〜
(/・ω・)/ 透けるぅー！
25: 2013/03/23(土)12:34:44.00 AAS
>>23
return の方がおかしいと思うのは俺だけか？
26: 2013/03/23(土)12:34:45.00 AAS
>>23
歴史的経緯が分かってて、その提案なの？
27(1): 2013/03/23(土)12:34:46.00 AAS
MonadとClannadの違いについて教えてください
28: 2013/03/23(土)12:34:47.00 AAS
>>27
違いについて質問しようと思った経緯を教えて欲しい。
それによって返答が違う。
たとえば、＊＊や〜〜などの共通項を見つけたが、
あまりにも似すぎているために、逆に違いがあるのか気になった、とか。
スレチだったりバカな理由なら以後は無視する。
29: 2013/03/23(土)12:34:48.00 AAS
Monadは隠蔽でClannadは人生
30(1): 2013/03/23(土)12:34:49.00 AAS
クラナッハはハウスバルドゥンクの師匠に当たるのかな。
31: 2013/03/23(土)12:34:50.00 AAS
レーベンシュタイン距離……？
32: 2013/03/23(土)12:34:51.00 AAS
モナドは文脈依存
33: 2013/03/23(土)12:34:52.00 AAS
Keyは登場人物がキチガイだらけの糞
34: 2013/03/23(土)12:34:53.00 AAS
Haskell頭文字がHだからってエロゲの話しなくていいから
今ホットなライブラリの話でもしててくれ
35: 2013/03/23(土)12:34:54.00 AAS
ホットというか、新しいプラットホーム入れたらライブラリがけっこう移動しててビビッた
36: 2013/03/23(土)12:34:55.00 AAS
>>30
ハンス・バルドゥンクだろう。グリーンの使い方の名手として
知られたらしいが、あまり発色の良いものは残っていないらしい。
37(1): 2013/03/23(土)12:34:56.00 AAS
美術をテーマにしたHaskellプログラムは見たことがないな。Prologだと、
1980年代前半から古典主義建築のオーダーだとか、ファサードの研究に
結構利用されていたのだが。
38(1): 2013/03/23(土)12:34:57.00 AAS
なにそれ詳しく知りたいです
39: 2013/03/23(土)12:34:58.00 AAS
>>38
84-5年頃だから前半ではなくて中頃だった。建設省建築研究所での
Prolog-KABAを使った研究が有名。浮動小数点数も扱えない処理系で
何ができたかは疑問ですが。
それとは全く別の話だが、こちらは海外でPrologのプログラミングで
黄金分割の研究をしたものもあった。
40: 2013/03/23(土)12:34:59.00 AAS
>>37
GitHubにはあると思うけど。
41: 2013/03/23(土)12:35:00.00 AAS
綺麗に書かれたコードはそれ自体が美術です
42: 2013/03/23(土)12:35:01.00 AAS
クヌースは文芸と言っていた
43: 2013/03/23(土)12:35:02.00 AAS
"The Art of ~" シリーズがベストセラーを連発していてすっかり世俗化した。
44(1): 2013/03/23(土)12:35:03.00 AAS
hoge :: a -> Maybe b とするべきか
hoge :: a -> b として境界条件外はundefinedするべきか
よく迷うけど指針ってありますか？ (b自体はMaybe型じゃないとして)
45: 2013/03/23(土)12:35:04.00 AAS
それは、戻り値が境界条件外だった場合に「何がしたいか」によると思うんだが
46: 2013/03/23(土)12:35:05.00 AAS
すまん、戻り値がじゃなくて引数が、ね
境界条件外だった場合に、その事を何かに伝達したいのなら Maybe b の方が良いだろうし
47: 2013/03/23(土)12:35:06.00 AAS
Nothingってどのくらいメモリ食うの？
Left "" はその何倍食うの？
48(1): 2013/03/23(土)12:35:07.00 AAS
>>44
数学の関数として考えるとき、定義域(domain)に未定義はあり得ない
引数が定義域の範囲の外にあるなら、それは例外として処理すべき
49(1): 2013/03/23(土)12:35:08.00 AAS
そう言う実コードの役に立たない知識はどうでもいいです
50(3): 2013/03/23(土)12:35:09.00 AAS
Types And Programming Languages って、ついに翻訳されたんだな
外部ﾘﾝｸ:www.amazon.co.jp
くっそ高いけど
51: 2013/03/23(土)12:35:10.00 AAS
>>50
ですよねぇ。価値ある情報が無料じゃないのは許されないと思います。
52(1): 2013/03/23(土)12:35:11.00 AAS
>>49はモデル化できないks
53(1): 2013/03/23(土)12:35:12.00 AAS
>>48
有理関数（分母と分子が多項式になってる分数で定義される関数）なんかは、
分母がゼロになるところを定義域から外すようにすると、有理関数
を定義するのに先立って分母がゼロになるところを求めておいてそれを
除外したところを定義域とするようにしないといけないのであり得ませんね
54: 2013/03/23(土)12:35:13.00 AAS
TaPL立ち読みしたけど、クソむずそうで興味持てなかったわ
55: 2013/03/23(土)12:35:14.00 AAS
>>50
英語版買ったばかりなのに........
56: 2013/03/23(土)12:35:15.00 AAS
オーム社の関数型言語への入れこみっぷりはちょっとおかしい
ラムダ社に社名変更すべき
57: 2013/03/23(土)12:35:16.00 AAS
>>50
まじで。偉業だな。
大学一年の推薦図書決定だなw
58: 2013/03/23(土)12:35:17.00 AAS
>>52
そんなに気に障ったの？
59: 2013/03/23(土)12:35:18.00 AAS
Haskeller様はコードなんて書かないからいいんだよ
60: 2013/03/23(土)12:35:19.00 AAS
たまには書くわ！ばかにするな！
61(1): 2013/03/23(土)12:35:20.00 AAS
>>53
高次多項式の零点を求めることになるから、それは一般に計算不可能
関数の計算が問題にする時点で正則関数に限定されており、つまり、分母に零になった時点で例外にしなければならない
特異点を例外にしないのは、高階関数や数式処理をする場合だけにすべき
62(1): 2013/03/23(土)12:35:21.00 AAS
「高階関数や数式処理」ってなんだよ……
63: 2013/03/23(土)12:35:22.00 AAS
>>62
高階関数＝積分
数式処理＝通分
64: 2013/03/23(土)12:35:23.00 AAS
TaPL日本語、期待してたんだが、ちょっと訳が直訳気味だな。
これだと原語のほうが読みやすいぞ。
超訳よりはマシだが、もうちょいこなれた日本語にできんかったんかね？
65: 2013/03/23(土)12:35:24.00 AAS
>>61はこの前暴れてたやつだろ
66: 2013/03/23(土)12:35:25.00 AAS
数式が全部文字に置き換えられたモノから数式に戻して計算する関数を作りたいと思います。
例えば、[ Kazu 0.1, Tasu, Kazu 2.1, Hiku, Kazu 3.0, Kake, Kazu 2.9, Waru, Kazu 0.9]があって、
これを戻すと 0.1 + 2.1 - 3.0 * 2.9 / 0.9 -> -7.46 みたいに結果をだしたい。
67: 2013/03/23(土)12:35:26.00 AAS
"0.1 + 2.1 - 3.0 * 2.9 / 0.9" という文字列を作ったとして、それをどうやって計算するつもりなのよさ
68(1): 2013/03/23(土)12:35:27.00 AAS
引くは "-"に、足すは”＋”にしてどうにかできない？
KazuとかHikuなど data Keisan = [Moji]みたいにして？
69(1): 2013/03/23(土)12:35:28.00 AAS
AA省
70: 69 2013/03/23(土)12:35:29.00 AAS
ごめん間違えた。
数式が全部文字に置き換えられたモノから数式に戻して計算する(_リスト,_式,_結果) :-
結果の前のアンダースコアが落ちていました。これだとfailしてしまいます。
71: 2013/03/23(土)12:35:30.00 AAS
ParsecのtokenPrim使おう
72(1): 2013/03/23(土)12:35:31.00 AAS
結果を出すのはこんな感じかな
外部ﾘﾝｸ:pastebin.com
73: 2013/03/23(土)12:35:32.00 AAS
マセマティカみたいに文字式のままとか、対数関数を
log 6 を log 2 + log 3みたいにちゃんと扱ってくれるライブラリないの？
logで猛烈に四則演算繰り返すと絶対非負であることが証明できる演算が負になっちゃったりして困るの
エントロピー関連の計算でさもありなんでしょ？
74: 2013/03/23(土)12:35:33.00 AAS
これかな。
外部ﾘﾝｸ:www.haskell.org
あんまないのか？
それっぽいキーワードで検索すると他にも出てくるけど、これでキマリ、みたいなのはないっぽい。
75: 2013/03/23(土)12:35:34.00 AAS
フリーかつ言語ライブラリとしてまともに使える
数式処理システムはpythonのsympyぐらいでは
他言語じゃhaskell含めて寡聞にして聞かないわ
76: 2013/03/23(土)12:35:35.00 AAS
NumPyとかSymPyとかそのへんはやたら定評があるのなPython。
77: 2013/03/23(土)12:35:36.00 AAS
Pythonさんが最強の言語だな
78: 2013/03/23(土)12:35:37.00 AAS
MissingPyで成果だけ横取りしたらええんや！
79(1): 2013/03/23(土)12:35:38.00 AAS
数式処理は作る過程が目的だからな…
昔は演習の時間にschemeで数式処理システムを作らされてた
Haskellだとスマートに作れそうな気がするんだけどな
80: 2013/03/23(土)12:35:39.00 AAS
みんな、>>79が作るってよー
81: 2013/03/23(土)12:35:40.00 AAS
schemeなら和田本に数式処理の微分まで載ってる
82: 2013/03/23(土)12:35:41.00 AAS
その分野は最強はMathematicaだろ。
作ってる奴の頭が良すぎる。
83: 2013/03/23(土)12:35:42.00 AAS
Maximaとか？
84: 2013/03/23(土)12:35:43.00 AAS
グラフで表示するために特異点求める研究してて、論文で特異点の説明でその特異点を図示するためにMathematica使ってたのは良い思い出
85: 2013/03/23(土)12:35:44.00 AAS
79氏の伝説が今、爆誕！
86: 2013/03/23(土)12:35:45.00 AAS
モナド戦争しようぜ
87(1): 2013/03/23(土)12:35:46.00 AAS
Functor〜モナド考えたやつ誰だよ頭いいな
1日経ってもまだ理解できない
88(1): 2013/03/23(土)12:35:47.00 AAS
>>87
一日で理解できたら相当頭いい。
あと、いろんなものがモナドになってるけど、「いろいろなものが経験的にモナドで表せる」だけで
モナド最強無敵完璧究極とかは明確に間違い。
モナドで不足するところを補うためにあとから色々アイデアが出てる。
圏論的な意味でモナドはかなり良い抽象化であるにもかかわらず
関数型言語ではなぜそれが不十分な抽象化であり得るか：
Hask圏が「ふつうの圏」ではなく豊穣圏の一種だから、だと思われる。
89: 2013/03/23(土)12:35:48.00 AAS
寝ぼけていい加減な事書いてしまった。
90: 2013/03/23(土)12:35:49.00 AAS
いい加減なことだったのかよ読んじゃったよ！
91: 88 2013/03/23(土)12:35:50.00 AAS
いやさ、「豊穣圏だから」って言い方がなんか投げやりだなって。
先に現象があるのであって、「豊穣圏だから」って言い方だと先に理論が
あるみたいな言い方で極めて質が悪い。
92(1): 2013/03/23(土)12:35:51.00 AAS
それに、Haskは豊穣圏ではあるけど豊穣圏の中でも最も単純なタイプだ。
だれか夏コミで書いてたけど。豊穣圏などという大砲を持ちだして雀を撃つような
真似は良くない。
93: 2013/03/23(土)12:35:52.00 AAS
自分もいまApplicative Functorやってるんだけどよくわからないな
多少手を動かして「普通の型を関手の世界に持ち上げる」とか「文脈を注入する」
という言葉の上での感覚は掴んだけど
例えばこのへん外部ﾘﾝｸ:d.hatena.ne.jpで関数合成
(fmap f g) == f ・ g
できることすら気づいていなかった自分の頭の硬さにおののく
94: 2013/03/23(土)12:35:53.00 AAS
よーわからんから:tに頼りまくって試してみてる
95: 2013/03/23(土)12:35:54.00 AAS
GoFのデコレーションパターン見たいなものなのかなとか思いつつおやすみ
96: 2013/03/23(土)12:35:55.00 AAS
ぼくはこんな概念を覚えたよ自慢、うざっ
97(1): 2013/03/23(土)12:35:56.00 AAS
>>72
初心者なので考えてもまだ理解できない。
今はなんとかこれで出来ないかと苦戦中。
type Keisan = [Moji]
data Moji = Kazu Double | Tasu | Hiku
deriving (show)
-- only Tasu or Hiku in a list [Kazu 0.0, Tasu, Kazu 1.0, Hiku, Hiku, Kazu 0.5]
-- == [0.0 + 1.0 - -0.5] -> [Kazu 0.5]
tokenizer :: Keisan -> Moji
tokenizer shiki = Kazu (convMoji shiki)
convMoji :: (Ord a) => Moji -> a
convMoji moji
| moji == Tasu = +
| moji == Hiku = -
| moji == (Kazu x) = x
98: 2013/03/23(土)12:35:57.00 AAS
>>97
プログラミング以前に、まず問題を分けて。
1.
[Kazu 0.1,Tasu,Kazu 2.1,Hiku,Kazu 3.0,Kake,Kazu 2.9,Waru,Kazu 0.9] というデータから、
"0.1 + 2.1 - 3.0 * 2.9 / 0.9" という文字列を作ること。
2.
[Kazu 0.1,Tasu,Kazu 2.1,Hiku,Kazu 3.0,Kake,Kazu 2.9,Waru,Kazu 0.9] というデータから、
-7.466666666666666 という値を求めること。
3.
"0.1 + 2.1 - 3.0 * 2.9 / 0.9" という文字列から、
-7.466666666666666 という値を求める、というのがやりたいことなの？
99: 2013/03/23(土)12:35:58.00 AAS
ええ、そうです。
100: 2013/03/23(土)12:35:59.00 AAS
>ぼくはこんな概念を覚えたよ自慢、うざっ
ぼくはこんな嫌味を覚えたよ自慢、うざっ
101: 2013/03/23(土)12:36:00.00 AAS
そこまでムカついたのか
102: 2013/03/23(土)12:36:01.00 AAS
場外乱闘がはじまるですか？
103: 2013/03/23(土)12:36:02.00 AAS
クズ共食いつきいいな
104: 2013/03/23(土)12:36:03.00 AAS
おいおい、落ち着いてhaskellの話しようぜ
105(3): 2013/03/23(土)12:36:04.00 AAS
Haskellのコードリーディングって難しくない？
たとえばFRPライブラリ reactivce の特徴である
Sink と Event の仕組みや実際の振る舞いについて調べたいとする。
というのも、makeEvent 関数でタプル (sink, event) を作ると、
あたかも、プログラム内のある場所で sink を評価すると、
全く別の場所にある event が反応したかのように表面上は振る舞って、
なかなか興味深い。
だが、とりあえず Sink a の型を見ても a -> Action としか分からない。
makeEvent 関数のソースを見ても、いきなり (fmap.fmap) が出てくるし。
こういう場合は、adaptE 関数から順に自分で簡約しながら見ていく方が良いのかな。
（reactive のチュートリアルでは皆 adaptE 関数から実際の計算が始まる）
C/C++ だと比較的大きな機能がまとまって書かれているけど、
Haskell だと非常に細かい機能が関数呼び出しという数珠繋ぎで表現されていて、
それらがソース中のバラバラの場所に書かれていたりするから、
なかなか C/C++ と同じ要領ではコードリーディングしにくい。
Haskell としてコードが洗練されているほど、振る舞いが追いにくい印象。
もしかしたら、同じようにできるのかも知れんが、何かコツでもあるのかな。
106(1): 2013/03/23(土)12:36:05.00 AAS
使って不便だと思うなら、それは無価値だということだ。
わざわざ取り組む必要もない。
107: 105 2013/03/23(土)12:36:06.00 AAS
>>106
なぜそのようなことを言うのでしょうか。
不便なんて思っていません。
使いたいから使っています。
仕組みを理解したいからコードリーディングに挑戦しています。
108: 2013/03/23(土)12:36:07.00 AAS
>>105
出たなうんこ野郎
こいつは屁理屈こねるために質問してくる
相手するだけ無駄
109: 2013/03/23(土)12:36:08.00 AAS
屁理屈やら討論やらまったり会話が何でもありの掲示板で屁理屈批判とか。
それに105が屁理屈とも思わんし。言ってることが理解できないけどさ。
110: 2013/03/23(土)12:36:09.00 AAS
悔しかったの？ｗ
111: 2013/03/23(土)12:36:10.00 AAS
単芝で煽ったつもりになってるとか君も青いな
112(1): 2013/03/23(土)12:36:11.00 AAS
>>92
コミケでHaskellの本売ってるの？
113: 2013/03/23(土)12:36:12.00 AAS
>>105
それ、Haskellの問題つーより宣言型の問題な
114: 2013/03/23(土)12:36:13.00 AAS
>>112
いわゆる技術系サークルってのはあって電子工作やらプログラミングやら扱ってる本
書いてるね。Haskellはあったかなぁ？？
115: 2013/03/23(土)12:36:14.00 AAS
簡約λカ娘のことじゃねーの
思い出しついでにちょっとサイト見に行ったら新刊イカ娘と関係なくなってるじゃねえか
116(1): 2013/03/23(土)12:36:15.00 AAS
g :: [Int] -> [Int] -> Int
g (x:xs) (y:ys)
| (x:xs) == [] && (y:ys) == [] = 1
| otherwise = x*y + g xs ys
処理終わらない。助けて
117: 2013/03/23(土)12:36:16.00 AAS
>>116
それだと、空リストら適用した時点で例外が起きるんだが
「処理終わらない」の意味をもう少し明確に述べてみ
118(1): 2013/03/23(土)12:36:17.00 AAS
Non-exhaustiveになるんです。
多分間違い : (x:xs) == [] && (y;ys) == [] = 0?
g [1,2,3:[]] [4,5,6:[]] -> (1*4 + 2*5 + 3*6 + []* [] ) -> 32になるはず
119: 2013/03/23(土)12:36:18.00 AAS
g _[]=0
g[]_=0
g(x;xs)(y:ys)=x*y+g xs ys
120: 2013/03/23(土)12:36:19.00 AAS
ありがとうございます。けど、なんで上のガードが出来なかったのだろうか？
121: 2013/03/23(土)12:36:20.00 AAS
[]は(x;xs)にマッチしない
122: 2013/03/23(土)12:36:21.00 AAS
ああ、本当だ。
(x:xs)はすでに何かあるから[]ではないと言うことですね。
納得しました。
123: 2013/03/23(土)12:36:22.00 AAS
外部ﾘﾝｸ:akiradeveloper.hatenadiary.com
124: 2013/03/23(土)12:36:23.00 AAS
>>118＝122
[1,2,3:[]]
こんなリストはねえ。1:2:3:[]か、[1,2,3]だボケ
んで、後者は前者の糖衣構文
(xs)であれば[]もマッチする
(x:xs)に[]がマッチしない理由は、「何かあるから」ではなく、[]が値コンストラクタ ":" を使ってないから。
125: 2013/03/23(土)12:36:24.00 AAS
質問、
ave関数でなぜかIntが返されます。[1.0, 2.0, 3.0]ならばsumはで、lengthは3なので戻りは1.0のはずなのですが。
value :: [Float] -> Float
value list = case (list) of
(x:xs) -> (x/(ave list)) : value xs
[] -> 0
ave :: [Float] -> Float
ave (x:xs) = ( sum (x:xs) / (length (x:xs) ))
126(1): 2013/03/23(土)12:36:25.00 AAS
型あわせろボケ
127: 2013/03/23(土)12:36:26.00 AAS
ラムダの記号が円マークでかっこ悪いのは日本への嫌がらせなの？
Haskell作者しぬの？
128(1): 2013/03/23(土)12:36:27.00 AAS
どっちかというと問題があるのはREVERSE SOLIDUSがYEN SIGNに見える日本人の方では
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s