Hi Noah,
On Thu 04 Nov 2010 03:40, Noah Lavine <[email protected]> writes:
> I think that Guile should offer optional static checking - not just of
> types, but of everything that we can check.
It seems like you're really asking for *dynamic* checking -- not only
checking properties that can be proved statically, without running the
program, but also runtime properties.
In this regard, I have a positive impression of the work that people are
doing on "contracts", especially the Racket folks.
http://docs.racket-lang.org/reference/contracts.html
Happy reading,
Andy
--
http://wingolog.org/
