title: Coffeescript Static Analysis / Static Typechecking - Roadblocks
body: <p>I think Coffeescript is an awesome language! I was looking for some projects / issues / features that add Static Analysis to Coffeescript. However after some searching I found that the Coffeescript <a href="https://github.com/jashkenas/coffee-script/wiki/FAQ">faq</a> and <a href="https://github.com/jashkenas/coffee-script/issues/1852">this page</a> suggest that static analysis might not be viable.</p>
  
  <p>I was wondering that if there is a fundamental issue in implementing static analysis / static type checking in Coffeescript, because of which something of this sort does not already exist in the compiler?</p>
  
  <p>Also, is it something that is not possible to do for non trivial checks but might work only for straightforward analysis? When I say straightforward I mean checking for trivial stuff like, whether the user has defined a function twice by the same name (in a class) or on the top level (or perhaps on the top level in a collection of related .coffee files).</p>
  
  <p>I would appreciate if anyone could please point out some examples that show why implementing static analysis / type checking is not straightforward / possible / worth spending time on?</p>
  
  <p>Thank you very much!</p>