2022-11-24から1日間の記事一覧

再帰型の実装に関して悩んでいること１　再帰する型変数の表現

OCaml 型理論言語処理系

型システムにどうやって再帰型を追加するかで悩んで手が止まっている。何に悩んでいるのかを書き出して整理していきたい。今回は「現在、型そのものをtyというバリアント型で表現しているが、その枠組みで再帰型をどう表現するか」について。そもそも再帰…