• はてなブックマーク
  • テクノロジー
  • 関数の仕様を正しく実装していることをどう保証するのか - $shibayu36->blog;
  • Twitterでシェア
  • Facebookでシェア

関数の仕様を正しく実装していることをどう保証するのか - $shibayu36->blog;

テクノロジー カテゴリーの変更を依頼 記事元:blog.shibayu36.org
適切な情報に変更
117users がブックマーク コメント 16

    記事へのコメント16件

    • 注目コメント
    • 新着コメント
    オーナーコメントを固定しています
    shiba_yu36
    オーナー とにかく安全にアプリケーションを作りたいので考えてみました

    その他
    Error401
    addNaturalInt(INT_MAX, INT_MAX)がどうなるかを考えると、「正しさを保証」ってなんだろうと思ってしまう。

    その他
    verda
    1,2番を満たさない値が来た場合の振る舞いが仕様に必要なような

    その他
    asonas
    “この話は が良い資料だった” リンクが抜けちゃってるのかな、どの資料だろう。 / 追加された！西先生の資料だ！！！！！

    その他
    オーナーコメントを固定しています
    shiba_yu36
    オーナー shiba_yu36 とにかく安全にアプリケーションを作りたいので考えてみました

    2016/10/18 リンク

    その他
    efcl
    契約による設計

    その他
    civitaspo
    http://ift.tt/2dXIWbp

    その他
    shin1x1
    型検査, 表明, テスト / NatualInt クラス（型）を作って、制約も操作（演算）も閉じ込めてしまう方が好み。

    その他
    hatsu_mi
    docで表明したい

    その他
    n314
    “非常にシンプルに考えたほうが理解がしやすい”そうなのかな。複雑になればなるのど効果を発揮する印象がある。

    その他
    uotan
    clojure.spec

    その他
    sinya77
    静的型チェックや事前・事後宣言、テストコードは各々重複しない領域を保証していることの例示。

    その他
    sona-zip
    ブコメ INT_MAXを越えたときの仕様が言語仕様で決まっているならそうなることをテストする C言語のように不定という仕様の場合は加算結果がINT_MAXを越えないことを事前に表明で確認する

    その他
    miki_bene
    西先生の資料も載ってて良かった

    その他
    verda
    verda 1,2番を満たさない値が来た場合の振る舞いが仕様に必要なような

    2016/10/19 リンク

    その他
    wordi
    この手の問題はまず「JavaScriptでの事か」と身構えてしまう

    その他
    ajishixo
    型検査 表明 テスト

    その他
    yumura_s
    addNaturalInt a b = let c = a + b in Just c <* forM_ [a, b, c] (guard . (0 <=))

    その他
    asonas
    asonas “この話は が良い資料だった” リンクが抜けちゃってるのかな、どの資料だろう。 / 追加された！西先生の資料だ！！！！！

    2016/10/18 リンク

    その他
    Error401
    Error401 addNaturalInt(INT_MAX, INT_MAX)がどうなるかを考えると、「正しさを保証」ってなんだろうと思ってしまう。

    2016/10/18 リンク

    その他

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

    アプリのスクリーンショット
    いまの話題をアプリでチェック！
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    関数の仕様を正しく実装していることをどう保証するのか - $shibayu36->blog;

    静的型チェックがあったらテストはあまり書かなくて良いのか - $shibayu36->blog; で静的型チェックがあ...

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

    • techtech05212024/01/02 techtech0521
    • somathor2017/08/14 somathor
    • nashcft2017/08/07 nashcft
    • whatraft2016/11/22 whatraft
    • appleappeared2016/11/06 appleappeared
    • yoshi-na2016/10/29 yoshi-na
    • ono_matope2016/10/29 ono_matope
    • efcl2016/10/29 efcl
    • hiroyuki-hanai2016/10/27 hiroyuki-hanai
    • test-voice-rg2016/10/24 test-voice-rg
    • civitaspo2016/10/24 civitaspo
    • nakeddiver2016/10/20 nakeddiver
    • ina-amagami2016/10/20 ina-amagami
    • samurairodeo2016/10/20 samurairodeo
    • nana4gonta2016/10/19 nana4gonta
    • light9402016/10/19 light940
    • mnrtks2016/10/19 mnrtks
    • shin1x12016/10/19 shin1x1
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

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

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

    新着記事 - テクノロジー

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

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2026 Hatena. All Rights Reserved.