Interesting point. With types, this issue just goes away.
(No matter what, I argue that Lazy should be totally compatible
in contracts/types/argument order with Racket. Nothing else
makes sense.)
On Jan 30, 2011, at 3:28 PM, Eli Barzilay wrote:
The lazy `take' has another reason to
9 minutes ago, Matthias Felleisen wrote:
Interesting point. With types, this issue just goes away.
(No matter what, I argue that Lazy should be totally compatible in
contracts/types/argument order with Racket. Nothing else makes
sense.)
* I take this point as a reason that static types
The lazy `take' has another reason to return '() instead of an error:
avoiding any force of the input list when you want 0 elements. This
is similar to why `first', `second', `third', etc are not like the
ones in racket, and probably never will be.
On Thursday, Stephen Chang wrote:
I meant in
Do you mean (take nonlist 0)? That's '() in regular Racket, I think
to accommodate improper lists.
C:\Users\Administrator\git\exp\pltRacket.exe
Welcome to Racket v5.0.99.7.
(take nonlist 0)
'()
Robby
On Thu, Jan 27, 2011 at 3:32 PM, Stephen Chang stch...@ccs.neu.edu wrote:
What should be the
I meant in lazy-take, which is what was changed in this push (args are
flipped). If it behaves that way in Racket, then I guess lazy should
be consistent.
On Thu, Jan 27, 2011 at 4:42 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Do you mean (take nonlist 0)? That's '() in regular
Yes, that's what I was saying. :)
On Thu, Jan 27, 2011 at 3:45 PM, Stephen Chang stch...@ccs.neu.edu wrote:
I meant in lazy-take, which is what was changed in this push (args are
flipped). If it behaves that way in Racket, then I guess lazy should
be consistent.
On Thu, Jan 27, 2011 at
At Wed, 26 Jan 2011 17:07:32 -0500, e...@racket-lang.org wrote:
+(let ([n0 (! n)])
+ (unless (exact-nonnegative-integer? n)
+(raise-type-error 'take non-negative exact integer 0 n l))
Still committing changes with no tests.
Still broken:
(list-ref (take (car (list 1))
Happily, Stephen's earlier change actually started a test suite, so
adding more tests should be easy to do.
Robby
On Wed, Jan 26, 2011 at 4:58 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Wed, 26 Jan 2011 17:07:32 -0500, e...@racket-lang.org wrote:
+ (let ([n0 (! n)])
+ (unless
That wasnt the bug that I was fixing.
On Wed, Jan 26, 2011 at 5:58 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Wed, 26 Jan 2011 17:07:32 -0500, e...@racket-lang.org wrote:
+ (let ([n0 (! n)])
+ (unless (exact-nonnegative-integer? n)
+ (raise-type-error 'take non-negative
Oh sorry, didnt read carefully. I now see that it wasnt my push you
were replying to.
On Wed, Jan 26, 2011 at 6:42 PM, Stephen Chang stch...@ccs.neu.edu wrote:
That wasnt the bug that I was fixing.
On Wed, Jan 26, 2011 at 5:58 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Wed, 26 Jan
10 matches
Mail list logo