Search
Saturday, 6th of August 2022, 13:32:00 UTC
13:35:48
jcowan
crap, did that all come through up to #:29?
13:36:18
jcowan
https://www.irccloud.com/pastebin/KoV6Fq0v/no-fold-negation.txt
13:37:08
jcowan
Note that you get false positives if you use '(1 2 3) instead. The REPL is Chicken
13:40:38
jcowan
sorry, screwed up both pastes: you need to prepend (define a '(1)) and (define (s- x y) (- y x))
13:41:14
jcowan
in any case, your `minus` function does what I said needs to be done: it special-cases the unary version.
13:42:11
jcowan
irritating: -adic fails for "monadic" (you need "unary"), but -ary fails for "variary" (you need "variadic").
14:58:27
sham1
Well, monadic does work. After all, the APL people seem to be just fine using that word. Same with dyadic, triadic and so on.
15:26:55
jcowan
If you speak of "monadic functions" out of context, though, you'll probably get a WHUT.
15:27:03
jcowan
Similar problems with "persistent data structures"
16:37:57
edgar-rft
I think i'll follow more moronic programming styles
23:21:01
White_Flame
prokhor__: from what I'm getting into, I believe the "Building Large Knowledge-Based Systems" book linked is old enough to not represent how cyc works anymore. they specifically got rid of frame representation and went with 100% logic statements
Sunday, 7th of August 2022, 1:32:00 UTC