強力な型システムにより， Haskell ではかなり抽象的な概念を型クラスとして実装することができます． 例えば， 代数学における「体」もその例外ではありません． 今回は体を型クラスに， そのインスタンスとして有限体を実装してみました．

Intero for Emacs について備忘録． とは Haskell 用の Emacs 拡張です． Flycheck や対話環境の提供など， 便利です． 公式 HP はこれ． https://commercialhaskell.github.io/intero/ インストールもこれに従えばすぐにできます．

最近はしばらく Unity してたんですが，なんだか気が向いたので Xfce デスクトップ環境をぶっ込みました． 環境設定とか備忘録． Xubuntu じゃないです．