Haskellで日本語を分かち書きしたいなあと思ってライブラリを探していたらtinysegmenterという面白そうなものを見つけました． TinySegmenter:Javascriptだけで書かれたコンパクトな分かち書きソフトウェア TinySegmenter.jlをGoと比較して負けたと思ったら…

バイトでHaskellを書いている． その中で，表現は共通だが2つの形式を持っているデータを型で区別したいということがあったので，幽霊型でいいじゃん！と思いDataKindsを使って実装しPRを出したところ，Haskellの強い方から「Haskellで依存型を多相的に扱う…