• General Design
• Laziness
• Immutability
• Parser
• Incremental parsing
• ECMAScript parsing contexts
• ECMAScript automatic semicolon insertion
• JSDoc parsing
• Binder
• Checker
• Grammatical checking
• Overload resolution
• Type argument inference
• Type argument fixing
• Transformer
• Rewriting & synthesized nodes
• Sourcemap generation
• Language service