タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

programming typeに関するbleu-bleutのブックマーク (1)

  • 型宣言をするプログラミング言語のメリットはなんですか? - Quora

    pythonはdocstringや型ヒントを書いていると、なんとなく型宣言している気になりませんか? FORTRANはdocstringそのものです。型宣言をすることでドキュメントの完全性を担保しつつ、誤った型が流れてきたら処理を中断してくれるのです。 良い回答がありましたが、私はスクリプト言語を書いているといつもそう思うようになりました。

    bleu-bleut
    bleu-bleut 2022/07/11
    静的型宣言は実装との一致が担保されたドキュメントであり、テストであり、静的に検査可能な不変条件であり、「型設計」というレイヤでの設計
  • 1