Karakuriの導入(0) -状態をぶった切る！- - モナドとわたしとコモナド
あるとき、私は思った―― 「Getter、Setterと、状態を次に進める関数を持つ何かがほしい！そうすればゲームやユーザーインターフェイスなどがとても書きやすくなるのに……！」 私はそれをカラクリと名付けた。存在するかどうかわからない理想の構造を求めて… オブジェクトの型をKとしよう。型A, Bに対するGetterが存在するならば、以下の関数が存在することになる。 getA :: K -> A getB :: K -> B ここで積の性質を思い出そう。K -> (A, B)があればgetA、getBは自明だ。つまり、Getterは一つで十分ということになる。次に、X, YのSetterを考えよう。 setX :: X -> K -> K setY :: Y -> K -> K 和の性質により、Either X Y -> K -> Kが存在すれば、setX, setYの定義は自明になるので
Home | Joel Tio
If you’re looking for a more professional description please look at my LinkedIn Hi, I am Joel. I develop software and think about math. My experience is quite diverse, I have tried machine learning, web development, mobile development, desktop app development and much of AWS cloud. But of course, “tried” can also mean “I tried it for a day”. Here, “try” means that I have at least done a project w
Haskell で動的計画法を書くための3つの方針 - tosの日記
アルゴリズムの代表っぽい存在とも言えるDPですが，Haskellは参照透明なので書きにくいと思われがちです． しかし，実際は，C言語やSTLなしのC++より遥かに簡単に動的計画法が書けます． リストを用いる 最初に知るであろう方法． フィボナッチ数列の第100項だと， let f = 0 : 1 : zipWith (+) a (tail a) in f!!100 です． 「ずらして足したものを後ろにつなげる」と言えばいいのでしょうか． これについては，他でよく解説されているので詳しくは説明しません． 利点： リストの知識のみでよい． 無限リストの恩恵が受けられる． importが不要． 欠点： 使えるケースが限られる． 書くときに，混乱することも（上の例だと，と考える必要がある． ランダムアクセスができないので，場合によってはO(n)倍の時間がかかる*1． 添字を自由に用いることができな
Stateモナドを今度こそ理解する - Pixel Pedals of Tomakomai
3年前に理解しようとして惨敗した*1HaskellのStateモナドの解説に、リベンジしようと思います。圏論をちょっとはかじったので、今度こそまともな解説ができるはず。 と言うことで、今回は前編です。圏論の知識は前提とはしてないですが、集合と写像にアレルギーがあるときついかもしれません。 *1:3年前の敗因は、圏をSetsだと思い込んでた上に関手を「写像を写像に移す写像」だと誤解してたことでしょうか。
2008-05-25
sampou.orgのhttp://www.sampou.org/cgi-bin/haskell.cgi?Memoiseをほとんど丸写しして，Stateモナドを使ってフィボナッチを書いてみました． import Control.Monad.State rfib :: Integer -> Integer rfib 0 = 0 rfib 1 = 1 rfib n = rfib (n-1) + rfib (n-2) type Cache = [(Integer,Integer)] -- キャッシュ cfib :: Integer -> State Cache Integer cfib 0 = return 0 cfib 1 = return 1 cfib n = do cache <- get case (lookup n cache) of Just k -> return k Nothin
はてなブログ | 無料ブログを作成しよう
晴天の価値 2月中旬に出張で千葉へ行った。5日間の滞在中はずっと快晴で、気温は20℃に迫る春のような暖かさだった。仕事は朝から晩まで現場を走り回る過酷なもので、身体的にも精神的にも追い込まれた。毎朝、京葉線から見える美しい景色を眺めて正気を保っていた。太平洋へ燦々と…
sshi.Continual
この廃墟に手をいれるかどうか考える試み http://icfpcontest.org/2010/ 一週間遅れですが、簡単なレポートを。ここに書くのほぼ一年ぶりか… 今年は流れで某Mくんと２人でチームを組んで参加。チーム名tokorobashi。名前の由来は近いうちに明らかになるかもならないかも。最終結果は7点。 今年は特にサーバへのsubmitとかを便利にしてくれるインフラ整備をがんばる余地がいっぱいあったので、もうちょっと人数多くないと戦えてなかったかもしれない。でも結局、「本番」に到達できなかったのであんまり関係なかった。 大会の詳細はどっか他のサイトを見てください。(http://d.hatena.ne.jp/mr_konn/20100618/icfp2010taskあたりがわかりやすいか?) 一日目 6月18日(金) 21:00〜 開始。最初はサーバが重くてチーム登録ができなかった
猿でも持ち上げられるモナド - まめめも
最近やっとモナドの持ち上げ方を理解した気分になりました。StateT + IO 限定で。 State モナドを使って以下のようなコードを書いていたとき、 module Main(main) where import Control.Monad.State -- 階乗計算 fact :: State (Int, Int) Int fact = do (a, b) <- get -- (A) if a == 0 then return b else do modify $ \(a, b) -> (a-1, a*b) fact main :: IO () main = do let x = evalState fact (10, 1) print x コメントの (A) の位置で (a, b) の値を表示したくなったときに使える技です。 module Main(main) where impor
グローバル変数のモジュール性 - まめめも
StateT が使えるようになったらグローバル変数みたいなものが簡潔に書けるのかなーと考えました。グローバル変数たちを集めた data 型を定義して、トップレベルは基本的に StateT GlobalVars IO () 型にする感じ。 module Main(main) where import Control.Monad.State -- グローバル変数たち data GlobalVars = GlobalVars { fooField :: Int , barField :: Int } deriving Show -- トップレベルの型 type GlobalM = StateT GlobalVars IO -- トップレベル myMain :: GlobalM () myMain = do foo <- gets fooField -- foo を読み出す modify $ \g
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Redirecting…
Three Useful Monads - adit.io
GitHub - sjoerdvisscher/effects: Control.Effects
Iteration of a randomized algorithm in fixed space and linear time
StateT - maoeのブログ