関数型プログラミング言語Haskell Part6
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2006/11/07(火) 21:24:26http://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
http://shidot.dyndns.org/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 http://pc.2ch.net/tech/kako/996/996131288.html
Part2 http://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 http://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 http://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 http://pc8.2ch.net/test/read.cgi/tech/1149263630/
関連スレは>>2
関連書籍は>>3
・2chの仕様により、行頭の半角スペースは表示されません。
コードをインデントしたいときは、代わりに または全角スペースを使うことができます。
0388デフォルトの名無しさん
2006/12/30(土) 23:04:43普段は泥臭いPerl使ってる俺は死んだらいい。
0389デフォルトの名無しさん
2006/12/30(土) 23:06:560390デフォルトの名無しさん
2006/12/30(土) 23:47:59■オサレ言語
Haskell、Clear、その他の純粋関数型言語
■普通の言語
C、C++、C#、アセンブラ、PHP、Perl、awk
■キモい・胡散臭い
Ruby（特にRails界隈）、Ajax、XML、Paython、その他Web2.0に絡む言語すべて
■オッサン専用
COBOL、FORTRAN、PASCAL
■厨言語
Java、VB、BASIC、HSP
0391デフォルトの名無しさん
2006/12/31(日) 00:07:220392デフォルトの名無しさん
2006/12/31(日) 01:02:19■オサレ言語
Haskell、Concurrent Clean、その他の純粋関数型言語
■普通の言語
C++、C#、Java、VB.NET
■泥臭い
Perl
■ハッカー専用
C、アセンブラ、awk、Python
■キモい・胡散臭い
PHP、Ruby
■オッサン専用・過去の遺物
COBOL、FORTRAN、PASCAL
■厨言語
VB、BASIC、HSP、Delphi
■宗教
Lisp、その他Lisp系統
0393デフォルトの名無しさん
2006/12/31(日) 01:06:400394デフォルトの名無しさん
2006/12/31(日) 01:49:490395デフォルトの名無しさん
2006/12/31(日) 09:30:38C で言う != みたいな記号ってないん？
環境は WinHugs 使ってる。
0396デフォルトの名無しさん
2006/12/31(日) 10:37:39HSPは胡散臭い言語だと思います。
0397デフォルトの名無しさん
2006/12/31(日) 10:43:32(!=) :: Eq a => a -> a -> Bool
(!=) = (/=)
0398デフォルトの名無しさん
2006/12/31(日) 13:12:31あと perl はなにげにハッカー言語だと思う
0399デフォルトの名無しさん
2006/12/31(日) 13:25:47ハッカーが「つくっている」≠ ハッカー言語
0400デフォルトの名無しさん
2006/12/31(日) 13:35:02そう言う意味で C やアセンブラは納得できるけど Python はどうかなぁ
0401デフォルトの名無しさん
2006/12/31(日) 16:51:27http://www.sauria.com/~twl/conferences/pycon2005/20050325/Python%20at%20Google.html
0402デフォルトの名無しさん
2006/12/31(日) 19:23:05main = putStrLn "こんにちは!"ってやるとエラーになるんですけれど・・・
あきらめるしかないんでしょうか?
0403デフォルトの名無しさん
2006/12/31(日) 22:24:01ありがとう
0404デフォルトの名無しさん
2007/01/01(月) 10:53:25putStrLn とかはまだ未対応みたいね。
0405デフォルトの名無しさん
2007/01/01(月) 13:46:12Hugsだと動く。
0406デフォルトの名無しさん
2007/01/01(月) 23:29:560407デフォルトの名無しさん
2007/01/01(月) 23:41:17EUC環境なら普通にできるよ。
0408402
2007/01/02(火) 00:02:38>>405
ネイティブなバイナリを作りたいんです。
>>406
標準入力から入力した文字を処理させたいんです。
出来るでしょうか?
>>407
windowsマシンしか持ってないんです・・・
0409デフォルトの名無しさん
2007/01/02(火) 00:23:32ただのバイト列としての扱いになるけど一応読み込めて表示できる。
0410デフォルトの名無しさん
2007/01/02(火) 14:03:50逆。プログラムには埋め込めるけど入出力ができない。
>>408
http://yogimo.sakura.ne.jp/ssc/index_ja.html
外部ライブラリだけど、とりあえず日本語の入出力はできる。
0411デフォルトの名無しさん
2007/01/02(火) 16:04:51GHC6.4ではEUCだったらソースコード中に書いてもコンパイル可能。
putStrなどで出力するとEUCのまま出力される。
そのため、WindowsではEUC→ShiftJIS変換を掛けた後putStrしないとうまく表示できなかった。
GHC6.6ではソースコードの文字コードがUTF-8になったため、
UTF-8形式でなら日本語の文字列をソースコードに記述できるようになった。
しかし、putStrなどのIOの基本部分はまだきちんとUTF-8対応してないため、
UTF-8形式の文字列をそのまま出力させることができない。
ただ、6.4のときと同じようにUTF-8→ShiftJIS変換して出力させるのなら表示できる。
410が紹介しているライブラリはそう言った処理を行ってくれる。
0412デフォルトの名無しさん
2007/01/02(火) 17:48:11間違ってるところがあったら指摘してほしい。
Haskell98によると、Charは一つのUnicode文字を表す(6.1.2)。
これに従って、比較的新しいHugsやGHC(6.4系を含む)ではCharは32ビット整数になっている。
ただし、どちらも入出力に際しての変換が完全でない。具体的には、
・ソースコード中の文字列リテラル
・System.IOライブラリでの入出力
が問題になる。
1. GHC6.4.2以前
ソースコード・入出力ともLatin-1を仮定する。Latin-1ではバイト値と
コードポイントが一致するので、入力時には外部エンコードの各バイトがそのままCharに
入り、出力時にはCharの下位8ビットのみが出力されるような実装になっている。
このため、あるエンコーディング(Latin-1とは限らない)の入力をgetLineで受け取り、
それをそのままputStrで表示すれば、入力時とおなじエンコードにおいて正しく表示される。
これを利用して、[Char]を、本来のコードポイントの列としてではなく、特定のエンコードの下での
バイト列として使うことができる。ただし文字列リテラルについては、GHCはLatin-1として
不正な文字を受け付けないので、EUC-JPのような例外を除くと、単純にリテラルを使うことはできない。
2. GHC6.6
ソースコードにはUTF-8、入出力にはLatin-1を仮定する。このため、EUC-JPでリテラルを直に
書くことはできない。
(続く)
0413デフォルトの名無しさん
2007/01/02(火) 17:49:243.最近のHugs(非WindowsかつCのwchar_tがUnicodeの環境、というかLinux)
ソースコード・入出力ともロケールのエンコードを利用する。
4.最近のHugs(Windows)
ソースコード・入出力ともLatin-1を仮定する。ただし文字列リテラルにShift-JISを使ってもエラーにならない。
5.最近のHugs(それ以外)
未調査。
・結局どうするか。
規格どおりにCharにUnicodeを入れるか、Charを単なるバイトとして扱うかの二択。
i. CharをUnicodeとして扱う
(3)以外の場合入出力で変換が必要。(2)または(3)以外の場合文字列リテラルでは
明示的なエスケープ(たとえば"\22234")が必要。
ii. Charをバイトとして扱う
(3)ではファイルをバイナリモードで開くなどの対策が必要。(1)でEUC-JPを使う場合と(4)
を除き文字列リテラルでは明示的なエスケープ(たとえば"\143\153")が必要。
lengthやisAlphaのような関数、およびwin32パッケージの関数(win32API)が正しく動作しない。
0414デフォルトの名無しさん
2007/01/03(水) 00:32:02ttp://d.hatena.ne.jp/ha-tan/20070102/1167722751
このあたりも。
0415デフォルトの名無しさん
2007/01/03(水) 01:24:370416デフォルトの名無しさん
2007/01/03(水) 02:49:120417デフォルトの名無しさん
2007/01/03(水) 10:33:09問題はむしろSystem.IOを書き直すのが(重要度の割には)面倒だ、というところに
あるんじゃないかと。
0418デフォルトの名無しさん
2007/01/03(水) 11:02:511関数とアクションは何が違うのでしょうか?
2square n = n*n
というのはnを引数とする関数を定義しているんですよね。
cみたいにn = n*nという代入を表しているんじゃないですよね?(説明が難しい)
0419デフォルトの名無しさん
2007/01/03(水) 12:00:081. アクションとはIO aを返す関数のことです
2. まずは、squareの型を見てみましょう。
square :: Num a => a -> a
ということですから、代入ではありません。
0420デフォルトの名無しさん
2007/01/03(水) 12:00:500421デフォルトの名無しさん
2007/01/03(水) 12:09:36main 関数の返す値が最終的に実行される。
Perl や JavaScript で、プログラムを内部的に文字列として生成して、
最後に eval で実行するような状況に少し似てる。
2. 関数 square n と n*n とが等値であることを定義しているだけ。
数学では = ってのは左辺と右辺が等しいことを表すよね。
x + 2y = 4 とか、f(x) = 2x + 1 とか。あれと同じ。
0422デフォルトの名無しさん
2007/01/03(水) 12:13:31>アクションとはIO aを返す関数のことです
アクション(動作)はIO a型の値のことじゃないか？
たとえばputStrは文字列を取って動作を返す関数。
putStr "Hello"は動作。
0423デフォルトの名無しさん
2007/01/03(水) 12:48:55プログラミング指向の論文を読んでいると、
引数または返値に"IO a"を含むものをfunctionとは呼ばずにactionと呼んでいる事が多いので、
そう書いたんだよ。
0424デフォルトの名無しさん
2007/01/03(水) 12:50:080425デフォルトの名無しさん
2007/01/03(水) 13:05:45代入ではないんですね。
どうも混乱してしまって・・・
cでいう
# include <stdio.h>
int main (void)
{
int y = 0;
y = sqare(3);
printf("%d\n",y);
}
int sqare (int n)
{
n = n*n;
return n;
}
のn = n*n;とは別なんですよね?
0426デフォルトの名無しさん
2007/01/03(水) 13:10:07IOっていうのが味噌なんですね。
それとｃのプログラム、関数宣言してないですけど、許してください。
0427デフォルトの名無しさん
2007/01/03(水) 13:41:21意味的には似てるけど、
たとえば、Cではsquare(2)とすれば、それがその場で実行されて4という値として扱われるけど、
Haskellでは(square 2)そのものとして扱います。
まず、IO a -> a という事はできません(IOがいったんくっついたら取り外すことはできないの）ので、
Haskellではmainを評価することで実行されますが、
最終的にはmainまで … -> IO aというのを続けて書いていかないとダメなの。
main関数の型は main :: IO () ですよね。
0428デフォルトの名無しさん
2007/01/03(水) 13:42:50square n = n * n
に近い書き方は、
int square(int n) { return n*n; }
だね。
逆に、
int sqare (int n) { n = n*n; return n; }
に近いのは
square n
= let m = n * n
in m
0429デフォルトの名無しさん
2007/01/03(水) 22:39:29main = do func 1
これ ghc だと通ったんですけど、この場合の func の型は何ですか？
0430デフォルトの名無しさん
2007/01/03(水) 23:54:510431デフォルトの名無しさん
2007/01/04(木) 00:50:26よく参照されるやさしい Haskell 入門ですら、
関数自身の事を表す事もあれば、値を表す事もあるんだよな。
http://www.sampou.org/haskell/tutorial-j/io.html
例えば、7.1 の最初の文
＞各 I/O のアクションはそれぞれ値を返します
は関数自身をアクションと呼んでるように見えるし、
その直後の
＞これはアクションを他の値と区別するためです
は値をアクションと呼んでるように見える。
どちらもアクションと呼ぶのか、それともいい加減なだけなのか。
どっちなんだろ？
>>425
square n が n * n と等値。
無意識に square と n の間に理解の区切りを設けてるみたいだけど、
そんなものはないと考えた方がいい。
0432425
2007/01/04(木) 16:24:19square n = n*nは理解できました!
関数squareは仮引数nを一つとる関数で、その本体はn*nという理解でよいんですね。
関数とアクションの違いは、まだ勉強不足で理解は出来ていないですけど、
IOが味噌なのは分かりました。
話は変わりますけど、文字列が文字のリストなんて、HaskellはCみたいですね。
0433デフォルトの名無しさん
2007/01/04(木) 18:40:300434デフォルトの名無しさん
2007/01/05(金) 14:06:19すいません、配列とリストって何が違うのでしょうか?
調べてみたんですが良く分かりませんでした。
例えば
# include <stdio.h>
int main (void)
{
char *string = { "Hello"};
printf("%c\n",string[2]);
return 0 ;
}
みたいにリストって言うのは、配列とポインタの組み合わせとその操作と思っていたんですけれど
違うのでしょうか?
0435デフォルトの名無しさん
2007/01/05(金) 14:27:300436デフォルトの名無しさん
2007/01/05(金) 15:04:12Haskellでいうリストは「単方向リンクリスト」のこと。
0437デフォルトの名無しさん
2007/01/05(金) 15:41:320438デフォルトの名無しさん
2007/01/05(金) 16:05:390439デフォルトの名無しさん
2007/01/05(金) 16:08:13実際のリストは、こんな感じのデータ構造を
適当につなぎ合わせて作られている。
struct Object {
enum {PAIR, INTEGER, STRING} type;
union {
struct {struct Object *head, *next;} pair;
int integer;
char *string;
} body;
};
0440デフォルトの名無しさん
2007/01/05(金) 16:09:53http://www.metabolome.jp/ja/biochem/bioinfo/list.pdf/view
0441デフォルトの名無しさん
2007/01/05(金) 16:21:40それは余りに違いすぎないか？
型タグはない実装が多いだろうし、その定義だと遅延しない。
0442デフォルトの名無しさん
2007/01/05(金) 16:24:430443デフォルトの名無しさん
2007/01/05(金) 16:39:23頭の中のモデルとしてはこれで十分。
っていうか、実装の話をしだしたらキリがないだろ
0444デフォルトの名無しさん
2007/01/05(金) 16:58:38わざわざ型タグを含めたObject型を持ち出しているから、実装に忠実な
データ構造を提示しているつもりかと思った。
>頭の中のモデルとしてはこれで十分。
遅延を考慮しないなら十分だろうが、そういう単純化した
モデルとしてなら無駄が多くないか？
struct node
{
void *head;
struct node *tail;
};
で十分だと思うが。
0445デフォルトの名無しさん
2007/01/05(金) 17:18:17文字列とかの "本物のデータ" が
どう収まるか説明しないと、
普通はイメージが湧かない思う。
まぁ、その判断は >>434 に任せるが・・・
0446デフォルトの名無しさん
2007/01/05(金) 17:28:410447デフォルトの名無しさん
2007/01/05(金) 17:47:170448デフォルトの名無しさん
2007/01/06(土) 14:36:31でも何でこれってあちこちIO付きなの?
0449デフォルトの名無しさん
2007/01/06(土) 18:59:17なぜData.Mapみたいなインタフェースじゃないか、という疑問なら、効率の問題。
Data.Mapのようなインタフェースだと、配列に操作(たとえばinsert)を施した後、
操作前の配列と操作後の配列の両方を操作しえるので、この二つを別々に
保持しておかないといけない。(ナイーブには毎回コピーをとればよい。
もっと低コストな方法もあるだろうが、いずれにせよオーバーヘッドがある)
実際Data.HashTableのようなIOの絡んだインタフェースなら、
常に最新版しか操作できないので、単純なメモリ上の破壊的操作で実装できる。
なぜSTじゃなくてIOなのかという疑問なら、俺にも判らん。
0450448
2007/01/06(土) 23:35:56ども。Haskell初学者なので処理系の中の人の気持ちはあまりわからんけど、
破壊的操作を用いて実装すれば実行時効率がよいことは理解できる。ありがとう。
STってのはControl.Monad.STのこと?
GHC付属文書での記述を軽く眺めてみたけど、さぱーりだった…
で、便乗して別の質問。Data.Map的なインタフェースを持つ型について。
その型の変数xがあって、内容を一部変更した値を変数yに格納して、
変数xの内容を完全に破棄したとき、「いつでも全体をコピーしたりはしない」
ことはわりと期待してもよいもの?
0451デフォルトの名無しさん
2007/01/07(日) 11:37:43感謝の言葉が遅くなってしまい申し訳ありません。
>>439,444
実際のコードの提示、有難うございます。
>>435,436,437,438,440,441,442,443,445,446,447
ご助言有難うございます。
リストの事はC言語による最新アルゴリズム辞典という本を買ってきて解決しました。
もうひとつ質問です。
文字のリストと文字列の事についてなのですが、
Haskellではこの二つは全く同じで
ある関数がstringを引数にとるなら文字列として扱われて、
[char]を引数にとるなら、文字のリストとして扱われる、
という理解でよいのでしょうか?(ふつうのHaskell、p68から質問です。)
0452デフォルトの名無しさん
2007/01/07(日) 11:38:11なんとか良いプログラミングスタイルないですか？
0453デフォルトの名無しさん
2007/01/07(日) 11:39:430454デフォルトの名無しさん
2007/01/07(日) 11:39:54中身では、
type String = [Char]
ということになってるのかな。
だから、Stringも[Char]も同じ。
0455デフォルトの名無しさん
2007/01/07(日) 11:45:58そういう場合って、SICPで勧めているプログラミングスタイルだと二度手間になってしまいますよね。
0456デフォルトの名無しさん
2007/01/07(日) 11:58:00unsafePerformIOでIOを外しちゃえばいい。
0457デフォルトの名無しさん
2007/01/07(日) 12:23:20最初から上位の関数にIOをつけておけば良い。
0458デフォルトの名無しさん
2007/01/07(日) 13:03:05たとえば、設定ファイルの読み込みとかの用途だとそれでも良いかもしれないが、
unsafePerformIOだと実行順序が規定されなくなってしまうでしょ？
>>457
すべての関数にIOをつけると、ものすごく再利用しにくくて汚いコードになると思うのですが・・
0459デフォルトの名無しさん
2007/01/07(日) 13:12:29全体として実行順序が規定されていなきゃいけない処理なら
IOが必要な部分だからそのままでいいのでは。
0460デフォルトの名無しさん
2007/01/07(日) 13:53:54ライブラリの関数や、部品としての再利用を目的とした関数なら、
将来にわたって入出力をしないと確信を持って言えることがおおいだろうから、
そういう場合にはIOなしで問題ない。
逆に、部品としての再利用性よりも変更に強いことが求められる部分
(アプリケーションのなかで比較的上位の(mainに近い)部分とか)は、たとえ現時点で入出力が
絡まないとしても、IOをつけておいて損はないと思う。
0461デフォルトの名無しさん
2007/01/07(日) 14:07:09>STってのはControl.Monad.STのこと?
そう。IOと同様にメモリ操作のできるモナドだけど、
IOと違って入出力には使えず、その代わりrunSTを使って外せる。
>ことはわりと期待してもよいもの?
なんともいえない。
たとえばtailはコピーを一切しないで実装されてる
(結果のリストと元のリストは完全に共有される)し、
Data.Map.insertの結果も大部分を元のmapと共有する。
一方で、initはリスト全体をコピーするし、Data.Array.Array
ではすべての変更操作ごとに配列全体がコピーされる。
(効率のために、なるべくたくさんの操作を一回にまとめて適用できるようになっているけど)
0462デフォルトの名無しさん
2007/01/07(日) 14:42:41モナドより使いやすいものは無いものだろうか。
0463デフォルトの名無しさん
2007/01/07(日) 16:04:080464デフォルトの名無しさん
2007/01/08(月) 01:14:53Data.Array は書き換えのたびに全体をコピーしている。ただし MArray を使えばモナド操作で一部の書き換えが可能。
リストの init はコピーを発生するが、 ByteString の init は定数時間でコピーを発生させない。
Data.Sequence はそれなりの償却コストがかかる。
というようにデータ構造によってそれぞれ違うから、「ドキュメントを読みなさい」というのが正解。
下位の関数の出力がIOでも、それに fmap で純関数を適用すればいいのでは。
綺麗に書きたいなら Control.Applicative が使えるかもしれない。
0465デフォルトの名無しさん
2007/01/08(月) 16:36:54可能なら、どうやったらよい?
知りたいのは、実行したプログラムのどこにどの程度の処理時間がかかっているか、
各関数は何回評価されたか、ってあたり。トータルじゃなくて内訳を見たい。
0466デフォルトの名無しさん
2007/01/08(月) 17:19:06GHCを使ってるなら、-prof -auto-all付きでコンパイルして、
できた実行ファイルを+RTS -p付きで実行すると、
<実行ファイル名>.profというファイルにプロファイル結果が出力される。
詳しくはGHCのユーザガイドを読んでくれ。
0467デフォルトの名無しさん
2007/01/08(月) 17:26:45例:
ghc --make hoge.hs -o hoge.exe -prof -auto-all
hoge +RTS -p
type hoge.prof
Gtk2Hsのサンプルで.profファイルのビュアーがあるみたいね。
http://sourceforge.net/project/screenshots.php?group_id=49207&ssid=5881
0468デフォルトの名無しさん
2007/01/08(月) 22:34:49thx。
ユーザガイドのまるまる1章がProfilingなのね。
ざっと眺めただけだけど、heap profilingなんかは使い込むと便利そうだ。
まずは書いてもらった基本操作から使ってみるよ。
0469デフォルトの名無しさん
2007/01/10(水) 11:02:23Haskellでは空リストがリストの終わりを表すと聞きました。
では、map関数を使って空リストに関数を適用させることは出来ないのでしょうか?
0470デフォルトの名無しさん
2007/01/10(水) 11:11:25実際に組みながら覚えるのが良いんだろうけど・・・
自分としては最終的にはモナディウスみたいなゲームを作ってみたいのですが
グラフィックを扱うプログラムって、初心者には敷居が高いんですかね？
初心者がHaskellを覚える為に組むとしたら、どんなものがオススメですか？
抽象的ですみませんが、皆さんがどんなプログラム組んで覚えたかでもよいので教えてください。
0471デフォルトの名無しさん
2007/01/10(水) 11:23:59空リストがリストの終わりを表すのではなくて、空がリストの終わりです。
プログラミング的には空リストをリストの終わりとして処理しています。
空に関数を適用できません。
>>470
グラフィックスを扱うのはIO周りの事がよく理解できていれば可能だと思います。
0472デフォルトの名無しさん
2007/01/10(水) 11:25:500473デフォルトの名無しさん
2007/01/10(水) 11:28:370474デフォルトの名無しさん
2007/01/10(水) 11:28:40ゲームプログラミングには Haskell は向いてないと思う。
>469
それくらいやってみりゃいいだろ。なんでいちいち聞くの。
Prelude> map id []
[]
というかなんで出来ないと思うのかがわからん。
0475デフォルトの名無しさん
2007/01/10(水) 11:32:07>空に関数を適用できません。
これはひどい。
0476デフォルトの名無しさん
2007/01/10(水) 11:33:32だったら空リストじゃなくて空に関数適用するようなHaskellコード書いてミロや！！！！
0477デフォルトの名無しさん
2007/01/10(水) 11:47:52あんたの空と空リストの定義がおかしいだけ
空リストは空そのものとして定義される。これは仕様書にもある。
0478デフォルトの名無しさん
2007/01/10(水) 12:53:52回答有難うございます。
結局空のリストに関数適用はできるという理解でよいのでしょうか?
Prelude> map id []
[]
このidという関数はどういう定義なのでしょうか?
また、
Hugs> map id [[],[],[]]
[[],[],[]]
という事も出来たのですが、この場合map関数は
「空リストのリスト」の最後に空リストがもう一こ上のレベル?で有るから
「空のリストのリスト」は終わりと判断して再帰を終わらせるという理解で良いでしょうか?
0479デフォルトの名無しさん
2007/01/10(水) 13:37:57まぁいいから外にでて空を見上げてみろ、今日は良い天気だ、「のどか」って書いてないか？
0480デフォルトの名無しさん
2007/01/10(水) 14:09:220481デフォルトの名無しさん
2007/01/10(水) 14:34:16「屋外にでて上を見上げて」なら推論可能？
0482デフォルトの名無しさん
2007/01/10(水) 15:33:24idとmapの定義は
id :: a -> a
id x = x
map :: (a -> b) -> [a] -> [b]
map f [] = []
map f (x:xs) = f x : map f xs
この定義に従って、
map id [[],[],[]]
=> map id ([] : [[],[]])
=> id [] : map id [[],[]]
=> [] : map id ([] : [[]])
=> [] : (id [] : map id [[]])
=> [] : ( [] : map id ([] : []) )
=> [] : ( [] : ( id [] : map id [] ) )
=> [] : ( [] : ( [] : [] ))
=> [] : ( [] : [[]] )
=> [] : [[], []]
=> [[], [], []]
のように計算される。
0483デフォルトの名無しさん
2007/01/10(水) 16:34:21そんな記述はどこにもない。
あるというならどの文献のどのページにあるのか言ってみろ。
0484デフォルトの名無しさん
2007/01/10(水) 16:42:380485デフォルトの名無しさん
2007/01/10(水) 17:49:05すみません、
Prelude> map succ [1,2,3]
[2,3,4]
を実行するとちゃんと実行できるんですけど、
Prelude> map succ [[],[],[]]
<interactive>:1:4:
No instance for (Enum [a])
arising from use of `succ' at <interactive>:1:4-7
Probable fix: add an instance declaration for (Enum [a])
In the first argument of `map', namely `succ'
In the definition of `it': it = map succ [[], [], []]
を実行するとあまりうれしくない結果が出てきます。
どうしてですか？[]は何型なのでしょう・・・
0486デフォルトの名無しさん
2007/01/10(水) 17:51:370487デフォルトの名無しさん
2007/01/10(水) 17:55:36> square n が n * n と等値。
ええ？！じゃあ、たとえば、
test :: Int -> Int
x * x = test x
ってコンパイル通るんですか？！
0488デフォルトの名無しさん
2007/01/10(水) 19:57:43>どうしてですか？[]は何型なのでしょう・・・
結局の所、map succ [[], [], []] = [succ [], succ [], succ []]だから、
そのエラーはsucc []を実行しようとして失敗したってこと。
なんで失敗するかと言えば、succの引数はEnumクラスのインスタンスじゃないとダメなのに
[] は [a]型でEnumクラスのインスタンスではないから。
HugsとかGHCiでは関数とか値の型は :t 〜 って入力すればわかる。
例えば map succ の型を知りたい時は、
Prelude> :t map succ
map succ :: Enum a => [a] -> [a]
■ このスレッドは過去ログ倉庫に格納されています