{"action":"created","issue":{"url":"https://api.github.com/repos/snu-sf-class/pp201602/issues/142","repository_url":"https://api.github.com/repos/snu-sf-class/pp201602","labels_url":"https://api.github.com/repos/snu-sf-class/pp201602/issues/142/labels{/name}","comments_url":"https://api.github.com/repos/snu-sf-class/pp201602/issues/142/comments","events_url":"https://api.github.com/repos/snu-sf-class/pp201602/issues/142/events","html_url":"https://github.com/snu-sf-class/pp201602/issues/142","id":193394887,"number":142,"title":"TOP 수업 내용 질문 드립니다.","user":{"login":"rhs0266","id":8068838,"avatar_url":"https://avatars.githubusercontent.com/u/8068838?v=3","gravatar_id":"","url":"https://api.github.com/users/rhs0266","html_url":"https://github.com/rhs0266","followers_url":"https://api.github.com/users/rhs0266/followers","following_url":"https://api.github.com/users/rhs0266/following{/other_user}","gists_url":"https://api.github.com/users/rhs0266/gists{/gist_id}","starred_url":"https://api.github.com/users/rhs0266/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rhs0266/subscriptions","organizations_url":"https://api.github.com/users/rhs0266/orgs","repos_url":"https://api.github.com/users/rhs0266/repos","events_url":"https://api.github.com/users/rhs0266/events{/privacy}","received_events_url":"https://api.github.com/users/rhs0266/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-12-05T01:56:24Z","updated_at":"2016-12-07T00:18:23Z","closed_at":null,"body":"```\r\nimplicit val Main:MainSig[Main] = new MainSig[Main]{ // main signature, 실제 function에 대한 impl\r\n  def f[A](m:Main[A])(x:A) = new Main(x,x)\r\n  def g[A](m:Main[A])(x:A) = new Main(m.a,x)\r\n  def h[A](m:Main[A]) = new Main(m.b,m.a)\r\n}\r\n```\r\n수업 부분에서, 이와 같은 코드가 있습니다.\r\n이 부분에서 Main 이라는 name의 val이 만들어졌는데, 이걸 main으로 바꿨더니\r\n```def gee(l:List[Main[Int]]): Int = l match {\r\n  case Nil => 0\r\n  case m :: tl => foo(m) + gee(tl)\r\n}```\r\n이 부분에서 foo(m)이 compile error를 뱉습니다...ㅜㅜ\r\n\r\n\r\nError:(104, 23) could not find implicit value for parameter proxy: inst$A$A.MainSig[inst$A$A.Main]\r\n  case m :: tl => foo(m) + gee(tl)\r\n                     ^\r\n\r\nMain으로 바꾸면 정상 작동하는데, naming을 꼭 Main 으로 하는 이유가 있나요? (class와 같은 이름으로 해야하는 지 궁금합니다)"},"comment":{"url":"https://api.github.com/repos/snu-sf-class/pp201602/issues/comments/265316260","html_url":"https://github.com/snu-sf-class/pp201602/issues/142#issuecomment-265316260","issue_url":"https://api.github.com/repos/snu-sf-class/pp201602/issues/142","id":265316260,"user":{"login":"Ailrun","id":12473268,"avatar_url":"https://avatars.githubusercontent.com/u/12473268?v=3","gravatar_id":"","url":"https://api.github.com/users/Ailrun","html_url":"https://github.com/Ailrun","followers_url":"https://api.github.com/users/Ailrun/followers","following_url":"https://api.github.com/users/Ailrun/following{/other_user}","gists_url":"https://api.github.com/users/Ailrun/gists{/gist_id}","starred_url":"https://api.github.com/users/Ailrun/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Ailrun/subscriptions","organizations_url":"https://api.github.com/users/Ailrun/orgs","repos_url":"https://api.github.com/users/Ailrun/repos","events_url":"https://api.github.com/users/Ailrun/events{/privacy}","received_events_url":"https://api.github.com/users/Ailrun/received_events","type":"User","site_admin":false},"created_at":"2016-12-07T00:18:23Z","updated_at":"2016-12-07T00:18:23Z","body":"전문이라는게 foo definition 등을 모두 포함한 컴파일 하신 파일의 내용이었는데요... 저 부분이 전에 올려주신 부분과 크게 다르지 않아 답을 드리기 힘든게 마찬가지인 것 같습니다."}}
{"actor":{"display_login":"Ailrun"}}