orangeていうか、「型検査は何を検出し、何を排除できるのか？」は、一言で言うと「型の不整合を検出できる」かも＞＜「型の宣言や設計等が不適切である問題は、それは型検査によって検出できないではないか？」という疑問は正当で、それはその通り＞＜なので、単純に静的型システムの環境を使う『だけ』で防げる減らせる事は「実行時に起こる型の不整合による想定外の動作」だけとも言える＞＜
senooken JP Socialはsenookenの専用分散SNSです。
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.