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:[EMAIL PROTECTED] _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
