{"action":"created","issue":{"url":"https://api.github.com/repos/brendanzab/pikelet/issues/34","repository_url":"https://api.github.com/repos/brendanzab/pikelet","labels_url":"https://api.github.com/repos/brendanzab/pikelet/issues/34/labels{/name}","comments_url":"https://api.github.com/repos/brendanzab/pikelet/issues/34/comments","events_url":"https://api.github.com/repos/brendanzab/pikelet/issues/34/events","html_url":"https://github.com/brendanzab/pikelet/issues/34","id":312279816,"number":34,"title":"User-defined infix operators","user":{"login":"brendanzab","id":695077,"avatar_url":"https://avatars3.githubusercontent.com/u/695077?v=4","gravatar_id":"","url":"https://api.github.com/users/brendanzab","html_url":"https://github.com/brendanzab","followers_url":"https://api.github.com/users/brendanzab/followers","following_url":"https://api.github.com/users/brendanzab/following{/other_user}","gists_url":"https://api.github.com/users/brendanzab/gists{/gist_id}","starred_url":"https://api.github.com/users/brendanzab/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/brendanzab/subscriptions","organizations_url":"https://api.github.com/users/brendanzab/orgs","repos_url":"https://api.github.com/users/brendanzab/repos","events_url":"https://api.github.com/users/brendanzab/events{/privacy}","received_events_url":"https://api.github.com/users/brendanzab/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-04-08T07:12:09Z","updated_at":"2018-04-17T00:14:11Z","closed_at":null,"author_association":"OWNER","body":"It would be nice to have operators for:\r\n\r\n- forward and reverse function composition: `(<<)`, `(>>)`\r\n- forward and reverse function application: `(<|)`, `(|>)`\r\n- mathematical operations: `(+)`, `(-)`, `(*)`, `(/)`\r\n- string concatenation: `(++)`"},"comment":{"url":"https://api.github.com/repos/brendanzab/pikelet/issues/comments/381789124","html_url":"https://github.com/brendanzab/pikelet/issues/34#issuecomment-381789124","issue_url":"https://api.github.com/repos/brendanzab/pikelet/issues/34","id":381789124,"user":{"login":"brendanzab","id":695077,"avatar_url":"https://avatars3.githubusercontent.com/u/695077?v=4","gravatar_id":"","url":"https://api.github.com/users/brendanzab","html_url":"https://github.com/brendanzab","followers_url":"https://api.github.com/users/brendanzab/followers","following_url":"https://api.github.com/users/brendanzab/following{/other_user}","gists_url":"https://api.github.com/users/brendanzab/gists{/gist_id}","starred_url":"https://api.github.com/users/brendanzab/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/brendanzab/subscriptions","organizations_url":"https://api.github.com/users/brendanzab/orgs","repos_url":"https://api.github.com/users/brendanzab/repos","events_url":"https://api.github.com/users/brendanzab/events{/privacy}","received_events_url":"https://api.github.com/users/brendanzab/received_events","type":"User","site_admin":false},"created_at":"2018-04-17T00:14:11Z","updated_at":"2018-04-17T00:14:11Z","author_association":"OWNER","body":"Thanks for the info! Might try tracking down some code/libraries that use them to see how it looks. I'd just like to avoid the numeric precedences that are kind of hard to use/visualise in Coq, Agda, and Lean.\r\n\r\nUnlike Swift, Pikelet won't have overloading apart from instance arguments (#13), so I'm guessing that would dodge the global name lookup issue? It would kind of look like:\r\n\r\n```\r\nMonoid (a : Type) = Record {\r\n    empty : a,\r\n    append : a -> a -> a,\r\n};\r\n\r\n(<>) : {a : Type} {{M : Monoid a}} -> a -> a -> a;\r\n(<>) {{M}} = M.append; \r\n```"}}
{"actor":{"display_login":"brendanzab"}}