nitrix 2017-03-09 10:48:38
Actually X * Y > Z makes no sense, unless I don't have a tree with a single root, but a directed graph instead.
jle` 2017-03-09 10:48:55
what are you calling X, Y, and Z here?
tapirus 2017-03-09 10:48:56
jle`: yeah sorry, I just wrote that zipWith statement but that's not what I really meant...I get the right answer now, but for a moment, I was expecting that if I took some arbitrary array, say x, and compared it with (repeat n), then the result would be the same as (compare x (replicate (length x) y)
nitrix 2017-03-09 10:49:23
This is starting to look like a neural network. Let me think a little and ask a better question.
jle` 2017-03-09 10:49:41
tapirus: ah
jle` 2017-03-09 10:49:45
tapirus: how would you even implement that?
jle` 2017-03-09 10:50:08
you can't test if a list was created with 'repeat' or not
kuribas 2017-03-09 11:25:12
> let (+) = (-) in 1 + 1
lambdabot 2017-03-09 11:25:15
0
glguy 2017-03-09 11:26:46
monochrom: Which thread?
monochrom 2017-03-09 11:27:01
To [] or not to []
Ariakenom 2017-03-09 11:27:32
> let (+) = (*) in 2+2
lambdabot 2017-03-09 11:27:36
4
monochrom 2017-03-09 11:28:05
So the original poster wrote statement of the form "if you use list for , your program is wrong"
monochrom 2017-03-09 11:28:31
And I think "your program is wrong" is a hyperbole and we should take it as such, rather than arguing semantics.
maerwald 2017-03-09 11:28:51
you're deliberately misinterpreting what he said I think
monochrom 2017-03-09 11:29:07
But Richard O'Keefe did decide to argue semantics. "This is an abuse of the word 'wrong'"
maerwald 2017-03-09 11:29:54
but I realize this sort of nitpicking is very characteristic to the haskell community
maerwald 2017-03-09 11:30:22
and ofc can be fun at times
monochrom 2017-03-09 11:30:30
maerwald, I did not nitpick, O'Keefe did.
monochrom 2017-03-09 11:30:51
Or rather, since O'Keefe felt like nitpicking, I would nitpick the nitpicker.
maerwald 2017-03-09 11:30:56
xD
jmcarthur 2017-03-09 11:32:48
Is this metanitpicking?
maerwald 2017-03-09 11:32:53
haha
monochrom 2017-03-09 11:33:31
No, this is reductio ad absurdum
kuribas 2017-03-09 11:41:22
we call it fucking ants
kuribas 2017-03-09 11:41:22
mierenneuken
