extensibleパッケージのvariantの使い方を確認するために小さなサンプルを書いてみました。 やりたいことは、 data A = AX | AY deriving (Show, Eq) data B = BY | BZ deriving (Show, Eq) と定義したときに、AとBを合わせたデータ（構造）を（簡単に）定義…

45deg.github.io 個人的に慧眼だったのは、不動点の節の説明での発想の転換の部分でした。 そもそもリストを関手で表現したいならば、こう定義した方がよさそうに見えます。 (2) List:=1+Int×List しかしこれでは定義自身にList が含まれる、いわゆる再帰的…

LensのOpticsはいろいろあって混乱してくるけど、この記事は、いい感じに細かいところを捨象しているところが素晴らしい。 titech-ssr.blog.jp

micro kernel 関数呼び出しではなく、message passing WDFが隠蔽化 Driver Model DM KMDF UMDF (user modeで動く) reflector ハリウッドの圧力？ Windows Driver Kit 開発ツールは最新版を使わないとはまる。 開発は敷居を高くしている。EV証明書とかが必要…