{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/6","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/6/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/6/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/6/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/6","id":172730807,"number":6,"title":"OverloadedRecordFields","user":{"login":"adamgundry","id":1153317,"avatar_url":"https://avatars.githubusercontent.com/u/1153317?v=3","gravatar_id":"","url":"https://api.github.com/users/adamgundry","html_url":"https://github.com/adamgundry","followers_url":"https://api.github.com/users/adamgundry/followers","following_url":"https://api.github.com/users/adamgundry/following{/other_user}","gists_url":"https://api.github.com/users/adamgundry/gists{/gist_id}","starred_url":"https://api.github.com/users/adamgundry/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/adamgundry/subscriptions","organizations_url":"https://api.github.com/users/adamgundry/orgs","repos_url":"https://api.github.com/users/adamgundry/repos","events_url":"https://api.github.com/users/adamgundry/events{/privacy}","received_events_url":"https://api.github.com/users/adamgundry/received_events","type":"User","site_admin":false},"labels":[{"id":499368938,"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/labels/Accepted","name":"Accepted","color":"c2e0c6","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":69,"created_at":"2016-08-23T15:28:44Z","updated_at":"2017-02-06T09:05:06Z","closed_at":"2017-02-04T03:13:47Z","pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/6","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/6","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/6.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/6.patch"},"body":"This is a proposal to introduce a new extension, `OverloadedRecordFields`, to make it easier to work with record datatypes that reuse the same field names.  It also makes some changes to the existing `OverloadedLabels` extension for consistency.\n\nThanks to all those who have provided feedback on previous iterations of this work, in particular @ekmett, whose [helpful criticism](https://www.reddit.com/r/haskell/comments/4x8tk8/overloadedlabels_considered_awesome/d6hx5qy) prompted some further refinements to the design. Further comments/complaints/sponsorship offers are welcome!\n\n[Rendered](https://github.com/adamgundry/ghc-proposals/blob/overloaded-record-fields/proposals/0000-overloaded-record-fields.rst).\n"},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/277621739","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/6#issuecomment-277621739","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/6","id":277621739,"user":{"login":"edsko","id":935288,"avatar_url":"https://avatars.githubusercontent.com/u/935288?v=3","gravatar_id":"","url":"https://api.github.com/users/edsko","html_url":"https://github.com/edsko","followers_url":"https://api.github.com/users/edsko/followers","following_url":"https://api.github.com/users/edsko/following{/other_user}","gists_url":"https://api.github.com/users/edsko/gists{/gist_id}","starred_url":"https://api.github.com/users/edsko/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edsko/subscriptions","organizations_url":"https://api.github.com/users/edsko/orgs","repos_url":"https://api.github.com/users/edsko/repos","events_url":"https://api.github.com/users/edsko/events{/privacy}","received_events_url":"https://api.github.com/users/edsko/received_events","type":"User","site_admin":false},"created_at":"2017-02-06T09:05:06Z","updated_at":"2017-02-06T09:05:06Z","body":"Let me just for the record register my vote against making raw van Laarhoven lenses the default in the core Haskell libraries. I understand that they are popular, but I personally consider them unidiomatic Haskell. I like Haskell because I like types. Types express intent, both to the compiler, automatically catching mistakes, but at least equally important they express intent to the human reader. Raw van Laarhoven lenses express no such intent; most of the types in the `lens` library are difficult to understand (unless one is an expert in free theorems, I suppose). The argument that \"it's convenient, we can just use an _x_ where it was expecting a _y_\" is exactly the argument proponents of dynamically typed languages use; if that argument is convincing, perhaps we should switch to Ruby :) "}}
{"actor":{"display_login":"edsko"}}