Is the type syntax friendly with CoffeeScript?
It'd be quite possible to add the ability to output these annotations to the CoffeeScript compiler itself though. Could be an interesting fork.
You can probably hack it using the backtick operator though.
`function foo(x: string, y: number): string {`
x.length * y
`}`