List化関手同士の自然変換 - らむだ畑でつかまえて (catcher in the λ)
・自然変換 Listのreverse リストの反転は自然変換になっているという初等的でありがたい例。 応用として、cdrとかもいいんじゃないかと発言したけど、空リストの扱いが困るから微妙。でも同じ感じで結構考えられそう。 http://d.hatena.ne.jp/oto-oto-oto/20090524/1243181055 これで思い出しました。 「Real World Haskell」の２章 Types and Functions の Polymorphism in Haskell のところで紹介されている Philip Wadler の論文“Theorems for free!”によると 型 [a] -> [a] を持つ関数 r は必ず map f . r = r . map f という性質を満たすので reverse や tail だけではなく init など [a] -> [a
#AltDevBlogADay » Controlling Your Game Engine Over WebSocket
In my previous article I introduced WebSocket and detailed building your own WebSocket server. I also explained that I have embedded a WebSocket server into my engine and use a web application to control, configure and monitor my engine. Check out my previous article for some concrete examples of what I have been doing. In this article I will show you how I do this by explaining the remote procedu
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
StackHack.com
The salaryman's guide to Tokyo
