10月9日の学び
型安全
・下の説明は凄い。BOF攻撃と型安全の間には関係があったのか。。。
・プログラミング言語において「文法的な正しさ」と「意味的な正しさ」が一致するとは限らない。
・「文法的に正しいが実装のない実装（＝動作未定義）」が存在し、往々にしてセキュリティ的なバグの温床となる。
・「型安全」はWell-Definedであることを保証するため、上述の動作未定義にならないことを保証する。
・Java/Python/Rubyは型安全。
・「型安全」と「動的型付け/静的型付け」は別の概念。Pythonは「静的型付け」で「型安全」。
・型検査によって型安全性があるような型付けが強い型付け、無いものが弱い型付け。
node.js
・サーバサイドのJavaScript実行環境。
・サーバサイドでhtmlを生成するときに呼び出されるJavaScript部分っぽい気がする。
・JavaScriptは汎用言語化されたので、pip のようなパッケージ管理ツールも用意された。それがnpm。
・（下参照）最近のJavaScriptは凄いらしい。
