エラー型による条件分岐をやりやすくする

[FineArchs]

毎回if Core:type(v)!='error' ...と書かなければならないのは不便なので、より簡単な書き方を考えます。

今までの案 catch(v) {...}

• 投げてないのにcatchはおかしい

if Core:is_ok(v) ...

• あまり書きやすさが変わっていない？

補足 v ?? v2（vがエラー型以外ならv、エラー型ならv2を返す）、?.（エラー型ならチェーンしない？）も欲しい

[FineArchs]

if Is:ok(v) ... とか…？

[marihachi]

ifによる値のチェックとは区別して

if v is error { ... }

とか...？

[salano-ym]

Core:type(v) == Tをv is Tにする？

[FineArchs]

Core:type(v) == Tをv is Tにする？

同意見

[salano-ym]

isnotは必要？

[FineArchs]

どちらかと言うと型表記の方に補集合を表す表記方が欲しいような？