On Fri, Jan 18, 2013 at 10:31 PM, Stephen Compall
stephen.comp...@gmail.com wrote:
First, I have a suggestion for your associative: make `seq' return (map
vector (iterate inc' 0) (constantly the-const-value)). This would be a
correct result, as far as it's possible to observe.
True, but it
On Sat, 2013-01-19 at 11:39 -0800, Ben Wolfson wrote:
You couldn't observe the breakage, but it would still the case that
for many elements of the domain no finite subsequence of the seq
contains those elements.
Indeed, it would merely be observably correct, not actually correct.
What do you
On Sat, Jan 19, 2013 at 1:26 PM, Stephen Compall
stephen.comp...@gmail.com wrote:
What do you return for count, though?
I don't currently implement count.
There are other ways to make trouble anyway: it's perfectly possible
to define infinite sets that support conjoining, disjoining, union,
On Sat, 2013-01-19 at 14:56 -0800, Ben Wolfson wrote:
Such sets couldn't support forward domain transformation, though,
because membership testing could then fail to terminate.
Given the definition of seq you suggested above, membership testing
for a transformed map will also be in danger
I've got a bit of code implementing Associative, in order to provide a
fake map that responds to all calls to valAt with the same object, no
matter what the key is.
Since it therefore contains every possible key, it doesn't make much
sense to call keys or seq on it (and it doesn't make *much*
use ILookup instead of Associative
On Fri, Jan 18, 2013 at 11:00 AM, Ben Wolfson wolf...@gmail.com wrote:
I've got a bit of code implementing Associative, in order to provide a
fake map that responds to all calls to valAt with the same object, no
matter what the key is.
Since it therefore
On Fri, Jan 18, 2013 at 11:32 AM, Kevin Downey redc...@gmail.com wrote:
use ILookup instead of Associative
I could just extend ILookup, which contains only valAt, but I'd also
like to be able to implement containsKey and entryAt, which AFAICT are
only found in Associative. (If I'm wrong,
On Jan 18, 2013 2:36 PM, Ben Wolfson wolf...@gmail.com wrote:
I could just extend ILookup, which contains only valAt, but I'd also
like to be able to implement containsKey and entryAt, which AFAICT are
only found in Associative.
Associative also contains
Associative assoc(Object key,
On Fri, Jan 18, 2013 at 3:37 PM, Stephen Compall
stephen.comp...@gmail.com wrote:
On Jan 18, 2013 2:36 PM, Ben Wolfson wolf...@gmail.com wrote:
I could just extend ILookup, which contains only valAt, but I'd also
like to be able to implement containsKey and entryAt, which AFAICT are
only
First, I have a suggestion for your associative: make `seq' return (map
vector (iterate inc' 0) (constantly the-const-value)). This would be a
correct result, as far as it's possible to observe.
On Fri, 2013-01-18 at 16:16 -0800, Ben Wolfson wrote:
Right: I basically want (constantly 'foo), but
10 matches
Mail list logo
