相互再帰関数の型推論で問題になったケース 2021年8月19日 投稿 FSharpMiloneLang ミローネ言語 (F# のサブセットである自作言語) の型推論が壊れている。 どういうケースで壊れているかを書いておく。 続きを読む