Jira (PUP-4613) Unclear language in the spec around types being "assignable" from types

[Henrik Lindberg (JIRA)]

Title: Message Title

Henrik Lindberg commented on PUP-4613   Re: Unclear language in the spec around types being "assignable" from types Nicholas Fagerlund Yes, it is accurate to describe it as sets. Types are basically names of sets of (possible) values. I typically use different terms depending on what I am trying to express. If I have: Integer $a And I am discussing possible values, the "assignability" term feels more intuitive since I am reasoning about "what can I assign to $a ?". If I OTOH is trying to do some type operation e.g.: Numeric >= Integer it is more intuitive to think about types as sets of (possible) values, and the _expression_ reads as "is Numeric a superset (or the same set as) Integer". So pedantically: "T2 assignable to T" is the same as "T is a superset of T2 (or is the same set)" is the same as "T >= T2". I am not sure if the term "superset" is applicable when two sets are identical - maybe there is a special term. Add Comment   This message was sent by Atlassian JIRA (v6.3.15#6346-sha1:dbc023d) -- You received this message because you are subscribed to the Google Groups "Puppet Bugs" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-bugs+unsubscr...@googlegroups.com. To post to this group, send email to puppet-bugs@googlegroups.com. Visit this group at http://groups.google.com/group/puppet-bugs. For more options, visit https://groups.google.com/d/optout.