{"action":"created","issue":{"url":"https://api.github.com/repos/pfultz2/Fit/issues/39","repository_url":"https://api.github.com/repos/pfultz2/Fit","labels_url":"https://api.github.com/repos/pfultz2/Fit/issues/39/labels{/name}","comments_url":"https://api.github.com/repos/pfultz2/Fit/issues/39/comments","events_url":"https://api.github.com/repos/pfultz2/Fit/issues/39/events","html_url":"https://github.com/pfultz2/Fit/issues/39","id":109656551,"number":39,"title":"Consider dropping the \"dependent typing\" term","user":{"login":"ldionne","id":700834,"avatar_url":"https://avatars.githubusercontent.com/u/700834?v=3","gravatar_id":"","url":"https://api.github.com/users/ldionne","html_url":"https://github.com/ldionne","followers_url":"https://api.github.com/users/ldionne/followers","following_url":"https://api.github.com/users/ldionne/following{/other_user}","gists_url":"https://api.github.com/users/ldionne/gists{/gist_id}","starred_url":"https://api.github.com/users/ldionne/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ldionne/subscriptions","organizations_url":"https://api.github.com/users/ldionne/orgs","repos_url":"https://api.github.com/users/ldionne/repos","events_url":"https://api.github.com/users/ldionne/events{/privacy}","received_events_url":"https://api.github.com/users/ldionne/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-10-04T01:50:18Z","updated_at":"2016-04-12T00:23:07Z","closed_at":null,"body":"As we discussed at CppCon, it might be a good idea to stop using the term _dependent typing_ in the documentation in favor of another word which is not already used in math/functional programming."},"comment":{"url":"https://api.github.com/repos/pfultz2/Fit/issues/comments/208637067","html_url":"https://github.com/pfultz2/Fit/issues/39#issuecomment-208637067","issue_url":"https://api.github.com/repos/pfultz2/Fit/issues/39","id":208637067,"user":{"login":"pfultz2","id":1306044,"avatar_url":"https://avatars.githubusercontent.com/u/1306044?v=3","gravatar_id":"","url":"https://api.github.com/users/pfultz2","html_url":"https://github.com/pfultz2","followers_url":"https://api.github.com/users/pfultz2/followers","following_url":"https://api.github.com/users/pfultz2/following{/other_user}","gists_url":"https://api.github.com/users/pfultz2/gists{/gist_id}","starred_url":"https://api.github.com/users/pfultz2/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pfultz2/subscriptions","organizations_url":"https://api.github.com/users/pfultz2/orgs","repos_url":"https://api.github.com/users/pfultz2/repos","events_url":"https://api.github.com/users/pfultz2/events{/privacy}","received_events_url":"https://api.github.com/users/pfultz2/received_events","type":"User","site_admin":false},"created_at":"2016-04-12T00:23:06Z","updated_at":"2016-04-12T00:23:06Z","body":"> No, the type of the result is dependent on the type of b.\r\n\r\nYes, but the type of `b` is dependent on a value. The fact that it is a polymorphic function shouldn't change the fact that it depends on a value."}}