九日目

YAPC会場の三角形の中にいます

第6章

モジュール、まあ要するに import 的なものでしょ

京都に18切符で帰る途中で。

nonyIndexNum :: (Eq a) => [a] -> [a]　-> Int
nonyIndexNum x y = length . filter (isPrefixOf x) $ tails y

putStrLn $map (chr.(+1).ord)　"わたしたちはここにいます"
=> "ゐだじだぢばごごぬぅみず

ゾンビ感出てきていいと思う.

succ $ length . takeWhile (/=40) $ map  (sum . map digitToInt . show) [1..]

ともとめてて、find と比べたらリストいちいち作ってリソース食うかなあと言ってたら隣からそれは length がある時点で数だけ数えてるから大丈夫という音波を受け取った。

連想リスト、javaだと map だからなあ
- java map とかで調べると HashMap しか出てこないし
findKey, snd $ find (\x -> fst x == "a") [("a", 1)] では無理だった
- Maybe 型はまた別らしい。
  - Maybe 型に足し算とかどうするんだろう
- このコードを書いていたら浜名湖通りすぎて見れなかったので悲しい
Map あるのか。
- 順序比較が必要。
Map.fromListWith 便利関数だ

クラス！と思ったら型クラスだった

:t Shape => <interactive>:1:1: Not in scope: data constructor \Shape'`
- まあ Bool もそうだし。
- 型クラスでこういうことやってもそりゃ無理そう。
その下の area で２つの型コンストラクタに関する処理を書いている
Circle は値コンストラクタなので、Circle -> Float みたいにはできない
- Circle は Float -> Float -> Float -> Shape
deriving は implements 的なアレ?かと思ったけど勝手にやってくれるのか。便利
関数っぽいなあと思ったらやっぱり関数だった
データ型もエクスポートできる
- 関数のとこに型の名前をかく
- 括弧をつけなければ、値コンストラクタはエクスポートされない
  - 隠蔽できる
  - がパターンマッチもできなくなる