28122012 Python SQLAlchemy
同じ外部キー同士の組み合わせが重複して登録されないようにしたい。Objectでチェックするよりはデータベースに任せたかったのでこんな風にしてみた。
patents_tags = db.Table('patents_tags', db.Column('tag_id', db.Integer, db.ForeignKey('tag.id')), db.Column('patent_id', db.Integer, db.ForeignKey('patent.id')), db.UniqueConstraint('tag_id', 'patent_id', name='tag_patent') )
ちなみに単に複数の属性をuniqueにしたいんだったら__table_args__を使えばよろしい。
28122012 work Haskell javascript coffeescript Ti
今年読んだ本で良かったもの。
これはピカイチだった。RWHで停滞感が漂いまくっていた僕のHaskell理解力がかなり上がったのは間違いない。そういえば、最近Haskellしか書いてないなぁと2012年のエントリに付けられたタグを数えたらHaskell 90, Python 70, javascript 44だった。
あとはtwitterで色々教えてもらったりとか、三島Haskell無名関数の会が出来てモチベーションが上がったりとか色々タイミングが良かったということもあるが。来年も引き続きハスケりたい。
型というか、閉じている、自己同型といったイメージは数学ガールが良いかも
自分の仕事にアジャイルな要素を入れたいというのはここ数年ずっと考えていて、やっと来年すこし取り組めそうで嬉しい。
僕のチケット駆動に対する期待は、創薬研究への応用なので、チケット駆動開発の背景にある考え方がぎっしり詰まった本書は、色々な発見や再発見があったり、今の仕事のアナロジーを見つけたりとかなり満足度の高い本だった。
今年システムを少し運用してみて、意識の高低のバラツキを吸収する仕組みとしてゲーミフィケーション的なものも考えて行かないといけないし、受動的な情報伝達手段も考えて行かないといけないなぁと感じた。
（そもそも潜在的に）意識の高いマネジメント層は、能動的に情報アクセスしない研究者層（というより労働者層）が存在することを理解できないので、「そんなのホームに登録しておけばいいだけなんんじゃないか？」なんて言うんだけど、それすら能動的な情報アクセスなんだよなぁ。
デジタルサイネージのようなものにも手を出してみたい。
今年はクライアントサイドのMVCも熱かった。去年Javascriptを勉強してた時には、まさかiPhoneアプリの方に進んでいくとは思わなかったが。
ステートフルJavaScriptはjavascript MVCフレームワークの本でSpine.jsの解説に近い。そしてこの知識はTitanium MobileでJavascriptを使ったiPhoneアプリ開発で役立つ！
AlloyはTitaniumのためのMVCフレームワークでBackbone.jsを使ってつくられている。これを使うとjavascriptを利用してiPhoneアプリとかAndroidアプリが作れちゃうわけだ(下のエントリ参照)。
バージョンあげたら実機転送がうまくいかなくなって、最近は停滞気味ですが、来年はもうちょっと力を入れて取り組みたいと思っている（なんかアプリをリリースしたい）。
それから僕はCoffeeScriptが好きなので使っていますが、他にもNode.jsのテンプレートエンジン(Jade,eco,ejs)なんかも使えるので好みの開発スタイルを探求するためにCoffeeScriptやNode.jsの入門書もあわせて読んでおくとよいかも。
27122012 Haskell
snap init しないで動かす場合は、ハンドラとルータを書いてquickHttpServeで動かせばいい。
ハンドラの型がSnap ()で、route関数をパスとハンドラの組みのリストに適用した結果もまたSnap ()型なのはなんとなく不思議だなぁと。
{-# LANGUAGE OverloadedStrings #-} import Snap.Core import Snap.Http.Server hello :: Snap () hello = writeText "Hello, Snap!" app :: Snap () app = route [("/", hello)] main :: IO() main = quickHttpServe app
snapのソースコードを読んでみるのもイイかもしれないと思った。
26122012 Haskell
24 Days of Hackageを見つけたので楽しく読んでいた。
面白かったのが
特にoptparse-applicativeはpythonのoptparseに似ていて使いやすそうだった。
こんな感じでオプションのパーズとかhelpなんかをよろしくやってくれる。
import Options.Applicative data Sample = Sample { hello :: String , quiet :: Bool } sample :: Parser Sample sample = Sample <$> strOption ( long "hello" <> metavar "TARGET" <> help "Target for the greeting" ) <*> switch ( long "quiet" <> help "Whether to be quiet" ) greet :: Sample -> IO () greet (Sample h False) = putStrLn $ "Hello, " ++ h greet _ = return () main :: IO () main = execParser opts >>= greet where opts = info (helper <*> sample) ( fullDesc <> progDesc "Print a greeting for TARGET" <> header "hello - a test for optparse-applicative" )
実際にサンプルを動かしてみると使いやすそう
$ ./optest Usage: optest --hello TARGET [--quiet] $ ./optest --hello Haskell Hello, Haskell $ ./optest --help hello - a test for optparse-applicative Usage: optest --hello TARGET [--quiet] Print a greeting for TARGET Available options: -h,--help Show this help text --hello TARGET Target for the greeting --quiet Whether to be quiet
25122012 Haskell
Yesodの本のBlogのサンプルはスニペットすぎて微妙にわかりにくて困ったなぁと、yesodのチュートリアルを探していたら見つけたyesod-tutorialが分かりやすかった。gitのログとdiff見ながら進めていけば、どこが変更されたのかすぐわかるし。
個人的にはFormのところが理解できてかなりハッピーだった。
電子書籍にGit組み込んでdiffれるようになってたりすれば作って学ぶ系の本は良い感じかもしれないと思った。
Developing Web Applications With Haskell and Yesod24122012 家庭菜園
タイミング逃しまくりで、先週やっとスナップエンドウとブロッコリー、カリフラワーを定植した。
カリフラワーは一度きりの収穫だが、ブロッコリーは定期的に畑詣でする必要があって面倒くさいので、ベランダでも育てることにした。
敷き藁が余っていたのでプランターにも敷いてみた。
24122012 Haskell
この前mkvirthualenvを書いたんだけど、消したりリストできないと使いづらいのでvirthualenvwrapperという名前でGitHubにあげておいた。
git cloneしてcabal installすればmkvirthualenv,rmvirthualenv,lsvirthualenvの3つのコマンドが使えるようになるはずですが、cabalで設定するの初めてなのでおかしかったら指摘してください。
mkvirthualenv yesod
で仮想環境が作られるのでworkhonで入る
$ workhon yesod Activating yesod Virtual Haskell Environment (at /Users/kzfm/.virthualenv/yesod). Use regular Haskell tools (ghc, ghci, ghc-pkg, cabal) to manage your Haskell environment. To exit from this virtual environment, enter command 'deactivate'. (yesod)localhost@kzfm:~ $
好きなライブラリを入れまくる。そもそもpersistentがおかしくて、仮想環境を作っては消しを繰り返していたのが、ラッパー構築の動機
cabal install yesod-platform-1.1.5 cabal install persistent-sqlite-1.0.1
lsvirthualenvコマンドを使う
Essential Sqlalchemy
すごいHaskellたのしく学ぼう!
数学ガール ガロア理論 (数学ガールシリーズ 5)
チケット駆動開発
幸せな未来は「ゲーム」が創る
ステートフルJavaScript ―MVCアーキテクチャに基づくWebアプリケーションの状態管理
CoffeeScriptファーストガイド モダンJavaScriptによるアプリケーション開発 (NEXTーONE)
サーバサイドJavaScript Node.js入門$ lsvirthualenv
diagrams
hakyll
per2
persistent
scotty
snap
yesod
ちょっとyesodが嫌になってsnapに浮気しかけた時期(今朝とか)がありました。
rmvirthualenvコマンド
$ rmvithualenv snap $ lsvirthualenv diagrams hakyll per2 persistent scotty yesod
個人的にはフルスタックのフレームワークよりも、Flaskのように好きに組み合わせて作っていくのが好きなのでsnapに惹かれたんだけど、Modelのsnapletがコアについていってない感じがした。
HDBCもエラーになるし、sqlite-simpleもORマッパーぽくなくてなんかいまいちだった。あとドキュメントが少ないので困ったので、yesodで行こうと思った。
Developing Web Applications With Haskell and Yesod23122012 life
本棚があふれてどうしようもないので少し処分することにした。ブックオフに持っていけそうなものはそっちに出すとして、技術書や洋書は面倒くさいので次のゴミの日に捨てる予定。
知り合いのなかで、もし欲しいのがあったら教えてください。今度会う時に持っていきます。
写真に撮り忘れたけど、ふつうのHaskellと入門Haskellも不要なので欲しい人がいれば僕まで連絡お願いします。
22122012 Haskell
普段はFlask使ってるし、NodeでWebアプリ使う時にはExpressを使うので、これ以上Sinatraクローンを覚えたいとは思わないが、ソースコードを読んで勉強するにはちょうどいいサイズだった。
newtype ActionM a = AM { runAM :: ErrorT ActionError (ReaderT ActionEnv (StateT Response IO)) a } deriving ( Monad, MonadIO, Functor , MonadReader ActionEnv, MonadState Response, MonadError ActionError)
モナド変換子の重ね方が参考になった。Scottyの場合はErroTでリダイレクトとかの処理をするようになっている。
defaultHandler :: ActionError -> ActionM () defaultHandler (Redirect url) = do status status302 header "Location" url defaultHandler (ActionError msg) = do status status500 html $ mconcat ["<h1>500 Internal Server Error</h1>", msg] defaultHandler Next = next
参考
括弧が省略できてインデントでネストが表現できる言語だとコードの見通しが良くていいですね。
{-# LANGUAGE OverloadedStrings #-} import Web.Scotty import Data.Monoid main :: IO () main = scotty 3000 $ do get "/" $ text "Helllo Scotty" get "/lang" $ do v <- param "type" html $ mconcat ["<h1>", v, "</h1>"]
22122012 Haskell
モナモナ言うモナド入門を読んでプチ圏論ブームがやってきたっぽいので、改めてはじめての圏論 その第1歩：しりとりの圏を読んでみた。
読んだ当時は、射の集合がひらがなの文字列っていうのがいまいちイメージがわかなかったのだけど、改めて読んでみるとdomとcodを決めるルールなんだから文字列でいいのかと納得した。
さて、カタカナの文字の集合を考えてしりとりの圏を作ったとする。この場合、ひらがなの圏をカタカナの圏に関連付けるものはfunctorなのだろう。
アルファベットのしりとりの圏を作ってそれをひらがなの圏と対応付けるのもまたfunctorなのだろうか（一対一で対応しないけど）？と思ったが、これの圏論の説明をみるかぎりそんな気がする。
Basic Category Theory for Computer Scientists (Foundations of Computing)
ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門
入門Haskell―はじめて学ぶ関数型言語