今月の活動 (？)
続きを読む近況 2021-12-31
今月の活動 (？)
続きを読む近況 2021-11-30
今月の活動 (ミローネ言語、Next.js、興味深かった記事など)
続きを読むリンクのための型エイリアス
ソースコード上にリンクを張るために型エイリアスを使うことがある
続きを読む可視性を使ってnever型もどきを作る
never型がない言語でも、可視性の制御を使うことでそれっぽいことができる。
続きを読む近況 2021-10-31
今月の活動 (ミローネ言語)
続きを読む近況 2021-09-30
今月の活動 (ミローネ言語)
続きを読むコンパイラでのエラーの扱い
コンパイラを作っているうちに、コンパイラの各ステージにおけるエラーの扱いについて考えが変わった。
続きを読む近況 2021-08-31
今月の活動 (ミローネ言語、knowbug)
続きを読む相互再帰関数の型推論で問題になったケース
ミローネ言語 (F# のサブセットである自作言語) の型推論が壊れている。 どういうケースで壊れているかを書いておく。
続きを読む