haskellとか「型ありきで考える言語！！」とか言ってる人居るけど、型全然書かないで型推論使われまくってるっぽいし＞＜
そう＞＜ でも省略できちゃうという事は省略されちゃうかも＞＜ 型推論が使える環境だとみんな気にせず型推論使ってるし＞＜（オレンジは頑固だから、その問題を考慮して使わないけど＞＜）
orange
さんがブースト
こういう文法があるかは知らないけど。
で、 https://mstdn.nere9.help/@orange_in_space/99626442663818975 の問題は
// foo() がエラーを返さない場合、ここで型エラー
err: error = foo();
みたいになれば幸せ、と
orange
さんがブースト
たとえば
// err が error インターフェースを持っていることを明示
f, err: error := foo()
if err != nil {
po;
}
みたいになれば満足ということかな……？
そう！＞＜；（オレンジは簡潔に説明できなかった＞＜；）
orange
さんがブースト
ああ、ユーザが根本的に型を履き違えている場合にエラーにしてやりたいという文脈なんですね、把握しました
「型推論のせいで、エラーじゃない型の変数をエラーの型だと思ってしまう現象を起こさないようにするにはどうすればいいのか？＞＜」っていう・・・＞＜（オレンジは型推論を極端に嫌ってるから、（C# とかでは）型推論まず使わないから別にあれだけど＞＜；）
オレンジがその方式が好きってことじゃなく、golangが「例外処理を言語仕様に入れたくない」って言ってるのをどうにかこうにかマシにするには的な感じの・・・＞＜；
orange
さんがブースト
「最後のエラーを得る」系統、いくらか問題が知られていて、
・皆面倒がって誰も明示的にエラーチェックしなくなる
・エラー処理までの間に何かやっておきたいことがあった場合、暗黙の「最後のエラー」が上書きされてしまうことがある
・誰が「最後のエラー」を上書きするかが明示的でない(ドキュメントに書いてなければソースを読むしかない)
などがある
orange
さんがブースト
オレンジ氏の話、古の errno とか glGetError() みたいなのを彷彿とさせてなんだか体調が悪くなってきた(過言)
golang継承ないっぽいを考慮するとこんな感じ？＞＜；
Fuga();
if (lasterror != null)
{
if (lasterror.Message == "TekitounaError")
{
Console.WriteLine("てきとうなえらー！＞＜；");
}
lasterror = null;
}
golang、継承が無いらしい（？）からこういう風にできるのかわかんないけど・・・＞＜
・・・それを例えばこう省略出来ればいいような？＞＜
Fuga();
if (lasterror != null)
{
if (lasterror is TekitounaError)
{
Console.WriteLine($"てきとうなえらー！＞＜；{lasterror.Message}");
}
}
C# で言うとこんな感じに・・・＞＜
Exception lasterror = null;
try
{
Fuga();
}
catch (Exception ex)
{
lasterror = ex;
}
if (lasterror != null)
{
if (lasterror is TekitounaError)
{
Console.WriteLine($"てきとうなえらー！＞＜；{lasterror.Message}");
}
}
orange
さんがブースト
ていうか絶対返すのであれば、暗黙に予約語で返って来るみたいななんかそういう方がいいような気が・・・＞＜（例えばlasterrorって言う予約語（予約変数？＞＜；）の中身を見ればおｋ方式とか・・・＞＜）
orange
さんがブースト
そもそもerrorを絶対に返せみたいなのを感じる
例えば、雑すぎるけどこんな感じとか＞＜； errが何かチェックされない＞＜（人間から見た時に（広義の）型安全じゃないみたいな＞＜）
func Hoge() int {
err := Fuga() //実は返ってくるのはerrorじゃ無い
if err != nil {
return 0 //エラーの時は0を返そう＞＜
}
return 1
}
- ＠orange_in_space
2017年 4月に登録
