{"action":"created","issue":{"url":"https://api.github.com/repos/ericniebler/stl2/issues/88","labels_url":"https://api.github.com/repos/ericniebler/stl2/issues/88/labels{/name}","comments_url":"https://api.github.com/repos/ericniebler/stl2/issues/88/comments","events_url":"https://api.github.com/repos/ericniebler/stl2/issues/88/events","html_url":"https://github.com/ericniebler/stl2/issues/88","id":101059410,"number":88,"title":"Don't say \"well-formed\" or else define it","user":{"login":"ericniebler","id":225757,"avatar_url":"https://avatars.githubusercontent.com/u/225757?v=3","gravatar_id":"","url":"https://api.github.com/users/ericniebler","html_url":"https://github.com/ericniebler","followers_url":"https://api.github.com/users/ericniebler/followers","following_url":"https://api.github.com/users/ericniebler/following{/other_user}","gists_url":"https://api.github.com/users/ericniebler/gists{/gist_id}","starred_url":"https://api.github.com/users/ericniebler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ericniebler/subscriptions","organizations_url":"https://api.github.com/users/ericniebler/orgs","repos_url":"https://api.github.com/users/ericniebler/repos","events_url":"https://api.github.com/users/ericniebler/events{/privacy}","received_events_url":"https://api.github.com/users/ericniebler/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":12,"created_at":"2015-08-14T17:27:20Z","updated_at":"2015-09-11T02:48:15Z","closed_at":null,"body":""},"comment":{"url":"https://api.github.com/repos/ericniebler/stl2/issues/comments/139434627","html_url":"https://github.com/ericniebler/stl2/issues/88#issuecomment-139434627","issue_url":"https://api.github.com/repos/ericniebler/stl2/issues/88","id":139434627,"user":{"login":"asutton","id":570796,"avatar_url":"https://avatars.githubusercontent.com/u/570796?v=3","gravatar_id":"","url":"https://api.github.com/users/asutton","html_url":"https://github.com/asutton","followers_url":"https://api.github.com/users/asutton/followers","following_url":"https://api.github.com/users/asutton/following{/other_user}","gists_url":"https://api.github.com/users/asutton/gists{/gist_id}","starred_url":"https://api.github.com/users/asutton/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asutton/subscriptions","organizations_url":"https://api.github.com/users/asutton/orgs","repos_url":"https://api.github.com/users/asutton/repos","events_url":"https://api.github.com/users/asutton/events{/privacy}","received_events_url":"https://api.github.com/users/asutton/received_events","type":"User","site_admin":false},"created_at":"2015-09-11T02:48:15Z","updated_at":"2015-09-11T02:48:15Z","body":"Well, no... Division by 0.0 *is* defined, and the result depends on the\ndividend.\n\nI think Sean's point (it's definitely mine) was that there are cases of\ndifficult-to-specify sets of values (or states) for which the behavior of\nan operation is undefined, even though we generally want it to be.\n\nMaybe it's sufficient to say that a concept's semantic requirements for an\noperation apply only to values defined to be in the domain of that\noperation by their type. That needs wordsmithing.\n\n\nAndrew Sutton\n\nOn Thu, Sep 10, 2015 at 9:49 PM, Casey Carter <notifications@github.com>\nwrote:\n\n> If we're looking for an example of an operation that is only well-defined\n> over a restricted domain, I don't think we could go wrong with division.\n> Everyone who will ever read the TS is familiar with division and\n> comfortable with the idea that division is a valid operation on real\n> numbers despite that fact that division by zero is not defined. If we start\n> with the easy stuff, they're more likely to stick with us when we claim\n> that double is EqualityComparable despite the existence of NaNs, and that\n> pointers are TotallyOrdered despite the fact that < is only defined over\n> pointers into the same array.\n>\n> —\n> Reply to this email directly or view it on GitHub\n> <https://github.com/ericniebler/stl2/issues/88#issuecomment-139427958>.\n>\n"}}