{"action":"created","issue":{"url":"https://api.github.com/repos/ambiata/icicle/issues/24","labels_url":"https://api.github.com/repos/ambiata/icicle/issues/24/labels{/name}","comments_url":"https://api.github.com/repos/ambiata/icicle/issues/24/comments","events_url":"https://api.github.com/repos/ambiata/icicle/issues/24/events","html_url":"https://github.com/ambiata/icicle/pull/24","id":88365447,"number":24,"title":"Conversion to Core; plumbing","user":{"login":"amosr","id":964498,"avatar_url":"https://avatars.githubusercontent.com/u/964498?v=3","gravatar_id":"","url":"https://api.github.com/users/amosr","html_url":"https://github.com/amosr","followers_url":"https://api.github.com/users/amosr/followers","following_url":"https://api.github.com/users/amosr/following{/other_user}","gists_url":"https://api.github.com/users/amosr/gists{/gist_id}","starred_url":"https://api.github.com/users/amosr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/amosr/subscriptions","organizations_url":"https://api.github.com/users/amosr/orgs","repos_url":"https://api.github.com/users/amosr/repos","events_url":"https://api.github.com/users/amosr/events{/privacy}","received_events_url":"https://api.github.com/users/amosr/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-06-15T09:09:37Z","updated_at":"2015-06-15T23:49:17Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ambiata/icicle/pulls/24","html_url":"https://github.com/ambiata/icicle/pull/24","diff_url":"https://github.com/ambiata/icicle/pull/24.diff","patch_url":"https://github.com/ambiata/icicle/pull/24.patch"},"body":"Some work on converting Icicle to Core, and something to make the parse -> typecheck -> convert process easier"},"comment":{"url":"https://api.github.com/repos/ambiata/icicle/issues/comments/112239374","html_url":"https://github.com/ambiata/icicle/pull/24#issuecomment-112239374","issue_url":"https://api.github.com/repos/ambiata/icicle/issues/24","id":112239374,"user":{"login":"amosr","id":964498,"avatar_url":"https://avatars.githubusercontent.com/u/964498?v=3","gravatar_id":"","url":"https://api.github.com/users/amosr","html_url":"https://github.com/amosr","followers_url":"https://api.github.com/users/amosr/followers","following_url":"https://api.github.com/users/amosr/following{/other_user}","gists_url":"https://api.github.com/users/amosr/gists{/gist_id}","starred_url":"https://api.github.com/users/amosr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/amosr/subscriptions","organizations_url":"https://api.github.com/users/amosr/orgs","repos_url":"https://api.github.com/users/amosr/repos","events_url":"https://api.github.com/users/amosr/events{/privacy}","received_events_url":"https://api.github.com/users/amosr/received_events","type":"User","site_admin":false},"created_at":"2015-06-15T23:49:17Z","updated_at":"2015-06-15T23:49:17Z","body":"We can convert a few trivial queries from Icicle to Core now!\r\n\r\n```\r\n>> mapRight pretty $ sourceParseConvert \"feature salary ~> filter value > 0 ~> sum (value * value) / (sum value * sum value)\"\r\nRight Program (source : Stream Int)\r\nPrecomputations:\r\n\r\nStream transformers:\r\nv0 =\r\n    source\r\nv1 =\r\n    sfilter [Int] (gt# [Int] v2 (0 : Int)) v0\r\nReductions:\r\nv4 =\r\n    rfold   [Int] [Int] (\\v5 : Int. \\v3 : Int. add# v5 (mul# v3 v3)) (0 : Int) v1\r\nv7 =\r\n    rfold   [Int] [Int] (\\v8 : Int. \\v6 : Int. add# v8 v6) (0 : Int) v1\r\nv10 =\r\n    rfold   [Int] [Int] (\\v11 : Int. \\v9 : Int. add# v11 v9) (0 : Int) v1\r\nPostcomputations:\r\nv12 =\r\n    mul# v7 v10\r\nv13 =\r\n    div# v4 v12\r\nReturning:\r\n    v13\r\n```"}}