今日は 第5章:高階関数 高階実演 (位置 1661/11175)読み進めました。
flip の実装は思いつけませんでした。
flip' :: (a -> b -> c) -> b -> a -> c flip' f = g where g x y = f y x
の where 以下のような記述が思いつくようにできるようになるまでにはもう少し時間がかかりそうです。
今日は 第四章: Hello再帰! さらにいくつかの再帰関数 のzipまで(位置1400/11175)読み進めました。
再帰関数はなるべくテキストを見ないで自分で実装してからテキストで答え合わせをするという方法で進めました。
take の実装でガードで otherwise を使わずに次のパターンマッチにマッチさるというのを思いつかず上手く実装できませんでした。
take' :: Int -> [a] -> [a] take' n _ | n <= 0 = [] take' _ [] = [] take' n (x:xs) = x:take' (n-1) xs
これを見たあとで、このテクニックを使わなくても実装できると思ってこういう実装を書いてみました。 haskell 的にどちらの実装が適切かはまだ理解していません。
take'' :: Int -> [a] -> [a] take'' _ [] = [] take'' n (x:xs) | n <= 0 = [] | otherwise = x : take'' (n-1) xs
今日は 第三章: 関数の構文 where?! まで(位置1204/11175)読み進めました。
-- が行コメントの始まり、{- -} で囲むとコメントになるという事です。{-# OPTIONS -Wall #-} と設定したので、サンプルのままだと警告が表示されました。
This binding for `all' shadows the existing bindingall が既に束縛済みという事なので、別な名前にしました。Defaulting the following constraint(s) to type `Integer'height ^ 2 を height ^ (2 :: Int) のように型を明示しないといけないようです。今日は 第三章: 関数の構文 パターンマッチの途中(位置1086/11175)まで読み進めました。
head' :: [a] -> a head' [] = error "Can't call head on an empty list, dummy!" head' (x:_) = x
では x:_ を丸括弧で囲わなくてはいけないけど
badAdd :: (Num a) => [a] -> a
では (Num a) の丸括弧は不要のようで、今ひとつ演算子?の優先順位が感覚的に理解できていません。
ソースコードファイルの先頭に
{-# OPTIONS -Wall #-}
と書くと読み込んだ時に警告を表示してくれるので便利とのことなので、そうすることにしました。
もう会社員ではないので新年度といっても特に何もないのですが、何か新しい事を始めようと思って今日から Haskell の勉強を始めました。一日2時間程度の時間を割くつもりです。
一応、３日坊主にならないように blog に記録をつけることにしました。
今日は、とりあえず何時も使っているデスクトップに haskell-platform をインストールしました。 (といっても lubuntu なので $ sudo apt-get install haskell-platform とタイプしただけ )
また vim に GitHub - raichoo/haskell-vim: Custom Haskell Vimscripts を入れました。
とりあえず一番優しそうな すごいHaskellたのしく学ぼう！ を読み始めました。
今日は、第一章：はじめの一歩 のリスト内包表記の途中まで読み進めました。
しばらく、ガラケー + Nexus 7 という構成でスマートフォンを使わない生活をしていましたが、 Fx0 という Firefox OS のスマホが AU から発売されたので、ガラケーを機種変更して購入しました。
店内が少し暗いのですが、そこそこ良く撮れています。
https://dl.dropboxusercontent.com/u/1427632/IMG_0004.jpg
あとこの機種とは関係ないんだけど Line を複数の端末にインストールすると前の端末で情報が消えてしまうのを初めて知りました。
