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

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

Haskell はいくつかのリテラルで型クラスを使用したオーバーロードを許容している．例えば，Haskell で 1 と書いた場合，この型 …

Debian GNU/Linux 10 ，コードネーム buster が安定板リリースを迎え結構経ったので，そろそろアップグレード案件やるかみたいな感 …

Scala のコレクションライブラリは難しい．最近，強くそう思える事案に出くわしたので，そのメモ．なお，使った環境は以下 …

$F; i \mapsto \{n \mid n \leq i\}: \mathbb{N} \to \mathrm{Poset}$ みたいな directed diagram を考えた時，こいつの colimit は何に …

現在， GHC に 線形型の提案 がされていて活発に議論されている．プロトタイプも ここ から利用可能だ． Docker イメージも利用 …

GHC は，最適化のため Call Arity と呼ばれるコード解析を行っている．この解析で，自由変数が何個引数を持っていいかを判定 …

DokuWiki で Markdown が書けるプラグインを結構前に作った．で，たまにメンテしてるんだけど，そのメンテのために色々備忘録を残しておこうと思ったので，そのメモ．

現在， GHC に 線形型の追加提案 が出ている．その提案に合わせて，プロトタイプも公開されている．内容はあまり詳しく追 …