Logs: liberachat/#haskell
| 2025-09-11 02:47:39 | <monochrom> | Hey at least it's palatable to math "pointwise extension" :) |
| 2025-09-11 02:48:00 | <geekosaur> | hint: const |
| 2025-09-11 02:48:00 | <dibblego> | :) |
| 2025-09-11 02:48:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 02:48:27 | <jackdk> | monochrom: I think "(Int, (+)) has a default" muddies the waters. I would say "(Int, (+)) has an identity element" or "... a neutral element" |
| 2025-09-11 02:48:57 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-11 02:49:01 | <mauke> | because what I really wanted was (Default a, Applicative f) => Default (f a), but that's not legal |
| 2025-09-11 02:49:08 | <geekosaur> | I took the point as "that's a better notion of "default" than Default is |
| 2025-09-11 02:49:10 | <geekosaur> | " |
| 2025-09-11 02:49:11 | <monochrom> | I want to muddle the water so much it wraps around and clarifies to "why not do it properly and make a Monoid". |
| 2025-09-11 02:49:27 | <jackdk> | OK |
| 2025-09-11 02:50:24 | <monochrom> | Alternatively or equivalently I want to hijack the "plain English" word "default" and re-define it to be monoid identity. |
| 2025-09-11 02:51:40 | <mauke> | anyway, the controversial (e -> a) and (IO a) instances have been removed |
| 2025-09-11 02:51:52 | <mauke> | and the controversial Bool instance added |
| 2025-09-11 02:52:00 | <dibblego> | alternatively, s/Default/Hyperfault |
| 2025-09-11 02:52:17 | <geekosaur> | how about just "Fault" |
| 2025-09-11 02:52:53 | <monochrom> | I thought people knew better than a default Bool. |
| 2025-09-11 02:53:08 | <monochrom> | You have like 50% chance of being wrong. |
| 2025-09-11 02:53:13 | <mauke> | I do, but it was a user request |
| 2025-09-11 02:53:44 | <monochrom> | But OK, there is a selection bias. The Default library is doomed to attract a certain kind of people... |
| 2025-09-11 02:54:01 | <mauke> | by Neil Mitchell, possibly? |
| 2025-09-11 02:59:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 03:05:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 03:10:38 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-09-11 03:17:07 | → | aforemny_ joins (~aforemny@i59F4C711.versanet.de) |
| 2025-09-11 03:17:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 03:17:24 | × | aforemny quits (~aforemny@i59F4C7D6.versanet.de) (Ping timeout: 256 seconds) |
| 2025-09-11 03:22:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 03:33:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 03:38:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 03:48:11 | Googulator61 | is now known as Googulator |
| 2025-09-11 03:48:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 03:49:30 | <probie> | monochrom: the default Bool should be `False`. I flipped a coin and that was the result (also, just having false and implication gives us everything in classical logic, so maybe it is a slightly better choice than true) |
| 2025-09-11 03:52:26 | → | Square2 joins (~Square@user/square) |
| 2025-09-11 03:52:30 | <L29Ah> | i did an anonymous mmap and that was the result of unsafeCoerce |
| 2025-09-11 03:53:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 03:56:34 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-11 04:04:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 04:10:52 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-11 04:11:29 | <monochrom> | probie: That is just not true. (pun! don't take it seriously >:) ) |
| 2025-09-11 04:12:03 | → | hjj123 joins (~hjj123@178.155.115.231) |
| 2025-09-11 04:13:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 04:23:40 | × | hjj123 quits (~hjj123@178.155.115.231) (Quit: Client closed) |
| 2025-09-11 04:24:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 04:26:14 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-11 04:26:27 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 04:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-11 04:30:42 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-11 04:33:45 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
| 2025-09-11 04:34:59 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-11 04:39:27 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-11 04:39:40 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 04:40:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 04:42:26 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-11 04:45:39 | → | michalz joins (~michalz@185.246.207.201) |
| 2025-09-11 04:46:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 04:58:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 05:03:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 05:11:43 | × | mulk quits (~mulk@p5b2dc694.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-09-11 05:13:06 | → | mulk joins (~mulk@pd95144c3.dip0.t-ipconnect.de) |
| 2025-09-11 05:14:01 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-11 05:14:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 05:18:36 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-11 05:18:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 05:19:08 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-09-11 05:21:09 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-11 05:21:23 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 05:29:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 05:34:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 05:37:28 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
| 2025-09-11 05:45:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 05:46:43 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-11 05:47:24 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-09-11 05:50:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 05:50:25 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
| 2025-09-11 05:51:13 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-11 05:56:43 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-09-11 05:57:44 | × | kaskal quits (~kaskal@84-115-230-9.cable.dynamic.surfer.at) (Ping timeout: 248 seconds) |
| 2025-09-11 05:58:11 | → | kaskal joins (~kaskal@2a02:8388:15bf:c200:3edd:e10d:d41e:f619) |
| 2025-09-11 06:01:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 06:02:59 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-09-11 06:03:17 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-09-11 06:06:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 06:07:24 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-11 06:09:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 06:10:45 | × | m1dnight_ quits (~m1dnight@109.236.62.133) (Read error: Connection reset by peer) |
| 2025-09-11 06:11:52 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-11 06:12:06 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 06:14:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 06:16:35 | → | m1dnight_ joins (~m1dnight@109.236.62.134) |
| 2025-09-11 06:23:46 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-09-11 06:23:52 | × | ridcully quits (~ridcully@p508ac996.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-11 06:24:05 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 06:25:41 | → | Guest59 joins (~Guest59@205.254.174.179) |
| 2025-09-11 06:29:18 | × | jcarpenter2 quits (~lol@96.78.87.197) (Ping timeout: 260 seconds) |
| 2025-09-11 06:32:36 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-11 06:36:54 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-11 06:42:47 | → | posixlycorrect joins (~posixlyco@user/posixlycorrect) |
| 2025-09-11 06:43:19 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 258 seconds) |
| 2025-09-11 06:45:14 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
All times are in UTC.