月: 2006年6月

引数の順序

　cf. 結城浩のHaskell日記 – type宣言

とりとめもない話なんだけど。
エントリのなかに isPrefixOf という関数がでてくる。

xs `isPrefixOf` ys

は文字列 xs が ys のプレフィックスである時に True を返すんだけど，この xs と ys の順序について。

上のように中置形式で書くという前提なら，「xs が ys のプレフィックスのとき True」というのは素直に納得できる。
じゃあ，普通に関数名を前に置いて書いたらどうか。

isPrefixOf xs ys

これって見た目には，どちらかというと「ys が xs のプレフィックスのとき True」，つまり中置き形式のときとは逆じゃないかな。さらに，部分適用してこんな関数を考えてみるとなおさらそんな気がする。

isPrefixOfXS = isPrefixOf "is it prefix of xs?"

いや，こんな関数はあまり有用には思えないからいい例じゃないんだけど。

前置も中置もどちらもおなじ，というのを合わせて考えると，引数の順序もなんだか悩ましいなぁ，と。

『ふつうのHaskellプログラミング』

夕べ帰ったらAmazon.co.jpから届いていた。

[amazonjs asin=”4797373970″ locale=”JP” title=”ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門”]

だけど，今週はちょっと読む時間がない。
『入門Haskell―はじめて学ぶ関数型言語』 もまだ消化しきれてないし。
まぁ，焦っても仕方がない。ゆっくり行こう。

高階関数版 filter’

下のエントリは前段でこっちが本題。id:hyukiさんとこにコメントをつけたんだけど，忘れないようにこっちにも書いておく。

filter' f xs = foldr (\m n -> if f m then m:n else n) [] xs

結果。

*Main> take 50 $ filter' odd [1..]
[1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,53,55,
57,59,61,63,65,67,69,71,73,75,77,79,81,83,85,87,89,91,93,95,97,99]

major

リスト中に，関数 f（述語って言うの？）を満たす要素のほうが多ければ True をかえす，というのを考えた。all と any の中間みたいなもの。

major f xs = (length $ filter f xs) > (length $ filter (not . f) xs)

結果。

*Main> major odd [1..5]
True
*Main> major even [1..5]
False

地道に数を数えるならこうかな。

major f xs = fst count > snd count
  where count = foldl (\(ct, cf) x -> if f x then (ct+1, cf) else (ct, cf+1)) (0,0) xs
*Main> major odd [1..5]
True
*Main> major even [1..5]
False

はてなグループとコメントについて

id:takatoh:20060604:group についた hyuki さんのコメント。

参加ありがとうございます。ところで、コメントつけるときに「グループに参加」というのはどういう状況でしたか？いちおう誰で も書き込めるようになっていたはずですが…。

たぶん，はてなにログインした状態でコメントしようとしたので，グループに参加するよう促されたのではないかと思います。回避する方法があったのかもしれませんが，別段，断る理由もなかったのでそのまま参加しました。

ところが。

つけたコメントの，名前の部分がリンクになってるんですが，そのリンク先がここじゃなくて Haskellグループ内の日記（使ってないのでカラ）になってしまってます。これはどうしたらいいんだろう。時間があいたら調べてみます。

レコード

レコードは代数的でないデータ型。C の構造体のようなもの。うまい例を思いつかないから，本に載ってるのをそのまま書くとこんな感じ。

data Point = Pt {x :: Integer, y :: Integer}

x，y をフィールドといい，それぞれ Integer 型の値を取る。具体的に値を定義するにはこうする。

Pt { x = 1, y = 4 }

代数的データ型を使っても同じようなことはできる。データ構成子が複数の引数を取ることにすればいいし，タプルにしてもいい。これらとレコードが違うのは２点。

  • 名前がついているのでわかりやすい。
  • フィールド名が，同時にフィールドにアクセスするための関数になっている。

２つ目のほうはこんな感じだ。

*Main> x Pt {x = 2, y = 3}
2

x という関数が定義されてるってことだな。

*Main> :t x
x :: Point -> Integer

さて，じゃあおなじフィールド名を持つレコードを宣言するとどうなるか。

data TP = Tp { x :: Int, y :: Int } deriving (Eq, Show)

data Point = Pt { x :: Integer, y :: Integer } deriving (Eq, Show)

これを GHCi にロードすると

Prelude> :l record.hs
Compiling Main             ( record.hs, interpreted )

record.hs:3:18:
    Multiple declarations of `Main.x'
    Declared at: record.hs:1:15
                 record.hs:3:18

record.hs:3:32:
    Multiple declarations of `Main.y'
    Declared at: record.hs:1:25
                 record.hs:3:32
Failed, modules loaded: none.

あー，やっぱりだめなわけね。

型シノニムと新しい型

型シノニム（type synonym）とは，既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。
型シノニムを宣言するには type 宣言を使う。

type String = [Char]

newtype 宣言は「新しい型」を宣言する。type 宣言と data 宣言の中間的なもので，実体は既存の型とおなじであっても，元の型とは違う扱いをしたい，という場合に使うらしい。たとえば「実体は整数だが負の値は取らない」みたいな。
でもこれ，具体的な宣言の仕方が書いてない。まあ，あまり使わないのかな。