disnet/contracts.coffee @ GitHub

Contracts.coffee is a dialect of CoffeeScript with built-in support for contracts. It is inspired by the contract system found in Racket. Contracts let you clearly—even beautifully—express how your code behaves, and free you from writing tons of boilerplate, defensive code. You can think of contracts as assert on steroids. Basics Here’s a simple example of a contract on a function: This says that

[t-wada]

CoffeeScript で契約による設計を行うためのコンパイラ拡張(ライブラリではない)。 Ruby の contracts gem はこれからインスパイアされて作ったらしい。で、いまはメンテされてないらしい。

[TokyoIncidents]

haskell っぽい。開発時の型チェック用に使えるのかな？ --contracts オプションつけなければ contract 部分は JavaScript にコンパイルされないっぽい

[udzura]

契約プログラミング情報

[kozy4324]

これは「実行時型チェックを埋め込むライブラリ」ってことでOKかな。おもしろげ。