情報なし
第1部 型無しの計算体系 第2部 単純型 第3部 部分型付け 第4部 再帰型 第5部 多相性 第6部 高階の型システム
・Swiftに息づくstructural types(構造的型)[2017-07-23に投稿]