17 Sep
2005
17 Sep
'05
7:40 a.m.
Hello Christopher, Saturday, September 17, 2005, 4:21:30 AM, you wrote: CD> Scheme offers no way to provide an advance proof, but it still checks at CD> execution time. ALL modern laguages check at least at execution time. but compile-time checking is much better, otherwise you need to check every execution path of program after each modification -- Best regards, Bulat mailto:bulatz@HotPOP.com