タグ

ブックマーク / jp.quora.com (2)

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

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

    bleu-bleut
    bleu-bleut 2022/07/11
    静的型宣言は実装との一致が担保されたドキュメントであり、テストであり、静的に検査可能な不変条件であり、「型設計」というレイヤでの設計
  • 国際比較に使える唯一の指標「超過死亡」で明らかになる実態 - 新型コロナウイルス情報室 - Quora

    今回取り上げるのは、フィナンシャル・タイムズからの「死者数は報告されているよりも60%高い可能性がある」というレポートです。 Global coronavirus death toll could be 60% higher than reported | Free to read ここで、論に入る前に、少し前置きです。 アウトブレイクが現在進行形で起きているときに、異なる国での政策の良し悪しを議論するのに使える、信頼できる統計データとは何でしょうか? 感染者数は、検査の性能・件数・方針などに強く依存するため、もっとも信頼性の低い指標です。一方、死亡者数は、相対的には信頼できる指標ですが、検査を受けないままに死亡してしまったケースについてはアンダーレポート(過小報告)となります。 特にいったん医療崩壊を起こしてしまうとあらゆる報告が追いつかなくなり、感染者数も死亡者数もきちんと管理できな

  • 1