René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Tuples are inferred as arrays, losing information","articleBody":"**TypeScript Version:**  2.1.4\r\n\r\nThe inferred type of a tuple expression is an array, for example\r\n\r\n```ts\r\nconst foo = ['hello', 3, true] // foo: (string | number | boolean)[]\r\n```\r\n\r\nwhich is a pain when what you really wanted was a tuple; you need to give a type ascription in order to tell the compiler you meant it to be a tuple, e.g.\r\n\r\n```ts\r\nconst foo: [string, number, boolean] = ['hello', 3, true]\r\n```\r\n\r\nIt seems like this is wholly unnecessary, because the type `[string, number, boolean]` is assignable to `(string | number | boolean)[]`, and carries strictly more information. So the compiler is prematurely throwing away information, when it could just wait and see if later on the type needs to be specialized to an array.\r\n","author":{"url":"https://github.com/pelotom","@type":"Person","name":"pelotom"},"datePublished":"2016-12-23T22:11:24.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/13151/TypeScript/issues/13151"}