{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/18367","repository_url":"https://api.github.com/repos/JuliaLang/julia","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/18367/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/18367/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/18367/events","html_url":"https://github.com/JuliaLang/julia/issues/18367","id":175135948,"number":18367,"title":"Introduce `UInt1` type to replace misuse of `Bool`","user":{"login":"TotalVerb","id":12903942,"avatar_url":"https://avatars.githubusercontent.com/u/12903942?v=3","gravatar_id":"","url":"https://api.github.com/users/TotalVerb","html_url":"https://github.com/TotalVerb","followers_url":"https://api.github.com/users/TotalVerb/followers","following_url":"https://api.github.com/users/TotalVerb/following{/other_user}","gists_url":"https://api.github.com/users/TotalVerb/gists{/gist_id}","starred_url":"https://api.github.com/users/TotalVerb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TotalVerb/subscriptions","organizations_url":"https://api.github.com/users/TotalVerb/orgs","repos_url":"https://api.github.com/users/TotalVerb/repos","events_url":"https://api.github.com/users/TotalVerb/events{/privacy}","received_events_url":"https://api.github.com/users/TotalVerb/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":61,"created_at":"2016-09-05T23:21:44Z","updated_at":"2016-09-20T21:53:25Z","closed_at":null,"body":"This will solve a whole bunch of problems.\r\n\r\n- `UInt1` is a lot more intuitive than `Bool` as a identity element for `promote_type`.\r\n- `true + true === 2` won't be inconsistent with every other unsigned type; we can have `UInt1(1) + UInt1(1) === UInt1(0)` as expected.\r\n- `Bool` can be made non-numeric. (cc @StefanKarpinski)\r\n\r\nI think the current system is really not ideal; it's worse than a method pun: it's punning a type for two very different things."},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/248446418","html_url":"https://github.com/JuliaLang/julia/issues/18367#issuecomment-248446418","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/18367","id":248446418,"user":{"login":"TotalVerb","id":12903942,"avatar_url":"https://avatars.githubusercontent.com/u/12903942?v=3","gravatar_id":"","url":"https://api.github.com/users/TotalVerb","html_url":"https://github.com/TotalVerb","followers_url":"https://api.github.com/users/TotalVerb/followers","following_url":"https://api.github.com/users/TotalVerb/following{/other_user}","gists_url":"https://api.github.com/users/TotalVerb/gists{/gist_id}","starred_url":"https://api.github.com/users/TotalVerb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TotalVerb/subscriptions","organizations_url":"https://api.github.com/users/TotalVerb/orgs","repos_url":"https://api.github.com/users/TotalVerb/repos","events_url":"https://api.github.com/users/TotalVerb/events{/privacy}","received_events_url":"https://api.github.com/users/TotalVerb/received_events","type":"User","site_admin":false},"created_at":"2016-09-20T21:53:24Z","updated_at":"2016-09-20T21:53:24Z","body":"My opinion is that any time you have two sensible behaviours for a type, and are tempted to allow the user to _choose_ behaviour, then that type is a type-pun: it's serving the purpose of two types. Hence I'm more comfortable with option 3."}}
{"actor":{"display_login":"TotalVerb"}}