先日、Haskell 界隈で遅延評価によってデバッグがし辛いのはどんな時かと言う話があった。見た感じ、遅延評価によってデ …

Haskell には型クラスと呼ばれる重要な機能がある．これは名前の通り，型をクラス分けするための機能で，その型に対して …

LaTeX では Computer Modern フォントが使われている．ただ，Computer Modern フォントはかなり古く対応してる文字もあまり多くない．特に日本語 …

AtCoder が現在新環境のテストをしている: https://atcoder.jp/contests/language-test-202001

今までの環境では GHC 7.10.3 だったのが，新環境では 8.6.5 になるの …

注意

この記事は公開当時主張に誤りを含んでいたため，大幅に書き直しています．また，公開当時の主張の誤りについ …

http://ziphil.com/diary/application/26.html を読んでるとき，まとめたことを記事として残しておこうと思った．

参考文献は，

Barr, M. (1992). Algebraically compact functors. Journal of Pure …

今回は，GHC拡張の一つ RankNTypes の紹介をしようと思う．もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってる …

Sentry でたまに，古い OS からのアクセスによるエラーレポートが来る．現状，このブログの JS は let / const 普通に使ってるし， for-of な …

元ネタは Trees that grow ． Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し，その構造を操作するこ …

久しぶりに Windows 上で環境構築をすることになったんだけど，その際 Pipenv をインストールするのにちょっと躓いたので，そ …