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