René's URL Explorer Experiment

Title: List concat with different types causes error · Issue #720 · python/mypy · GitHub

Open Graph Title: List concat with different types causes error · Issue #720 · python/mypy

X Title: List concat with different types causes error · Issue #720 · python/mypy

Description: When I run mypy on this code: from typing import List, Any def f(a: List[int], b: List[str]): return a+b f([1,2,3], ["3","4","5"]) I get this error: /home/georgeatmit/type1.py: note: In function "f": /home/georgeatmit/type1.py:3: error: ...

Open Graph Description: When I run mypy on this code: from typing import List, Any def f(a: List[int], b: List[str]): return a+b f([1,2,3], ["3","4","5"]) I get this error: /home/georgeatmit/type1.py: note: In function "f...

X Description: When I run mypy on this code: from typing import List, Any def f(a: List[int], b: List[str]): return a+b f([1,2,3], ["3","4","5"]) I get this error: /home/georgeatmit/...

Opengraph URL: https://github.com/python/mypy/issues/720

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"List concat with different types causes error","articleBody":"When I run mypy on this code:\n\n```\nfrom typing import List, Any\n\ndef f(a: List[int], b: List[str]):\n    return a+b\n\nf([1,2,3], [\"3\",\"4\",\"5\"])\n```\n\nI get this error:\n    /home/georgeatmit/type1.py: note: In function \"f\":\n    /home/georgeatmit/type1.py:3: error: Unsupported operand types for + (\"list\" and List[str])\n\nIs combining lists of different types supported at the moment?\n","author":{"url":"https://github.com/noisecapella","@type":"Person","name":"noisecapella"},"datePublished":"2015-07-08T00:22:38.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":9},"url":"https://github.com/720/mypy/issues/720"}

Links:

Viewport: width=device-width