10月4日の学び
・Javaにおいてはコンストラクタが例外を発生させるのはあり。これがC++においては望ましくない。前者はガーベジコレクションの機能があるが、後者には存在しないのが理由。
・Javaは良くも悪くも設計書通りに実装できる言語。ウォータフォール向きだと感じる。
・言語と型の関係として「静的/動的」「強い/弱い」という軸がある。
・「強い/弱い」は型検査によって型安全性があるような型付けが強い型付け、無いものが弱い型付けである。
・「静的/動的」はプログラムを実行前に型検査を行うのが静的な型付け、静的型付けであり、プログラムを実行しながら型検査を行うのが動的な型付け、動的型付けである。
・もともとオートマトンのプログラム書いていて冪集合をうまく扱えないところから始まった。エンジニアは実装してなんぼ。
