
型安全とは、要するに「お前のデータ、ちゃんと型に合ってるのか?」って話です。プログラミングで型安全を守らないと、まるでパーティーでバーベキューの肉をカリカリに焼き過ぎて、みんなからもてはやされるどころか、罵声を浴びせられる羽目に!型安全があれば、データ型の不一致を未然に防ぎ、プログラムのバグを少しでも減らすことができる。簡単に言えば、型安全なしでプログラムを書くのは、ルールのないサッカーみたいなもので、ただの混沌。エラーがたくさん転がっていて、ユーザーからのクレームも増えて、最終的には自分が泥沼に引きずり込まれる。そこから抜け出せないなんて、まるで裏路地で財布をすられた気分ですね。じゃあ、型安全を意識して真面目にコード書けばいいじゃんと言いたいところですが、現実は甘くないです。型安全を選ばないで「このコードで大丈夫だろ!」と強気で進んだ先に待っているのは、悲惨なエラーの山です。
型安全をまじめに語ると
前の記事: « 均一系とは?毒舌で解説!
次の記事: 埋蔵とは?毒舌で解説! »