Logs: liberachat/#haskell
| 2026-02-15 21:09:53 | → | Vizious joins (~bes@user/Vizious) |
| 2026-02-15 21:10:28 | <larsivi> | Yeah, I saw, but this was shorter :) |
| 2026-02-15 21:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 21:14:03 | → | skum joins (~skum@user/skum) |
| 2026-02-15 21:15:13 | → | spew joins (~spew@user/spew) |
| 2026-02-15 21:22:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 21:23:21 | karenw_ | is now known as karenw |
| 2026-02-15 21:27:21 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 21:27:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 21:38:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 21:41:33 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdanl) |
| 2026-02-15 21:41:44 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-02-15 21:43:54 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-15 21:44:06 | <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 21:45:31 | <int-e> | > (-) 1 4 |
| 2026-02-15 21:45:32 | <lambdabot> | -3 |
| 2026-02-15 21:45:36 | <monochrom> | (-) 5 = \y -> (-) 5 y = \y -> 5 - y. sutract 5 = \y -> y - 5 |
| 2026-02-15 21:45:37 | <int-e> | > flip (-) 1 4 |
| 2026-02-15 21:45:38 | <lambdabot> | 3 |
| 2026-02-15 21:45:46 | <int-e> | > (-1+) 4 |
| 2026-02-15 21:45:47 | <lambdabot> | 3 |
| 2026-02-15 21:46:02 | <int-e> | (scnr) |
| 2026-02-15 21:46:47 | <mauke> | > pred 4 |
| 2026-02-15 21:46:48 | <lambdabot> | 3 |
| 2026-02-15 21:46:50 | <int-e> | anyway, (-) 1 does *something*. |
| 2026-02-15 21:46:54 | <dcb> | I don't think you can make (-) into a section (without `flip`, or as mentioned, `subtract`) |
| 2026-02-15 21:47:36 | <mauke> | > - - 1 |
| 2026-02-15 21:47:37 | <lambdabot> | <hint>:1:3: error: parse error on input `-' |
| 2026-02-15 21:47:58 | <mauke> | > 1--1 |
| 2026-02-15 21:47:59 | <lambdabot> | 1 |
| 2026-02-15 21:48:07 | <monochrom> | heh |
| 2026-02-15 21:48:26 | <monochrom> | > - negate 1 |
| 2026-02-15 21:48:27 | <lambdabot> | 1 |
| 2026-02-15 21:48:54 | <monochrom> | Haskell is so negative! So many ways to say subtraction. >:) |
| 2026-02-15 21:51:40 | <mauke> | > id 0 --user |
| 2026-02-15 21:51:41 | <lambdabot> | 0 |
| 2026-02-15 21:51:53 | <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 21:52:41 | <mauke> | that's equivalent to [(1+), (1-)] |
| 2026-02-15 21:53:11 | <larsivi> | ah, so it is the order that is wrong? |
| 2026-02-15 21:54:00 | <monochrom> | If x=1/2, then 1-x = x, so (1-) looks like doing nothing. |
| 2026-02-15 21:54:17 | <mauke> | > sequence [(1+), (1-)] 42 |
| 2026-02-15 21:54:18 | <lambdabot> | [43,-41] |
| 2026-02-15 21:54:33 | <mauke> | > sequence [(+1), ((-) 1)] 42 |
| 2026-02-15 21:54:34 | <lambdabot> | [43,-41] |
| 2026-02-15 21:54:59 | <larsivi> | yeah, that turns out to negate the result |
| 2026-02-15 21:55:23 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-15 21:55:33 | <int-e> | a - b = -(b - a) is elementary |
| 2026-02-15 21:55:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 21:56:18 | <mauke> | (-) x = (\y -> x - y) |
| 2026-02-15 22:02:08 | <larsivi> | ok, so slowly starting to understand this :) At least I have something that works. Thanks again! |
| 2026-02-15 22:03:10 | <monochrom> | @pl \y -> negate (1 - y) |
| 2026-02-15 22:03:10 | <lambdabot> | negate . (-) 1 |
| 2026-02-15 22:03:13 | <monochrom> | >:) |
| 2026-02-15 22:06:04 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 22:06:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 22:19:09 | → | ft joins (~ft@p4fc2afab.dip0.t-ipconnect.de) |
| 2026-02-15 22:21:43 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-15 22:22:31 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2026-02-15 22:22:34 | → | emmanuelux_ joins (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) |
| 2026-02-15 22:23:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 22:24:23 | → | werneta joins (~werneta@71.83.160.242) |
| 2026-02-15 22:29:33 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-02-15 22:32:21 | → | michalz joins (~michalz@185.246.207.205) |
| 2026-02-15 22:33:19 | × | Miroboru quits (~myrvoll@188.113.115.67) (Ping timeout: 264 seconds) |
| 2026-02-15 22:33:28 | → | notzmv joins (~umar@user/notzmv) |
| 2026-02-15 22:35:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 22:39:57 | → | Miroboru joins (~myrvoll@84.214.174.190) |
| 2026-02-15 22:40:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 22:43:51 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 22:44:00 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2026-02-15 22:44:06 | → | califax joins (~califax@user/califx) |
| 2026-02-15 22:44:29 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-15 22:44:29 | polykernel_ | is now known as polykernel |
| 2026-02-15 22:45:36 | × | emmanuelux_ quits (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2026-02-15 22:48:56 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-15 22:51:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 22:53:47 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2026-02-15 22:55:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 23:06:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 23:07:46 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-15 23:08:36 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 23:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 23:12:41 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-15 23:22:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 23:27:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 23:36:33 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 23:38:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 23:39:54 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-15 23:41:11 | × | michalz quits (~michalz@185.246.207.205) (Read error: Connection reset by peer) |
| 2026-02-15 23:41:37 | → | michalz joins (~michalz@185.246.207.201) |
| 2026-02-15 23:43:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 23:45:25 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-15 23:50:00 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-15 23:54:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 23:59:04 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-02-15 23:59:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-16 00:08:49 | <EvanR> | so you want to subtract a number by 1 let me first introduce you to some category theory |
| 2026-02-16 00:10:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-16 00:15:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-16 00:21:22 | <monochrom> | :) |
All times are in UTC.