Freer Effectsが、だいたいわかった: 0. 導入 ========================================= はじめに -------- Extensible Effects ([hackage: extensible-effects]( https://hackage.haskell.org/package/extensible-effects))の改…

型レベルで平衡が保証される探索木 ============================ はじめに ------- ほかの言語でハッシュテーブルを使うような辞書構造を実現するのにHaskellでは状態変化をともなわない重み平衡木を使うということを説明した。 [重み平衡木の説明](http://qiita.com/YoshikuniJujo/items/a852c0d3af70debd2d…

理想の浮動小数点数である「浜田のURR」を理解する ========================================== はじめに ------- コンピュータでの標準的な「実数」の表現のしかたに「浮動小数点数」がある。浮動小数点数の符号化の様式は、[IEEE 754](https://ja.wikipedia.org/wiki/IEEE_754)で標準化されている。ここに定…