{"action":"created","issue":{"url":"https://api.github.com/repos/keean/zenscript/issues/18","repository_url":"https://api.github.com/repos/keean/zenscript","labels_url":"https://api.github.com/repos/keean/zenscript/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/keean/zenscript/issues/18/comments","events_url":"https://api.github.com/repos/keean/zenscript/issues/18/events","html_url":"https://github.com/keean/zenscript/issues/18","id":179470231,"number":18,"title":"Compiler Implementation","user":{"login":"keean","id":508384,"avatar_url":"https://avatars.githubusercontent.com/u/508384?v=3","gravatar_id":"","url":"https://api.github.com/users/keean","html_url":"https://github.com/keean","followers_url":"https://api.github.com/users/keean/followers","following_url":"https://api.github.com/users/keean/following{/other_user}","gists_url":"https://api.github.com/users/keean/gists{/gist_id}","starred_url":"https://api.github.com/users/keean/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/keean/subscriptions","organizations_url":"https://api.github.com/users/keean/orgs","repos_url":"https://api.github.com/users/keean/repos","events_url":"https://api.github.com/users/keean/events{/privacy}","received_events_url":"https://api.github.com/users/keean/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":292,"created_at":"2016-09-27T11:43:37Z","updated_at":"2016-10-18T21:46:54Z","closed_at":null,"body":"Discussion about the ongoing implementation of the compiler."},"comment":{"url":"https://api.github.com/repos/keean/zenscript/issues/comments/254649129","html_url":"https://github.com/keean/zenscript/issues/18#issuecomment-254649129","issue_url":"https://api.github.com/repos/keean/zenscript/issues/18","id":254649129,"user":{"login":"shelby3","id":247731,"avatar_url":"https://avatars.githubusercontent.com/u/247731?v=3","gravatar_id":"","url":"https://api.github.com/users/shelby3","html_url":"https://github.com/shelby3","followers_url":"https://api.github.com/users/shelby3/followers","following_url":"https://api.github.com/users/shelby3/following{/other_user}","gists_url":"https://api.github.com/users/shelby3/gists{/gist_id}","starred_url":"https://api.github.com/users/shelby3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shelby3/subscriptions","organizations_url":"https://api.github.com/users/shelby3/orgs","repos_url":"https://api.github.com/users/shelby3/repos","events_url":"https://api.github.com/users/shelby3/events{/privacy}","received_events_url":"https://api.github.com/users/shelby3/received_events","type":"User","site_admin":false},"created_at":"2016-10-18T21:46:54Z","updated_at":"2016-10-18T21:46:54Z","body":"> All the types represent immutable values in my suggestion. You would have to wrap the type in a mutable reference to be able to change it.\r\n\r\nThat is first time I've seen you mention that rule. You want default **_transitive_** immutability? You won't be able to change it. You have to copy it to change it.\r\n\r\nWhat is the advantage of making everything **_transitively_** immutable by default?\r\n\r\nAnd I still don't understand what typeclasses have to do with subsumption? The unification engine still needs the equality operation to understand subsumption. What is this (so far nebulous) external to type system concept?\r\n\r\n"}}
{"actor":{"display_login":"shelby3"}}