Newest at the top
| 2026-02-15 23:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:06:04 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 23:03:13 +0100 | <monochrom> | >:) |
| 2026-02-15 23:03:10 +0100 | <lambdabot> | negate . (-) 1 |
| 2026-02-15 23:03:10 +0100 | <monochrom> | @pl \y -> negate (1 - y) |
| 2026-02-15 23:02:08 +0100 | <larsivi> | ok, so slowly starting to understand this :) At least I have something that works. Thanks again! |
| 2026-02-15 22:56:18 +0100 | <mauke> | (-) x = (\y -> x - y) |
| 2026-02-15 22:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 22:55:33 +0100 | <int-e> | a - b = -(b - a) is elementary |
| 2026-02-15 22:55:23 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-15 22:54:59 +0100 | <larsivi> | yeah, that turns out to negate the result |
| 2026-02-15 22:54:34 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:33 +0100 | <mauke> | > sequence [(+1), ((-) 1)] 42 |
| 2026-02-15 22:54:18 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:17 +0100 | <mauke> | > sequence [(1+), (1-)] 42 |
| 2026-02-15 22:54:00 +0100 | <monochrom> | If x=1/2, then 1-x = x, so (1-) looks like doing nothing. |
| 2026-02-15 22:53:11 +0100 | <larsivi> | ah, so it is the order that is wrong? |
| 2026-02-15 22:52:41 +0100 | <mauke> | that's equivalent to [(1+), (1-)] |
| 2026-02-15 22:51:53 +0100 | <larsivi> | I returned stuff like [(+1), ((-)1)] that type checked against [Int -> Int]. I was able to [op1,op2] ==> foo (op1 x) (op2 y), but the value was not changed with the subtraction unless I rewrote it to (subtract 1). |
| 2026-02-15 22:51:41 +0100 | <lambdabot> | 0 |
| 2026-02-15 22:51:40 +0100 | <mauke> | > id 0 --user |
| 2026-02-15 22:48:54 +0100 | <monochrom> | Haskell is so negative! So many ways to say subtraction. >:) |
| 2026-02-15 22:48:27 +0100 | <lambdabot> | 1 |
| 2026-02-15 22:48:26 +0100 | <monochrom> | > - negate 1 |
| 2026-02-15 22:48:07 +0100 | <monochrom> | heh |
| 2026-02-15 22:47:59 +0100 | <lambdabot> | 1 |
| 2026-02-15 22:47:58 +0100 | <mauke> | > 1--1 |
| 2026-02-15 22:47:37 +0100 | <lambdabot> | <hint>:1:3: error: parse error on input `-' |
| 2026-02-15 22:47:36 +0100 | <mauke> | > - - 1 |
| 2026-02-15 22:46:54 +0100 | <dcb> | I don't think you can make (-) into a section (without `flip`, or as mentioned, `subtract`) |
| 2026-02-15 22:46:50 +0100 | <int-e> | anyway, (-) 1 does *something*. |
| 2026-02-15 22:46:48 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:46:47 +0100 | <mauke> | > pred 4 |
| 2026-02-15 22:46:02 +0100 | <int-e> | (scnr) |
| 2026-02-15 22:45:47 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:45:46 +0100 | <int-e> | > (-1+) 4 |
| 2026-02-15 22:45:38 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:45:37 +0100 | <int-e> | > flip (-) 1 4 |
| 2026-02-15 22:45:36 +0100 | <monochrom> | (-) 5 = \y -> (-) 5 y = \y -> 5 - y. sutract 5 = \y -> y - 5 |
| 2026-02-15 22:45:32 +0100 | <lambdabot> | -3 |
| 2026-02-15 22:45:31 +0100 | <int-e> | > (-) 1 4 |
| 2026-02-15 22:44:06 +0100 | <larsivi> | But it turned out that (-)1 didn't actually do anything, so had to use subtract 1 instead. Something I did wrong there? |
| 2026-02-15 22:43:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-15 22:41:44 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-02-15 22:41:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdanl) |
| 2026-02-15 22:38:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:27:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 22:27:21 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 22:23:21 +0100 | karenw_ | karenw |
| 2026-02-15 22:22:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |