Logs: liberachat/#haskell
| 2025-09-05 04:28:39 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-09-05 04:30:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-05 04:30:48 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-09-05 04:33:03 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-09-05 04:33:50 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Client Quit) |
| 2025-09-05 04:35:09 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-09-05 04:39:46 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-05 04:41:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 04:43:48 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-05 04:46:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-05 04:48:04 | <Axman6> | chromoblob: bool :: a -> a -> Bool -> a; bool t _ True = t; bool _ f False = f; would be the consistent catamorphism for Bool |
| 2025-09-05 04:57:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 05:00:00 | trickard_ | is now known as trickard |
| 2025-09-05 05:01:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 05:02:31 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-09-05 05:07:55 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-05 05:09:25 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 250 seconds) |
| 2025-09-05 05:17:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 05:18:03 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-05 05:22:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 05:27:38 | × | Athas quits (athas@2a01:7c8:aaac:1cf:26ef:a68:404a:576a) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-05 05:27:51 | → | Athas joins (athas@2a01:7c8:aaac:1cf:82c6:a25c:b200:9d6f) |
| 2025-09-05 05:27:56 | ski | would flip the `t' and `f' parameters |
| 2025-09-05 05:28:23 | <ski> | > bool "F" "T" False |
| 2025-09-05 05:28:25 | <lambdabot> | "F" |
| 2025-09-05 05:32:40 | <ski> | @src Bool |
| 2025-09-05 05:32:40 | <lambdabot> | data Bool = False | True deriving (Eq, Ord) |
| 2025-09-05 05:33:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 05:34:20 | <ski> | > [(b,fromEnum b) | b <- [minBound .. maxBound] :: [Bool]] |
| 2025-09-05 05:34:21 | <lambdabot> | [(False,0),(True,1)] |
| 2025-09-05 05:37:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 05:42:19 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-05 05:42:54 | → | mange joins (~mange@user/mange) |
| 2025-09-05 05:48:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 05:53:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 05:54:35 | → | Vajb joins (~Vajb@n4ff0xajgx7huazq3a1-1.v6.elisa-mobile.fi) |
| 2025-09-05 05:58:33 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) |
| 2025-09-05 05:58:33 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) (Changing host) |
| 2025-09-05 05:58:33 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-05 06:02:50 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-05 06:03:52 | <jreicher> | ski: why would you flip them? Pretty sure what Axman6 provides is the standard Church encoding. |
| 2025-09-05 06:03:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 06:07:33 | <jackdk> | I thought you put the smallest value first: `maybe` takes the arg for `Nothing` first, `bool` takes the arg for `False` first, `foldr` is an exception |
| 2025-09-05 06:07:35 | <ski> | because `False' is the first data constructor, presumably because traditionally "false" is seen as the "zero" truth-value (while "true" being "1"), since George Boole at least |
| 2025-09-05 06:08:06 | <ski> | and yea, i agree `foldr' is anomalous |
| 2025-09-05 06:08:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 06:08:47 | <Axman6> | uh, I did mean to have bool f t b = if b then t else f but then forgot to swap the order |
| 2025-09-05 06:09:38 | <jreicher> | ski: FWIW Godel had 0 as true |
| 2025-09-05 06:11:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-05 06:12:02 | <ski> | do you know in which article(s) ? |
| 2025-09-05 06:12:17 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:4cf3:d1dd:a526:61a4) |
| 2025-09-05 06:12:17 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:4cf3:d1dd:a526:61a4) (Changing host) |
| 2025-09-05 06:12:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-05 06:12:23 | <jreicher> | Undecidability |
| 2025-09-05 06:14:02 | <jreicher> | The Church way of doing bool also means it's the same order as if-then-else |
| 2025-09-05 06:15:58 | <ski> | depends on which order you take the constructors in |
| 2025-09-05 06:17:05 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-05 06:17:39 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-05 06:18:24 | <ski> | both `\x. \xs. \f. \s. s x (xs f s)' and `\x. \xs. \s. \f. s x (xs s f)' are Church encodings of `Cons' for lists, depending on in which order you take the data constructors is |
| 2025-09-05 06:19:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 06:20:44 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-05 06:22:07 | <jreicher> | I'm not talking in the abstract; I just mean what Church actually wrote. |
| 2025-09-05 06:22:23 | <jreicher> | But it's not particular significant. More of a historical tidbit. |
| 2025-09-05 06:22:29 | <ski> | ah, i see |
| 2025-09-05 06:24:51 | <jreicher> | (But honestly I do find it interesting Godel used 0 for true) |
| 2025-09-05 06:26:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-05 06:26:53 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-05 06:28:10 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-05 06:28:56 | ski | nods |
| 2025-09-05 06:37:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 06:42:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 06:45:02 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-05 06:45:22 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-05 06:52:11 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-05 06:52:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 06:53:01 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-05 06:54:29 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-05 06:57:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 06:57:33 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-09-05 06:58:21 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-05 06:58:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-05 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-05 07:00:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 07:00:40 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-05 07:00:52 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-09-05 07:02:10 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-05 07:02:24 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 07:02:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-09-05 07:03:37 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-09-05 07:05:13 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-05 07:05:30 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-05 07:05:32 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-05 07:08:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 07:09:57 | × | Googulator quits (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-09-05 07:14:57 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:b80e:734b:30b:f150) |
| 2025-09-05 07:14:57 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:b80e:734b:30b:f150) (Changing host) |
| 2025-09-05 07:14:57 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-05 07:17:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-09-05 07:18:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-05 07:19:11 | → | itaipu joins (~itaipu@168.121.97.28) |
All times are in UTC.