{"action":"created","issue":{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/722","repository_url":"https://api.github.com/repos/AmpersandTarski/Ampersand","labels_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/722/labels{/name}","comments_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/722/comments","events_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/722/events","html_url":"https://github.com/AmpersandTarski/Ampersand/issues/722","id":278759374,"number":722,"title":"Concepts without equality","user":{"login":"stefjoosten","id":275768,"avatar_url":"https://avatars1.githubusercontent.com/u/275768?v=4","gravatar_id":"","url":"https://api.github.com/users/stefjoosten","html_url":"https://github.com/stefjoosten","followers_url":"https://api.github.com/users/stefjoosten/followers","following_url":"https://api.github.com/users/stefjoosten/following{/other_user}","gists_url":"https://api.github.com/users/stefjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/stefjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefjoosten/subscriptions","organizations_url":"https://api.github.com/users/stefjoosten/orgs","repos_url":"https://api.github.com/users/stefjoosten/repos","events_url":"https://api.github.com/users/stefjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/stefjoosten/received_events","type":"User","site_admin":false},"labels":[{"id":776828732,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/Ampersand4","name":"Ampersand4","color":"d4c5f9","default":false},{"id":178262960,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/component:prototype%20generator","name":"component:prototype generator","color":"006b75","default":false},{"id":178262923,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/component:type%20checker","name":"component:type checker","color":"0052cc","default":false},{"id":178262759,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/enhancement","name":"enhancement","color":"c7def8","default":true},{"id":178261884,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/priority:normal","name":"priority:normal","color":"fbca04","default":false}],"state":"open","locked":false,"assignee":{"login":"stefjoosten","id":275768,"avatar_url":"https://avatars1.githubusercontent.com/u/275768?v=4","gravatar_id":"","url":"https://api.github.com/users/stefjoosten","html_url":"https://github.com/stefjoosten","followers_url":"https://api.github.com/users/stefjoosten/followers","following_url":"https://api.github.com/users/stefjoosten/following{/other_user}","gists_url":"https://api.github.com/users/stefjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/stefjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefjoosten/subscriptions","organizations_url":"https://api.github.com/users/stefjoosten/orgs","repos_url":"https://api.github.com/users/stefjoosten/repos","events_url":"https://api.github.com/users/stefjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/stefjoosten/received_events","type":"User","site_admin":false},"assignees":[{"login":"stefjoosten","id":275768,"avatar_url":"https://avatars1.githubusercontent.com/u/275768?v=4","gravatar_id":"","url":"https://api.github.com/users/stefjoosten","html_url":"https://github.com/stefjoosten","followers_url":"https://api.github.com/users/stefjoosten/followers","following_url":"https://api.github.com/users/stefjoosten/following{/other_user}","gists_url":"https://api.github.com/users/stefjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/stefjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefjoosten/subscriptions","organizations_url":"https://api.github.com/users/stefjoosten/orgs","repos_url":"https://api.github.com/users/stefjoosten/repos","events_url":"https://api.github.com/users/stefjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/stefjoosten/received_events","type":"User","site_admin":false},{"login":"sjcjoosten","id":7753626,"avatar_url":"https://avatars0.githubusercontent.com/u/7753626?v=4","gravatar_id":"","url":"https://api.github.com/users/sjcjoosten","html_url":"https://github.com/sjcjoosten","followers_url":"https://api.github.com/users/sjcjoosten/followers","following_url":"https://api.github.com/users/sjcjoosten/following{/other_user}","gists_url":"https://api.github.com/users/sjcjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/sjcjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sjcjoosten/subscriptions","organizations_url":"https://api.github.com/users/sjcjoosten/orgs","repos_url":"https://api.github.com/users/sjcjoosten/repos","events_url":"https://api.github.com/users/sjcjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/sjcjoosten/received_events","type":"User","site_admin":false}],"milestone":null,"comments":11,"created_at":"2017-12-03T09:45:40Z","updated_at":"2018-02-02T12:04:31Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"# Problem\r\nAmpersand currently assumes that equality is defined for all concepts. Suppose we could have concepts on which equality is *not* defined. The type checker could then help the programmer to prevent unintended use of equality for such concepts. For example, if we could say that a video-blob has no equality, the type checker would help if we would inadvertedly use it as key field in an object (i.e. as ugly identifier). \r\n\r\n# Problem\r\nHowever, there are atoms where we do not wish to implement equality. Examples are blobs and videos. We don't want to have equality here, because it may cause erratic behaviour/effects, such as:\r\n\r\n- @stefjoosten: please come up with some examples, e.g. from student experience;\r\n- @sjcjoosten: please come up with some examples, e.g. why real numbers are a good example, too. "},"comment":{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/comments/362569034","html_url":"https://github.com/AmpersandTarski/Ampersand/issues/722#issuecomment-362569034","issue_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/722","id":362569034,"user":{"login":"Michiel-s","id":7961582,"avatar_url":"https://avatars0.githubusercontent.com/u/7961582?v=4","gravatar_id":"","url":"https://api.github.com/users/Michiel-s","html_url":"https://github.com/Michiel-s","followers_url":"https://api.github.com/users/Michiel-s/followers","following_url":"https://api.github.com/users/Michiel-s/following{/other_user}","gists_url":"https://api.github.com/users/Michiel-s/gists{/gist_id}","starred_url":"https://api.github.com/users/Michiel-s/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Michiel-s/subscriptions","organizations_url":"https://api.github.com/users/Michiel-s/orgs","repos_url":"https://api.github.com/users/Michiel-s/repos","events_url":"https://api.github.com/users/Michiel-s/events{/privacy}","received_events_url":"https://api.github.com/users/Michiel-s/received_events","type":"User","site_admin":false},"created_at":"2018-02-02T12:04:31Z","updated_at":"2018-02-02T12:04:31Z","author_association":"CONTRIBUTOR","body":"For the prototypes, equality also depends on the  implementation. E.g. in a mysql database, equality for floating point variables does not work in all cases. This is something we should take into account."}}
{"actor":{"display_login":"Michiel-s"}}