{"action":"created","issue":{"url":"https://api.github.com/repos/jolie/jolie/issues/90","repository_url":"https://api.github.com/repos/jolie/jolie","labels_url":"https://api.github.com/repos/jolie/jolie/issues/90/labels{/name}","comments_url":"https://api.github.com/repos/jolie/jolie/issues/90/comments","events_url":"https://api.github.com/repos/jolie/jolie/issues/90/events","html_url":"https://github.com/jolie/jolie/issues/90","id":166574270,"number":90,"title":"Matching the types inside type choice","user":{"login":"agwe","id":11042986,"avatar_url":"https://avatars.githubusercontent.com/u/11042986?v=3","gravatar_id":"","url":"https://api.github.com/users/agwe","html_url":"https://github.com/agwe","followers_url":"https://api.github.com/users/agwe/followers","following_url":"https://api.github.com/users/agwe/following{/other_user}","gists_url":"https://api.github.com/users/agwe/gists{/gist_id}","starred_url":"https://api.github.com/users/agwe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/agwe/subscriptions","organizations_url":"https://api.github.com/users/agwe/orgs","repos_url":"https://api.github.com/users/agwe/repos","events_url":"https://api.github.com/users/agwe/events{/privacy}","received_events_url":"https://api.github.com/users/agwe/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-07-20T12:55:06Z","updated_at":"2016-07-21T12:56:28Z","closed_at":null,"body":"Dear all,\r\n\r\nSince there is a possibility to create type choices (like for example `type animal: cat | dog`), probably some kind of matching directive could be implemented, like:\r\n\r\n```\r\nmatch:\r\n  cat {//set of actions}\r\n  dog {//another set of actions}\r\n```\r\n\r\nWhat do you think? Would it be useful?\r\n\r\n\r\n "},"comment":{"url":"https://api.github.com/repos/jolie/jolie/issues/comments/234244909","html_url":"https://github.com/jolie/jolie/issues/90#issuecomment-234244909","issue_url":"https://api.github.com/repos/jolie/jolie/issues/90","id":234244909,"user":{"login":"agwe","id":11042986,"avatar_url":"https://avatars.githubusercontent.com/u/11042986?v=3","gravatar_id":"","url":"https://api.github.com/users/agwe","html_url":"https://github.com/agwe","followers_url":"https://api.github.com/users/agwe/followers","following_url":"https://api.github.com/users/agwe/following{/other_user}","gists_url":"https://api.github.com/users/agwe/gists{/gist_id}","starred_url":"https://api.github.com/users/agwe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/agwe/subscriptions","organizations_url":"https://api.github.com/users/agwe/orgs","repos_url":"https://api.github.com/users/agwe/repos","events_url":"https://api.github.com/users/agwe/events{/privacy}","received_events_url":"https://api.github.com/users/agwe/received_events","type":"User","site_admin":false},"created_at":"2016-07-21T12:56:28Z","updated_at":"2016-07-21T12:56:28Z","body":"We could use both match/case and instanceof, having match/case like syntactic sugar. \r\nI'm afraid it might be not always clear how to infer a type for pattern matching against the values, e.g is `\\b[A-Z0-9._%+-]+@[A-Z0-9.-]+\\.[A-Z]{2,}\\b` regexp or just a string type?\"\r\nWhat if we start with matching against the types only?\r\n\r\nBy the way, should we do using of \"case _\" mandatory to guarantee matching of all possible types? "}}
{"actor":{"display_login":"agwe"}}