> On May 5, 2017, at 1:21 PM, Dupéron Georges <jahvascriptman...@gmail.com>
>> [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
For more options, visit https://groups.google.com/d/optout.