{"action":"created","comment":{"url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/comments/25426507","id":25426507,"diff_hunk":"@@ -0,0 +1,398 @@\n+---\n+layout: post\n+title: Existential types are not raw types\n+\n+meta:\n+  nav: blog\n+  author: S11001001\n+  pygments: true\n+---\n+\n+Existential types are not raw types\n+===================================\n+\n+*While this blog is typically strictly for Scala developers interested\n+in strongly-typed programming, this particular article is of interest\n+to Java developers as well.  You don’t need to know Scala to follow\n+along.*\n+\n+Scala makes a *welcome* simplification in its type system:\n+[type arguments](http://docs.scala-lang.org/tutorials/tour/generic-classes.html)\n+are always required.  That is, in Java, you may (unsafely) leave off\n+the type arguments for compatibility with pre-1.5 code,\n+e.g. `java.util.List`, forming a\n+[*raw type*](http://docs.oracle.com/javase/tutorial/java/generics/rawTypes.html).\n+Scala does not permit this, and requires you to pass an type argument.\n+\n+The most frequent trouble people have with this rule is being unable\n+to implement some Java method with missing type arguments in its\n+signature, e.g. one that takes a raw `List` as an argument.  Let us\n+see why, and why this is a good thing.","path":"_posts/2015-02-26-rawtypes.md","position":null,"original_position":30,"commit_id":"13008ca1855aa752aa69c95165cc2a83d0a2f463","original_commit_id":"7f2005ae5bec6ab6ab56d0ad2f2d24da7ea32023","user":{"login":"S11001001","id":219186,"avatar_url":"https://avatars.githubusercontent.com/u/219186?v=3","gravatar_id":"","url":"https://api.github.com/users/S11001001","html_url":"https://github.com/S11001001","followers_url":"https://api.github.com/users/S11001001/followers","following_url":"https://api.github.com/users/S11001001/following{/other_user}","gists_url":"https://api.github.com/users/S11001001/gists{/gist_id}","starred_url":"https://api.github.com/users/S11001001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/S11001001/subscriptions","organizations_url":"https://api.github.com/users/S11001001/orgs","repos_url":"https://api.github.com/users/S11001001/repos","events_url":"https://api.github.com/users/S11001001/events{/privacy}","received_events_url":"https://api.github.com/users/S11001001/received_events","type":"User","site_admin":false},"body":"@ceedubs I'm happy to make it clearer on the first read; thanks.","created_at":"2015-02-26T13:39:46Z","updated_at":"2015-02-26T13:39:46Z","html_url":"https://github.com/typelevel/typelevel.github.com/pull/41#discussion_r25426507","pull_request_url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41","_links":{"self":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/comments/25426507"},"html":{"href":"https://github.com/typelevel/typelevel.github.com/pull/41#discussion_r25426507"},"pull_request":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41"}}},"pull_request":{"url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41","id":29994139,"html_url":"https://github.com/typelevel/typelevel.github.com/pull/41","diff_url":"https://github.com/typelevel/typelevel.github.com/pull/41.diff","patch_url":"https://github.com/typelevel/typelevel.github.com/pull/41.patch","issue_url":"https://api.github.com/repos/typelevel/typelevel.github.com/issues/41","number":41,"state":"open","locked":false,"title":"New post: \"Existential types are not raw types\"","user":{"login":"S11001001","id":219186,"avatar_url":"https://avatars.githubusercontent.com/u/219186?v=3","gravatar_id":"","url":"https://api.github.com/users/S11001001","html_url":"https://github.com/S11001001","followers_url":"https://api.github.com/users/S11001001/followers","following_url":"https://api.github.com/users/S11001001/following{/other_user}","gists_url":"https://api.github.com/users/S11001001/gists{/gist_id}","starred_url":"https://api.github.com/users/S11001001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/S11001001/subscriptions","organizations_url":"https://api.github.com/users/S11001001/orgs","repos_url":"https://api.github.com/users/S11001001/repos","events_url":"https://api.github.com/users/S11001001/events{/privacy}","received_events_url":"https://api.github.com/users/S11001001/received_events","type":"User","site_admin":false},"body":"* [x] replace 2nd \"42\" with \"84\" so following error message origin is clearer\r\n* [x] expand discussion of type variable patterns (thanks @tpolecat)\r\n* [x] how to fix 3: suggest patching in `-Xlint:rawtypes`\r\n* [x] explain in intro that the audience includes Java devs","created_at":"2015-02-25T15:09:00Z","updated_at":"2015-02-26T13:39:46Z","closed_at":null,"merged_at":null,"merge_commit_sha":"f89efdcc8323947817b9491c3f6af624c5074126","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41/commits","review_comments_url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41/comments","review_comment_url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/comments{/number}","comments_url":"https://api.github.com/repos/typelevel/typelevel.github.com/issues/41/comments","statuses_url":"https://api.github.com/repos/typelevel/typelevel.github.com/statuses/13008ca1855aa752aa69c95165cc2a83d0a2f463","head":{"label":"S11001001:topic/rawtypes","ref":"topic/rawtypes","sha":"13008ca1855aa752aa69c95165cc2a83d0a2f463","user":{"login":"S11001001","id":219186,"avatar_url":"https://avatars.githubusercontent.com/u/219186?v=3","gravatar_id":"","url":"https://api.github.com/users/S11001001","html_url":"https://github.com/S11001001","followers_url":"https://api.github.com/users/S11001001/followers","following_url":"https://api.github.com/users/S11001001/following{/other_user}","gists_url":"https://api.github.com/users/S11001001/gists{/gist_id}","starred_url":"https://api.github.com/users/S11001001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/S11001001/subscriptions","organizations_url":"https://api.github.com/users/S11001001/orgs","repos_url":"https://api.github.com/users/S11001001/repos","events_url":"https://api.github.com/users/S11001001/events{/privacy}","received_events_url":"https://api.github.com/users/S11001001/received_events","type":"User","site_admin":false},"repo":{"id":12748326,"name":"typelevel.github.com","full_name":"S11001001/typelevel.github.com","owner":{"login":"S11001001","id":219186,"avatar_url":"https://avatars.githubusercontent.com/u/219186?v=3","gravatar_id":"","url":"https://api.github.com/users/S11001001","html_url":"https://github.com/S11001001","followers_url":"https://api.github.com/users/S11001001/followers","following_url":"https://api.github.com/users/S11001001/following{/other_user}","gists_url":"https://api.github.com/users/S11001001/gists{/gist_id}","starred_url":"https://api.github.com/users/S11001001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/S11001001/subscriptions","organizations_url":"https://api.github.com/users/S11001001/orgs","repos_url":"https://api.github.com/users/S11001001/repos","events_url":"https://api.github.com/users/S11001001/events{/privacy}","received_events_url":"https://api.github.com/users/S11001001/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/S11001001/typelevel.github.com","description":"Web site of typelevel.scala","fork":true,"url":"https://api.github.com/repos/S11001001/typelevel.github.com","forks_url":"https://api.github.com/repos/S11001001/typelevel.github.com/forks","keys_url":"https://api.github.com/repos/S11001001/typelevel.github.com/keys{/key_id}","collaborators_url":"https://api.github.com/repos/S11001001/typelevel.github.com/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/S11001001/typelevel.github.com/teams","hooks_url":"https://api.github.com/repos/S11001001/typelevel.github.com/hooks","issue_events_url":"https://api.github.com/repos/S11001001/typelevel.github.com/issues/events{/number}","events_url":"https://api.github.com/repos/S11001001/typelevel.github.com/events","assignees_url":"https://api.github.com/repos/S11001001/typelevel.github.com/assignees{/user}","branches_url":"https://api.github.com/repos/S11001001/typelevel.github.com/branches{/branch}","tags_url":"https://api.github.com/repos/S11001001/typelevel.github.com/tags","blobs_url":"https://api.github.com/repos/S11001001/typelevel.github.com/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/S11001001/typelevel.github.com/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/S11001001/typelevel.github.com/git/refs{/sha}","trees_url":"https://api.github.com/repos/S11001001/typelevel.github.com/git/trees{/sha}","statuses_url":"https://api.github.com/repos/S11001001/typelevel.github.com/statuses/{sha}","languages_url":"https://api.github.com/repos/S11001001/typelevel.github.com/languages","stargazers_url":"https://api.github.com/repos/S11001001/typelevel.github.com/stargazers","contributors_url":"https://api.github.com/repos/S11001001/typelevel.github.com/contributors","subscribers_url":"https://api.github.com/repos/S11001001/typelevel.github.com/subscribers","subscription_url":"https://api.github.com/repos/S11001001/typelevel.github.com/subscription","commits_url":"https://api.github.com/repos/S11001001/typelevel.github.com/commits{/sha}","git_commits_url":"https://api.github.com/repos/S11001001/typelevel.github.com/git/commits{/sha}","comments_url":"https://api.github.com/repos/S11001001/typelevel.github.com/comments{/number}","issue_comment_url":"https://api.github.com/repos/S11001001/typelevel.github.com/issues/comments{/number}","contents_url":"https://api.github.com/repos/S11001001/typelevel.github.com/contents/{+path}","compare_url":"https://api.github.com/repos/S11001001/typelevel.github.com/compare/{base}...{head}","merges_url":"https://api.github.com/repos/S11001001/typelevel.github.com/merges","archive_url":"https://api.github.com/repos/S11001001/typelevel.github.com/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/S11001001/typelevel.github.com/downloads","issues_url":"https://api.github.com/repos/S11001001/typelevel.github.com/issues{/number}","pulls_url":"https://api.github.com/repos/S11001001/typelevel.github.com/pulls{/number}","milestones_url":"https://api.github.com/repos/S11001001/typelevel.github.com/milestones{/number}","notifications_url":"https://api.github.com/repos/S11001001/typelevel.github.com/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/S11001001/typelevel.github.com/labels{/name}","releases_url":"https://api.github.com/repos/S11001001/typelevel.github.com/releases{/id}","created_at":"2013-09-11T05:25:41Z","updated_at":"2014-07-02T17:25:36Z","pushed_at":"2015-02-26T13:38:17Z","git_url":"git://github.com/S11001001/typelevel.github.com.git","ssh_url":"git@github.com:S11001001/typelevel.github.com.git","clone_url":"https://github.com/S11001001/typelevel.github.com.git","svn_url":"https://github.com/S11001001/typelevel.github.com","homepage":"http://typelevel.org","size":590,"stargazers_count":0,"watchers_count":0,"language":"CSS","has_issues":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"typelevel:master","ref":"master","sha":"351a048a55d90a21c8380b6d0bca0a4a003c64cf","user":{"login":"typelevel","id":3731824,"avatar_url":"https://avatars.githubusercontent.com/u/3731824?v=3","gravatar_id":"","url":"https://api.github.com/users/typelevel","html_url":"https://github.com/typelevel","followers_url":"https://api.github.com/users/typelevel/followers","following_url":"https://api.github.com/users/typelevel/following{/other_user}","gists_url":"https://api.github.com/users/typelevel/gists{/gist_id}","starred_url":"https://api.github.com/users/typelevel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/typelevel/subscriptions","organizations_url":"https://api.github.com/users/typelevel/orgs","repos_url":"https://api.github.com/users/typelevel/repos","events_url":"https://api.github.com/users/typelevel/events{/privacy}","received_events_url":"https://api.github.com/users/typelevel/received_events","type":"Organization","site_admin":false},"repo":{"id":8810137,"name":"typelevel.github.com","full_name":"typelevel/typelevel.github.com","owner":{"login":"typelevel","id":3731824,"avatar_url":"https://avatars.githubusercontent.com/u/3731824?v=3","gravatar_id":"","url":"https://api.github.com/users/typelevel","html_url":"https://github.com/typelevel","followers_url":"https://api.github.com/users/typelevel/followers","following_url":"https://api.github.com/users/typelevel/following{/other_user}","gists_url":"https://api.github.com/users/typelevel/gists{/gist_id}","starred_url":"https://api.github.com/users/typelevel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/typelevel/subscriptions","organizations_url":"https://api.github.com/users/typelevel/orgs","repos_url":"https://api.github.com/users/typelevel/repos","events_url":"https://api.github.com/users/typelevel/events{/privacy}","received_events_url":"https://api.github.com/users/typelevel/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/typelevel/typelevel.github.com","description":"Web site of typelevel.scala","fork":false,"url":"https://api.github.com/repos/typelevel/typelevel.github.com","forks_url":"https://api.github.com/repos/typelevel/typelevel.github.com/forks","keys_url":"https://api.github.com/repos/typelevel/typelevel.github.com/keys{/key_id}","collaborators_url":"https://api.github.com/repos/typelevel/typelevel.github.com/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/typelevel/typelevel.github.com/teams","hooks_url":"https://api.github.com/repos/typelevel/typelevel.github.com/hooks","issue_events_url":"https://api.github.com/repos/typelevel/typelevel.github.com/issues/events{/number}","events_url":"https://api.github.com/repos/typelevel/typelevel.github.com/events","assignees_url":"https://api.github.com/repos/typelevel/typelevel.github.com/assignees{/user}","branches_url":"https://api.github.com/repos/typelevel/typelevel.github.com/branches{/branch}","tags_url":"https://api.github.com/repos/typelevel/typelevel.github.com/tags","blobs_url":"https://api.github.com/repos/typelevel/typelevel.github.com/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/typelevel/typelevel.github.com/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/typelevel/typelevel.github.com/git/refs{/sha}","trees_url":"https://api.github.com/repos/typelevel/typelevel.github.com/git/trees{/sha}","statuses_url":"https://api.github.com/repos/typelevel/typelevel.github.com/statuses/{sha}","languages_url":"https://api.github.com/repos/typelevel/typelevel.github.com/languages","stargazers_url":"https://api.github.com/repos/typelevel/typelevel.github.com/stargazers","contributors_url":"https://api.github.com/repos/typelevel/typelevel.github.com/contributors","subscribers_url":"https://api.github.com/repos/typelevel/typelevel.github.com/subscribers","subscription_url":"https://api.github.com/repos/typelevel/typelevel.github.com/subscription","commits_url":"https://api.github.com/repos/typelevel/typelevel.github.com/commits{/sha}","git_commits_url":"https://api.github.com/repos/typelevel/typelevel.github.com/git/commits{/sha}","comments_url":"https://api.github.com/repos/typelevel/typelevel.github.com/comments{/number}","issue_comment_url":"https://api.github.com/repos/typelevel/typelevel.github.com/issues/comments{/number}","contents_url":"https://api.github.com/repos/typelevel/typelevel.github.com/contents/{+path}","compare_url":"https://api.github.com/repos/typelevel/typelevel.github.com/compare/{base}...{head}","merges_url":"https://api.github.com/repos/typelevel/typelevel.github.com/merges","archive_url":"https://api.github.com/repos/typelevel/typelevel.github.com/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/typelevel/typelevel.github.com/downloads","issues_url":"https://api.github.com/repos/typelevel/typelevel.github.com/issues{/number}","pulls_url":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls{/number}","milestones_url":"https://api.github.com/repos/typelevel/typelevel.github.com/milestones{/number}","notifications_url":"https://api.github.com/repos/typelevel/typelevel.github.com/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/typelevel/typelevel.github.com/labels{/name}","releases_url":"https://api.github.com/repos/typelevel/typelevel.github.com/releases{/id}","created_at":"2013-03-15T22:19:50Z","updated_at":"2015-01-24T22:29:21Z","pushed_at":"2015-01-24T22:29:20Z","git_url":"git://github.com/typelevel/typelevel.github.com.git","ssh_url":"git@github.com:typelevel/typelevel.github.com.git","clone_url":"https://github.com/typelevel/typelevel.github.com.git","svn_url":"https://github.com/typelevel/typelevel.github.com","homepage":"http://typelevel.org","size":885,"stargazers_count":10,"watchers_count":10,"language":"CSS","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":true,"forks_count":16,"mirror_url":null,"open_issues_count":3,"forks":16,"open_issues":3,"watchers":10,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41"},"html":{"href":"https://github.com/typelevel/typelevel.github.com/pull/41"},"issue":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/issues/41"},"comments":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/issues/41/comments"},"review_comments":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41/comments"},"review_comment":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/pulls/41/commits"},"statuses":{"href":"https://api.github.com/repos/typelevel/typelevel.github.com/statuses/13008ca1855aa752aa69c95165cc2a83d0a2f463"}}}}