> On May 5, 2017, at 1:21 PM, Dupéron Georges <jahvascriptman...@gmail.com> > wrote: > >> >> [What’s the diff to 1?] > > The difference would be that a partial check would be performed at each > recursion step, stopping when data which has already been validated by the > same contract is encountered. But that's wishful thinking for now.
Mike Sperber’s language (DieMachtDerAbstraktion) in the DrRacket menu comes with a contract system that does this. It checks recursive calls and memoizes so that your algorithm has a large constant degradation but is in the correct complexity class. The language itself is kind of like the teaching languages for HtDP so impoverished. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
