pasberth / TypedCoffeeScript

rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility

TypedCoffeeScript

Super set of CoffeeScript with types

WARNING!

• extremely incomplete yet.
• heavily under development
• some dirty hack of CS

Examples

struct Point {
  x :: Number
  y :: Number
}

p :: Point = {x: 3, y: 3}
line :: Point[] = [{x: 3, y: 4}, {x: 8, y: 5}, p]

f :: Number -> Number = (n) ->  n * n
((n :: Number) :: Number ->  n * n)(3)

See test/type.coffee as working codes.

Install

$ npm install typed-coffee-script

now aliased tcoffee

$ tcoffee --js  < scratch.coffee > scratch.js

Milestone to v1.0.0

• ✅ Struct definition
• ✅ Typed function definition
• ✅ Function call with typecheck
• ✅ Typed Array
• ✅ Member access
• ✅ If statement
• ✅ ForIn statement
• ✅ ForOf statement
• ✅ Range
• ✅ Function
• ✅ BinaryOperator
• Scope about this and class
• Generics
• Generate pure coffee
• Share type context with some scripts

CONCEPT

• Super set of CoffeeScript (must be passed all coffee tests)
• Type check target is CS AST, not compiler.
• Inspired by TypeScript, Roy and other altjs.

CoffeeScript II: The Wrath of Khan

          {
       }   }   {
      {   {  }  }
       }   }{  {
      {  }{  }  }             _____       __  __
     ( }{ }{  { )            / ____|     / _|/ _|
   .- { { }  { }} -.        | |     ___ | |_| |_ ___  ___
  (  ( } { } { } }  )       | |    / _ \|  _|  _/ _ \/ _ \
  |`-..________ ..-'|       | |___| (_) | | | ||  __/  __/
  |                 |        \_____\___/|_| |_| \___|\___|       .-''-.
  |                 ;--.                                       .' .-.  )
  |                (__  \     _____           _       _       / .'  / /
  |                 | )  )   / ____|         (_)     | |     (_/   / /
  |                 |/  /   | (___   ___ _ __ _ _ __ | |_         / /
  |                 (  /     \___ \ / __| '__| | '_ \| __|       / /
  |                 |/       ____) | (__| |  | | |_) | |_       . '
  |                 |       |_____/ \___|_|  |_| .__/ \__|     / /    _.-')
   `-.._________..-'                           | |           .' '  _.'.-''
                                               |_|          /  /.-'_.'
                                                           /    _.'
                                                          ( _.-'

Status

Complete enough to use for nearly every project. See the roadmap to 2.0.

Getting Started

npm install -g coffee-script-redux
coffee --help
coffee --js <input.coffee >output.js

Before transitioning from Jeremy's compiler, see the intentional deviations from jashkenas/coffee-script wiki page.

Development

git clone git://github.com/michaelficarra/CoffeeScriptRedux.git && cd CoffeeScriptRedux && npm install
make clean && git checkout -- lib && make -j build && make test

Notable Contributors

I'd like to thank the following financial contributors for their large donations to the Kickstarter project that funded the initial work on this compiler. Together, you donated over $10,000. Without you, I wouldn't have been able to do this.

• Groupon, who is generously allowing me to work in their offices
• Trevor Burnham
• Shopify
• Abakas
• 37signals
• Brightcove
• Gaslight
• Pantheon
• Benbria
• Sam Stephenson
• Bevan Hunt
• Meryn Stol
• Rob Tsuk
• Dion Almaer
• Andrew Davey
• Thomas Burleson
• Michael Kedzierski
• Jeremy Kemper
• Kyle Cordes
• Jason R. Lauman
• Martin Drenovac (Envizion Systems - Aust)
• Julian Bilcke
• Michael Edmondson

And of course, thank you Jeremy (and all the other contributors) for making the original CoffeeScript compiler.