RMSにも早すぎたかも？＞＜； -- RMS、GNU EmacsのGud.elでのLLVMデバッガサポートに反対 | スラド https://it.srad.jp/story/15/02/11/0421233/
orange
さんがブースト
人類にGPLは早すぎる？
第零の自由を考慮せずに自分のコードをGPLにしちゃう人多すぎだし、GPL支持しつつ第零の自由に反するような事を言う人多すぎ＞＜
△使用
○適用
？＞＜
オイゲン氏、典型的な『自分のコードにGPL系のライセンスを使用すべきではない人』に見える＞＜
どうして盗用という発想になっ(て記事を書い)たのかさっぱりわからない・・・＞＜
AGPLなソフトウェアに盗用もなんも無いでしょ？＞＜ 少なくとも10日前の段階ではライセンスちゃんとつけてるっぽいし＞＜ https://github.com/hiveway/hiveway/blob/master/LICENSE
orange
さんがブースト
マストドンからフォークしたという記述があることを、山岸和利さんに指摘いただき、追記しました。
ブロックチェーンSNS「hiveway」がマストドンを盗用？ - ITmedia NEWS http://www.itmedia.co.jp/news/articles/1803/05/news056.html
orange
さんがブースト
その方式のほうが良さそう＞＜
orange
さんがブースト
serror: optional<error> -> bool()
みたいな関数を用意してやって、
err := foo();
if iserror(err) {
po;
}
みたいにすれば、 iserror(err) に nil を渡しても型エラーになってくれたりする気がする (go の型システムは知らないけど……)
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_in_space
2017年 4月に登録
