型とは何か Presentation Transcript 型とは何か? CPython の実装 by @cocoatomo, written in HuiFontP ご結婚 おめでとうございます!! • 型い愛で結ばれたお二人に • CPython の型のお話をプレゼント そもそも型とは? • 例を出すと 例えば血液型 • A型 • B型 • AB型 • O型 例えば軍艦 • 金剛型 • 陽炎型 • 天城型 • 利根型 • etc… 「型とは値の集合である」 • Types and Programming Languages • ↑型についての入門書 • 「名古屋入国のためのパスポート」 • 安全性 = 推進性 + 保全性 何の役に立つの? • 推進性 ⇒ 式の評価 (=計算) が値にな るまで実行できることが分かる • 保全性 ⇒ 式の評価によって型が変わら ない • ⇒ 「ある程度」
![型とは何か](https://cdn-ak-scissors.b.st-hatena.com/image/square/729f12e81dd4732a572761a1dd2455bb82be4690/height=288;version=1;width=512/http%3A%2F%2Fimage.slidesharecdn.com%2Frandom-140328235251-phpapp01%2F95%2Fslide-1-638.jpg%3Fcb%3D1396068836)