tarunon

returnはつまりthen neverになる、と。

omochimetaru 7/26/2023 6:53 AM

その式におけるtypecheckとしてはそういう理屈になりますね。