> 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.

Reply via email to