GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion.You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
なぜ、Rustなのか?
rerun.ioより。 BY エミール・アーナーフェルト 私は20年以上プログラマとして働いてきましたが、Rustほど私を興奮させたものはありません。私のバックグラウンドは主にC++ですが、PythonやLuaでも仕事をしたことがあり、さらに多くの言語に手を出してきました。2014年頃からRustを書き始め、2018年からはフルタイムで Rustを書いています。余暇には、人気のあるRust GUIクレートeguiを開発しました。 今年の初めにRerunを共同設立したとき、言語の選択は明らかでした。 Rerunでは、コンピュータビジョンやロボティクスのための視覚化ツールを作っています。そのためには、高速で並列化が容易な言語が必要です。デスクトップで実行する場合、ネイティブの速度が必要ですが、Web上で視覚化したり、Jupyter NotebookやIDEでインライン表示したりすることも考えて
書いたコードが一発で動作するとなぜ不安なのか : akiyan.com
書いたコードが一発で動作するとなぜ不安なのか 2013-04-21 プログラミングにおいて少なくないコードを一気に書き上げたとき、そのコードが一発で動作 or テストケースに通るとなんともいえない不安を覚えるのは、プログラマーなら誰でもあるあるネタだと思う。「本当にこれ、一発で動作しちゃっていいの？ 俺、そこまでミスしないプログラマーだっけ？」なんて自分を疑ったりする。 このあいだもそんなことがあったんだけど、ふと気になった。不安になる理由は、自信のなさからくるものだけだろうか？ ちなみに、書いたコードが正しく動作しないとき、コードを修正すると不安になることはない。一体、なぜ？ 一発で動作したブラウザの画面を見ながら、考えてみて、閃いた。「コードの修正は、書いたコードを見直す機会にもなっているから」じゃないだろうか。コードの見直しは「リファクタリング」といっていもいい。 一発で動作してしま
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
K Computing - Do You Volatile?
