TypedCoffeeScript
CoffeeScript with Types.
This repository is heavily under development and unstable. See below milestone.
Concepts
- Structual Subtyping
- Superset of CoffeeScript
- Easy to replace coffee (pass unannotated coffee)
- Pessimistic type interfaces
What is pessimistic type interface?
To pass dynamic type system, TypedCoffeeScript expects symbol to implicit
node by default. If compiler compares implicit node type and implicit node type and fails, it recover to implicit
Any
automatically.
Getting Started
Install and run!
$ npm install -g typed-coffee-script
$ tcoffee -c foo.typed.coffee # compile
$ tcoffee foo.typed.coffee # execute
$ tcoffee # repl
Extensions you should know about TypedCoffeeScript
.tcoffee
and.typed.coffee
are compiled by TypedCoffeeScript compiler.- Compiler uses jashkenas/coffeescript in
require('./foo.coffee')
by default. - if you want to compile
.coffee
with TypedCoffeeScript, add--self
option.
Project Status
Current biggest issues is implementation of typescript d.ts importer.
TypeScript AST parser is ready. mizchi/dts-parser
Current Tasks(v0.12)
- Module system
- Better namespace resolver
- Splats argument such as
( args...: T[] ) ->
- This scope in bound function
Wip
- Primitive type interface
- Array type interface
- Polymorphic method type overload
- Nested array with depth
Int[][]
- Type alias such as
typealias Bar = Foo<T>[]
Milestone
v0.13
- TypeScript
*.d.ts
importer
v0.14
- Coverage of types to symbol
- Be stable(RC for 1.0)
- (Fix CoffeeScriptRedux bugs if I can)
Known bugs
- Compiler can't resolve module namespace when namespace has more than three dots, such as
A.B.C.d
- Take over all coffee-script-redux problems
- super with member access
super().member
- object literal parsing in class field
- super with member access
How to contribute
You can use this compiler without type annotation. All test by CoffeeScriptRedux
passed.
If you encounter bugs, such as type interface... parser..., please report as github issues or pull request to me. I also welcome new syntax proposal.
I DON'T reccomend to use in production yet.
CHANGE LOG
v0.11
- Generics
- TypeArgument
- Fix examples
- Recognise extensions in require
- Runnable by
tcoffee foo.typed.coffee
that hasrequire
- Class static member type interface
- Struct with implements
v0.10
- Rewrite internal AST and type interfaces
- Add new command line interface
- Refactor
- Nullable
- MemberAccess in struct definition
- Infer fuction return type with
return
in Block - Destructive Assignment
- self hosting
~v0.9
- Implement basic concepts
Examples
Assigment with type
n :: Int = 3
Pre defined symbol
x :: Numberx = 3.14
Nullable
x :: Number?x = 3.14x = null
Typed Array
list :: Int= 1..10listWithNull :: Int?= 1null3
In v0.10
, imperfect to struct.
Struct
struct Point @name :: String x :: Number y :: Numberp :: Point = x: 3y: 3name :: String = Pointname struct Point3d implements Point z :: Number
Module
TypedCoffeeScript has module system like TypeScript
module AB a :: Intabc :: A.B.C =
Typed Function
# pre define f1 :: Int -> Int= n # annotation f2 :: Number -> = x: ny: n * 2 # multi arguments f3 :: = m * n # another form of arguments f4 :: Int * Int -> = m * n # partial applying fc :: Int -> Int -> Int= m * n
Class with this scope
# bound to this num :: Number f :: Number -> Number : @num = n x :: X = n :: Number = xf 3
Class with implements
x :: Int y :: Int struct Size width :: Int height :: Int implements Sizee ::
Generics and type arguments
# struct struct Value<TU> value :: Ustruct Id<AB> id :: Value<AB>obj :: Id<IntString> = id: value: 'value' # function type arguments map<TU> :: T* U= for i in list fnilist :: String= map<IntString> 1..10 'i' # class type arguments <A> f :: Int -> Int constructor :: A -> : c = <Int>1
Forked from 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.