途中脱出のある反復計算 - HaHaHa!
そのまえに もとネタは[id:Dekosuke:20100810]「breakのあるfor文をHaskellで書きなおす」という記事です． この記事に対して，直感的に[id:nobsun:20100118]の双方向畳み込みfoldで汎用的に表現できる」と思って，コメントを付けました．ところが，その後が波瀾万丈 < 大袈裟なやつ 途中脱出の例題を考えてみた． ちゃちゃっと書いたサンプルコードが途中脱出してくれない． あわてて取り消しのコメントを． どうも原因がよくわからない，上手くいくはずなのに． foldの定義の所為だと思い込む． 何人かにfoldを説明してみた． coolじゃないfoldの代替定義をでっちあげた． 代替foldリファクタリング． 代替foldを何人かに説明してみた． 代替foldでよいことは納得できる． でもやっぱり，元のfoldで上手くいかなり理由がわからない． よくよ
jQueryは本当にモナドだった - Pixel Pedals of Tomakomai
タイトルはかなり釣りです:-) まあ、間違えているかもしれないので内容の判断は自己責任で。 さて、元ネタはこちらなのですが、独自のモナド節を唱えていて非常に怪しい。と言うことで、怪しくならないように真面目に解説してみます。 ちなみに、このエントリでは数学のモナドではなくHaskellのMonad、つまりKleisli Tripleとして説明します。 元記事のどこが怪しいのか 元記事では「流れるインタフェース」がbindであるかのように書いていますが、ここが怪しいと感じます。「流れるインタフェース」は単なる関数合成(haskelでいうg . f)であり、クライスリ結合ではないと思います。後述するように、bindが提供するクライスリ結合は、違う型同士をくっつけられるという奇妙な性質を持つ合成です。 元となる圏 DOMエレメントとjQueryオブジェクトのみを含む任意の集合を対象(Object)
プログラマーが覚えておくべき10の英語フレーズ - このブログは証明できない。
It's a feature. 仕様です。 I'm afraid not. 無理です。 Something is wrong with Internet Explorer. IE爆発しろ！ I'm 20's in hex. 16進数で20代です。 You are often PHP. よくdisられてるね。 She is Haskell. 彼女はとってもピュアだけど、ちょっと近寄りがたいところがある。 I'm waiting for compiling to end. 2ちゃんねるを見ています。 I have a single core. そんなにいっぺんには出来ません。 I took a core dump yesterday. 昨日は飲みすぎた。 He created a Lisp implementation in PostScript. 彼は変態です。 プログラマーが世界を救う10
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
