Re: [racket] ->i contract question

2014-09-22 Thread Robby Findler
Turning things back and forth between values and lists is not something that our apis and our runtime infrastructure really encourages. So I'd say that the first thing to try would be to either fix the number of values returned from the function or to start programming with lists instead. If that

Re: [racket] ->i contract question

2014-09-22 Thread Jay McCarthy
As far as I can tell, there is no contract form that allows treating the values returned as a list. Here is how you could implement one if you wanted: http://pasterack.org/pastes/46111 Maybe Robby has an opinion about whether this should be done in racket/contract Jay On Sun, Sep 21, 2014 at 1:

[racket] ->i contract question

2014-09-20 Thread Kevin Forchione
Hi guys, Is there a syntax for dependent-range that would allow 0 or more values to be specified? The documentation appears to describe only a specified number of values. Is there an analogue to list of and non-empty-listof? -Kevin Racket Users list: http://lists.racket-