What is a nominal type?

What is a nominal type?

The slide for the talk on:
try! Swift Tokyo 2017 RejectCon - connpass
https://rmp-quipper.connpass.com/event/49316/

Swiftで、Anyなどの一部の型にextensionを書こうとしたときのエラー文言「Non-nominal type 'Any' cannot be extended」
「Non-nominal type」とは何なのか? について掘っていたら、型システムの基本的な分類に辿り着きましたよ、というお話です。
英語および日本語の資料です。

704056da9a4c4e075ad14479beaebab7?s=128

takasek

February 28, 2017
Tweet