DerivingVia で deriving 戦略を模倣する
Haskell では、ボイラープレートは非常に嫌われており、それを撲滅するため強力な型システムの他にも幾つか機能が組み …
続きを読む
遅延評価でデバッグが困難になる状況
先日、Haskell 界隈で遅延評価によってデバッグがし辛いのはどんな時かと言う話があった。見た感じ、遅延評価によってデ …
型クラスの Coherence と Orphan Instance
Haskell には型クラスと呼ばれる重要な機能がある．これは名前の通り，型をクラス分けするための機能で，その型に対して …
LaTeX の数式フォントに STIX を使う
LaTeX では Computer Modern フォントが使われている．ただ，Computer Modern フォントはかなり古く対応してる文字もあまり多くない．特に日本語 …
AtCoder の新環境テストの問題を解いてみる
AtCoder が現在新環境のテストをしている: https://atcoder.jp/contests/language-test-202001
今までの環境では GHC 7.10.3 だったのが，新環境では 8.6.5 になるの …
State モナドの代わりに Reader モナドを使う
- 注意
- この記事は公開当時主張に誤りを含んでいたため，大幅に書き直しています．また，公開当時の主張の誤りについ …
始代数と終余代数が一致する条件
http://ziphil.com/diary/application/26.html を読んでるとき，まとめたことを記事として残しておこうと思った．
参考文献は，
Barr, M. (1992). Algebraically compact functors. Journal of Pure …
多相関数を第一級で取り扱う
今回は，GHC拡張の一つ RankNTypes の紹介をしようと思う．もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってる …
babel と core-js を使って，古いブラウザをサポートする
2019年11月27日に投稿 • カテゴリ：運用 • タグ：Web、JavaScript、Webpack、Babel、ブログ
Sentry でたまに，古い OS からのアクセスによるエラーレポートが来る．現状，このブログの JS は let / const 普通に使ってるし， for-of な …
type family を使って再帰的 ADT をオープンにする
元ネタは Trees that grow ． Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し，その構造を操作するこ …