記事へのコメント11

    • 人気コメント
    • 新着コメント
    asiamoth asiamoth 多言語にも応用が利く考え方で非常にタメになった。一方、コンパイルできないコードで、初心者の写経向きではないので注意(最後のコードでカンマ抜け、存在しないメソッドの使用)。

    2021/12/09 リンク

    その他
    yasu-osu yasu-osu Rustに限らない、汎用的な設計技法を学べるコンテンツだった。我々の組織も、こういうところまで共通認識化していけるようにしていきたい。

    2021/12/09 リンク

    その他
    zyzy zyzy panicはお手軽に契約プログラミングっぽくするのに丁度いい、という事か。

    2021/12/08 リンク

    その他
    atsushifx atsushifx 次世代のプログラミングでは、なんというか正しさを証明する言語が主流になりそう。

    2021/12/08 リンク

    その他
    dekasasaki dekasasaki panic! いいなー。古いJavaだとランタイム例外で即落としするんだろうけどIllegalArgumentやらIllegalStateやら、どれ使おうか考えるのが、たまに面倒になっちゃう。そしてこれをcatchされて延命されると泣く。

    2021/12/08 リンク

    その他
    holyshared holyshared 実際はこんなにpanic!使わなくて、Result型使うのでは。。 Rustぽくない

    2021/12/08 リンク

    その他
    tofu-kun tofu-kun 契約契約

    2021/12/08 リンク

    その他
    bouzuya bouzuya 「型による表明」をとても大切だと思っている。ある型を満たしている→前提が満たされていると分かる。これはたとえば前提の検査を都度の繰り返しが不要になるとか変更の局所化・漏れの防止などにも繋がる。

    2021/12/08 リンク

    その他
    yarumato yarumato “他の言語にも適用できる考え方。真に安全を実現するには、関数型プログラミング、ドメイン固有型(プリミティブ型ではなく固有型を使えば探査機は燃えなかった)、契約による設計(クラッシュは最も正しい行い)”

    2021/12/08 リンク

    その他
    baronhorse baronhorse CatNameListの役割がよくわかんないのでアレだけど panic! するパスが普通に残ったプログラムが真に安全って言われてもうーんて感じがするわ。あとはテスト頑張るみたいな話なのかね/なら next_ は Option 返しちゃダメでは

    2021/12/08 リンク

    その他
    touhumog touhumog 『セキュア・バイ・デザイン』、知らなんだ読んでみよう

    2021/12/08 リンク

    その他

    人気コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    関連記事

    Rustで真に安全なプログラムを書く方法 - かとじゅんの技術日誌

    この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言...

    ブックマークしたユーザー

    • sora05132021/12/14 sora0513
    • alcus2021/12/14 alcus
    • shuymn2021/12/14 shuymn
    • drunkennessimi2021/12/13 drunkennessimi
    • arx0balest2021/12/12 arx0balest
    • nauthiz2021/12/11 nauthiz
    • masatotoro2021/12/11 masatotoro
    • wushi2021/12/10 wushi
    • Makots2021/12/10 Makots
    • anoworl2021/12/09 anoworl
    • xef2021/12/09 xef
    • asiamoth2021/12/09 asiamoth
    • totechite2021/12/09 totechite
    • kurouru2021/12/09 kurouru
    • shiroemons2021/12/09 shiroemons
    • n_reishi2021/12/09 n_reishi
    • jke52192021/12/09 jke5219
    • kikugawa8162021/12/09 kikugawa816
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    【5日目】Python初心者が分岐処理・ループ処理・リストの基本を学ぶ - Qiita

    1 user https://qiita.com/rin5xpbpm

    なんで痩せないの?!ダイエットとストレスの意外な関係 - パーソナルトレーナー植田知成が教える!そのダイエット情報のウソ?ホント?【東京都港区六本木CLOVER】

    1 user https://clover-chisei.hatenablog.com/