04/09/28 13:06:25
>>122
分岐（if, case, ガード）が陽に見えているところでしか
一意性解析していないということか。
MyIfが使えるようにするには、自分で型に一意性注釈を
書かなければならないのだろうが、分岐のような
「いくつかの引数のうちどれか一つしか評価しない」というような
ことを型レベルで表現するのは無理だから、やっぱできないのかな。
04/09/28 13:06:25
>>122
分岐（if, case, ガード）が陽に見えているところでしか
一意性解析していないということか。
MyIfが使えるようにするには、自分で型に一意性注釈を
書かなければならないのだろうが、分岐のような
「いくつかの引数のうちどれか一つしか評価しない」というような
ことを型レベルで表現するのは無理だから、やっぱできないのかな。