型安全性とは何か | POSTD
以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論
「学校」と「企業」が成功しすぎた日本 - しっきーのブログ
日本は、「学校」と「企業」が似たようなシステムになっていて、この二つが一時期めざましく成功したことがあった。もちろん今はそれが足枷になっているので、これからうまい手を打てなければ後に「失敗」として記録されることになるのかもしれない。 日本における学校や企業の特徴は、そこに所属しているということが何よりも重要になる「メンバーシップ主義」であり、その枠組みから外れれば人生オワタ＼(^o^)／ということになりやすい。 これは何も人々の意識や感情の問題だけでなく、雇用の仕組みから賃金制度、社会保障などの部分がすべて「学校」と「企業」の「メンバーシップ」という仕組みの枠内で賄われていて、そこから外れた場合の公的なサポートが整備されていない。 本エントリーは、河出ブックス『平成史』に寄稿された貴戸理恵著『教育-子供・若者と「社会」の繋がりの変容』を参考にしている。だが、僕はねじ曲がった解釈をしていると
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
