{"action":"closed","issue":{"url":"https://api.github.com/repos/JukkaL/mypy/issues/540","labels_url":"https://api.github.com/repos/JukkaL/mypy/issues/540/labels{/name}","comments_url":"https://api.github.com/repos/JukkaL/mypy/issues/540/comments","events_url":"https://api.github.com/repos/JukkaL/mypy/issues/540/events","html_url":"https://github.com/JukkaL/mypy/issues/540","id":52553127,"number":540,"title":"A possible syntax for a function type with a varargs argument list","user":{"login":"gvanrossum","id":2894642,"avatar_url":"https://avatars.githubusercontent.com/u/2894642?v=3","gravatar_id":"","url":"https://api.github.com/users/gvanrossum","html_url":"https://github.com/gvanrossum","followers_url":"https://api.github.com/users/gvanrossum/followers","following_url":"https://api.github.com/users/gvanrossum/following{/other_user}","gists_url":"https://api.github.com/users/gvanrossum/gists{/gist_id}","starred_url":"https://api.github.com/users/gvanrossum/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gvanrossum/subscriptions","organizations_url":"https://api.github.com/users/gvanrossum/orgs","repos_url":"https://api.github.com/users/gvanrossum/repos","events_url":"https://api.github.com/users/gvanrossum/events{/privacy}","received_events_url":"https://api.github.com/users/gvanrossum/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/JukkaL/mypy/labels/enhancement%20proposal","name":"enhancement proposal","color":"bfdadc"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":8,"created_at":"2014-12-20T05:42:42Z","updated_at":"2015-05-17T17:43:11Z","closed_at":"2015-05-17T17:43:11Z","body":"I just skimmed the README for Reticulated Python (https://github.com/mvitousek/reticulated). They have a useful hack to spell the type of a function with varargs or other dynamic hacks in the argument list: a normal function type is spelled e.g. Function([Int, Int], Float); a function type with a varargs argument list is spelled e.g. Function(DynParameters, Float). In mypy this would be Function[DynParameters, float]. (Or pick some other name for DynParameters.)"}}