try! Swift 聞き起こし 平常心で型を消し去る #tryswiftconf Day1-5 - niwatakoのはてなブログtwitter.com 型を明確にすることがSwiftらしいやり方であると気づいた時、同時に時には型を消す必要があると分かります。この講演では、型とは何か、型を消すことが何を意味するか、なぜそうしたいかについて解説します。 型消去の話をします 怖い？ どういうこと？ 型とは何？ 最高の定義はWikipediaで見つかりました。型とは、分類であり、値の集合とその値に対する有効な演算を定義するものであるということですね。 Swiftコンパイラにとってこれらは便利な考え方です。 StringにIntを入れることは有効ではないわけです。しかしすべての型が平等なのではなく、コンパイラがチェック出来ない型が有ります。 ここで具象型と抽象型を考えます。具象型はダイレクトにインスタンス化でき、明確なデータを持っていて、オブジェクト間でやりとしして情報共有がなされます。 一方抽象型は不完全な実装になります。
