04102012 Haskell
Yesodの本を読んでいて、Type Familiesでいきなり躓いた。
class SafeHead a where type Content a safeHead :: a -> Maybe (Content a)
の type Content aでContentってなんで必要なの？という。
Content a :: *
なんだろうけど
a :: *
にはならんのかね？
Developing Web Applications With Haskell and Yesod「型引数を取って結果の型を返す、型レベルの関数」という表現から抽象への理解がぱっと上がった気がする。
わかってしまうと最初の方の疑問は寝ぼけたものだった。Haskell面白い。
04102012 Haskell
リスト内包表記とリストモナドのdo表記の関係性がわからない場合にはReal World Haskell 14章のUnderstanding the list monadか、すごいHaskellの13章を読んでおくと良いです。
栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.4.2 (7.3.11)
モナド内包表記はリスト内包表記をあらゆるモナドに一般化したものである。これには並列内包表記(7.3.9. 並行リスト内包表記)と変換内包表記(7.3.10. 一般化(SQL風)リスト内包表記)を含む。
MonadComprehensions拡張を有効にして呼び出す。分かりやすいMaybeモナドで
$ ghci -XMonadComprehensions GHCi, version 7.4.1: http://www.haskell.org/ghc/ :? for help Prelude> Prelude> [x+y | x <- Just 5, y<- Just 3] Just 8 Prelude> [x+y | x <- Just 5, y<- Nothing] Nothing
Maybe箱に入って出てきますね。MaybeはもちろんMonadPlusのインスタンスなのでガードが使える。
Prelude> [x+y | x <- Just 5, y<- Just 3, x < 3] Nothing
続いてEitherを。これはControl.Monad.Errorを使う。
Prelude> :m +Control.Monad.Error Prelude Control.Monad.Error> [ x+y | x <- Right 5, y <- Right 3] Right 8 Prelude Control.Monad.Error> [ x+y | x <- Left "not a number", y <- Right 3] Left "not a number"
Stateモナドだってできるぞ。
Prelude Control.Monad.State> runState [x | x <- get] 3 (3,3)
しかしこれは読みにくい。
Fedexは宅配ボックスに入れておいてくれないとか再配達に同期するタイミングがつかめないとかプチトラブルはあったけど無事に到着した。
軽いし片手で持てるので電子書籍リーダーとして使うには良い感じかも。
早速Yesodのepubを購入した。
そして読む
03102012 Ti
緑の本読んだら、これを読むのがいいかも。
Appcelerator Titanium Smartphone App Development Cookbook参考になったテク
02102012 work
アジャイルとは結局のところ何なんだろう？という疑問が再浮上してしまった。
アジャイル・ソフトウエア開発を、トヨタの生産方式とし知られる「リーン思考」の視点から解説したユニークなアジャイル解説本です。「ムダをなくす」という意味のリーン思考と「俊敏さ」を主眼とするアジャイル開発とは、根本的なところで実は同じ考え方であり、方法論としても共通するところが多くあります。
ソフトウェア開発は製造と大きく異なるが、創薬もソフトウェア開発と大きく異なると思う。
開発はレシピの作成であり、製造はレシピにしたがって料理をつくることであると考えていい。
という文脈にならうのであれば、創薬とはレシピの発見である。つまり見つかるかもしれないし、見つからないかもしれないという不確定さが常につきまとう。
7つのリーン原則
だれも読まないペーパーワークは価値を付加しない
バリューストリームマップも重要
ある程度の新しい情報を得るためには、ある程度の失敗率がなくてはならない
イテレーションをくり返すなかで、自然と設計が浮き彫りになってくるようなシステムの作り方をすると、開発中に発生する変更に対応しやすいロバストな設計ができあがる
問題解決に関しては
深さ優先の手法は、照準を合わせる領域を正しく選択した場合にのみ、うまくいく
プルシステムの特徴は「見える化」つまり目で見るマネジメント
「ヒトは生産性の測定対象となる計測結果を最適化しようとする」ので測定対象は慎重に選ばないといけない。
オースチンの指摘
個人の成果計測値を個人に帰するのではなく集合化することが重要だ
01102012 Haskell
三島Haskell無名関数の会でHaskell熱が復活したので、PLEACをちょっとやってみた。
mapM inet_ntoa =<< liftM hostAddresses (getHostByName "google.co.jp")
こういうのをbind使わず俳句を読むようにスラスラ書けるようになりたいものだ。
01102012 life
いいこと書いてあるけど、処方箋っぽすぎて奥行きが感じられなかったけど、クックブック的に使うものなのだろうな。
価値提案とは、顧客の抱えている問題を解決し、ニーズを満たすもので、顧客がなぜその会社を選ぶのかという理由になります
ビジネスモデルキャンバスは便利。
とかは読んでいて楽しかったけど、小さくはじめるというか個人ベースでスタートするなら、考具とかアイデア・バイブルのほうがいいんじゃないかな。
30092012 Haskell
この前の三島Haskell無名関数の会でTemplate Haskellの話が出たけど僕は殆ど使ったことないなぁと。
Yesod使うと多用するようになるのかな？
openbabelみたいなライブラリにHaskellにあれば、化学反応を行うDSLを書いてみたいと思うんだけど。
それから HSOEが読みかけだったのを思い出したので再開しよう。
The Haskell School of Expression: Learning Functional Programming through Multimedia30092012 Ti
5章の食べログとの連携をやろうとしたんだけど、食べログAPIは住所や電話番号といった細かい個人情報を登録する必要があり気持ち悪かったので、登録せずに読み流すだけにした。
というわけで、一通り読んだ。
黒い方の本を最初に読んだのだけど全体像がつかめなくて、緑のほうをススメられたので読んでみたら緑ののほうがわかり易かった。
ただ、Titanium Studioの説明がないので、黒い本を読むかネットの情報を少し漁る必要があるかなと思う。
用途にもよると思うけどjQuery Mobileで作るようなweb的なレイアウトのものは最初からTitanium Mobile利用してもいいかなと思った。
あとは簡単なゲームを作ろうと思ったら、objective-cで書く必要があるよなという感じで、cocos2d for iphoneぐらいは使えるようになっておこうと。
29092012 javascript Spine
クライアントサイドフレームワークbrunchでアプリを作ってみたが面白かったので、Spine.jsで書いてみた。
jQueryUIをslug.jsonに含めるとjQueryが定義されてないというエラーになるので、application.jsを実行した後に読み込んでいる。
resizeイベントにバインドすると固まるのでデモではサイズの状態が保存されないようにしているが、ドキュメント見てたらresizeStopにバインドすればいいような気がしてきた。というわけでjQueryUIとの連携のさせ方もわかった。
ほかにCSSまわりのTipsも勉強になった。cursorプロパティ初めてなのとinline-blockの使いどころとか。もっとCSS覚えなきゃならないことも理解した。
すごいHaskellたのしく学ぼう!
リーンソフトウエア開発～アジャイル開発を実践する22の方法～
Real World Haskell―実戦で学ぶ関数型言語プログラミング
ビジネスモデル・ジェネレーション ビジネスモデル設計書
考具 ―考えるための道具、持っていますか?
アイデア・バイブル
Titanium Mobileで開発するiPhone/Androidアプリ (Smart Mobile Developer)
Titanium Mobile iPhone/Androidアプリ開発入門―JavaScriptだけで作る