Contracts rather than Types

[panesofglass]

Rather than trying to stick to a type signature, why not expand the idea to do something similar to what Mozilla is doing with contracts.coffee and leverage the type signatures plus other options as a form of contracts? I'm sure this is similar to what is already done; the point is more to not limit only to mimicking a type system since you don't have to stop there.

[Ejhfast]

Right, good thought! That's definitely the plan (and also why I describe the project as about "lightweight function specifications")

[goatslacker]

Right I'd like to see this integrate with unit testing and process at runtime. +1 to contracts I think it's a great idea.