| 2026-02-04 00:00:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:02:58 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 00:03:48 +0100 | <gentauro> | tomsmeding: did Haskell move to GitHub? I thought development was at GitLab |
| 2026-02-04 00:04:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-02-04 00:05:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 00:05:56 +0100 | <tomsmeding> | gentauro: GHC is on gitlab, various other things are on github |
| 2026-02-04 00:07:18 +0100 | <tomsmeding> | ghcup was originally on the haskell gitlab too, but moved to github a few years back |
| 2026-02-04 00:07:32 +0100 | <monochrom> | That's an interesting move. |
| 2026-02-04 00:07:48 +0100 | <tomsmeding> | I'm not sure what was the reasoning behind it |
| 2026-02-04 00:08:15 +0100 | <tomsmeding> | but it's maerwald so he probably had a good reason for it :p |
| 2026-02-04 00:13:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-04 00:14:13 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-02-04 00:14:41 +0100 | <tomsmeding> | gentauro: and in general, "haskell" is not a single person or a single project. :P |
| 2026-02-04 00:16:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:21:11 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-04 00:21:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 00:31:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:33:29 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-02-04 00:36:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 00:40:43 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 00:41:59 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-04 00:42:55 +0100 | _JusSx_ | (~jussx@78.211.92.21) (Ping timeout: 264 seconds) |
| 2026-02-04 00:42:59 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-04 00:44:20 +0100 | _JusSx_ | (~jussx@78.210.76.107) |
| 2026-02-04 00:47:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:51:25 +0100 | <haskellbridge> | <sm> current discussion of this: https://gitlab.haskell.org/ghc/ghc/-/issues/26824 |
| 2026-02-04 00:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 00:53:23 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 00:53:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 00:54:41 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 00:54:55 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-04 01:03:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:06:55 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-04 01:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-04 01:08:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-04 01:17:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e10b:1e35:aa5b:abb9) (Ping timeout: 246 seconds) |
| 2026-02-04 01:19:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:20:09 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-04 01:26:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 01:30:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e10b:1e35:aa5b:abb9) |
| 2026-02-04 01:31:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 01:31:16 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 01:34:45 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-04 01:37:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:38:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-04 01:42:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-04 01:47:06 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-04 01:50:30 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 01:50:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e10b:1e35:aa5b:abb9) (Ping timeout: 252 seconds) |
| 2026-02-04 01:50:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:51:13 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-04 01:55:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 01:59:11 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-02-04 01:59:29 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2026-02-04 02:00:56 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2026-02-04 02:06:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:09:18 +0100 | otto_s | (~user@p4ff273b1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-02-04 02:10:52 +0100 | otto_s | (~user@p5de2f01c.dip0.t-ipconnect.de) |
| 2026-02-04 02:10:59 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-02-04 02:11:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 02:16:06 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 02:16:45 +0100 | <yin> | > mempty :: Maybe Char |
| 2026-02-04 02:16:46 +0100 | <lambdabot> | No instance for ‘Semigroup Char’ arising from a use of ‘mempty’ |
| 2026-02-04 02:16:46 +0100 | <lambdabot> | In the expression: mempty :: Maybe Char |
| 2026-02-04 02:16:51 +0100 | <yin> | isn't this weird? |
| 2026-02-04 02:21:28 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::5716) mvk |
| 2026-02-04 02:21:31 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::5716) (Client Quit) |
| 2026-02-04 02:22:20 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-02-04 02:22:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:23:20 +0100 | <ncf> | that there's no Semigroup instance for Char? not particularly, no |
| 2026-02-04 02:23:47 +0100 | <ncf> | or that Monoid (Maybe a) requires Semigroup a? that one might be up for debate |
| 2026-02-04 02:26:53 +0100 | <yin> | the latter yeah, but i get it |
| 2026-02-04 02:27:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-04 02:29:13 +0100 | Digitteknohippie | Digit |
| 2026-02-04 02:29:14 +0100 | <EvanR> | maybe you're thinking of First |
| 2026-02-04 02:29:49 +0100 | omidmash6 | (~omidmash@user/omidmash) omidmash |
| 2026-02-04 02:29:56 +0100 | <EvanR> | > mempty :: First (Maybe Char) |
| 2026-02-04 02:29:57 +0100 | <lambdabot> | First {getFirst = Nothing} |
| 2026-02-04 02:31:02 +0100 | <EvanR> | > mempty :: Maybe (NonEmpty Char) |
| 2026-02-04 02:31:03 +0100 | <lambdabot> | Nothing |
| 2026-02-04 02:31:25 +0100 | trickard_ | trickard |
| 2026-02-04 02:31:42 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-02-04 02:31:42 +0100 | omidmash6 | omidmash |
| 2026-02-04 02:32:55 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-04 02:32:59 +0100 | <EvanR> | > First (Just 'a') <> First (Just 'b') |
| 2026-02-04 02:33:00 +0100 | <lambdabot> | First {getFirst = Just 'a'} |
| 2026-02-04 02:33:26 +0100 | <EvanR> | > Just 'a' <> Just 'b' -- what should happen |
| 2026-02-04 02:33:27 +0100 | <lambdabot> | No instance for ‘Semigroup Char’ arising from a use of ‘<>’ |
| 2026-02-04 02:33:27 +0100 | <lambdabot> | In the expression: Just 'a' <> Just 'b' |
| 2026-02-04 02:33:48 +0100 | <EvanR> | Just ('a' <> 'b') |
| 2026-02-04 02:38:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:42:35 +0100 | <probie> | I propose Just ('a' <> 'b') should be Just (chr ((ord 'a' + ord 'b') `mod` (ord maxBound))). It's a lawful instance |
| 2026-02-04 02:42:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-04 02:43:21 +0100 | <EvanR> | a C programmer would be impressed... except the modulo is by some oddball number 1114112 ? |
| 2026-02-04 02:43:52 +0100 | <EvanR> | to me it seems like adding the note B to the note F... makes sense if you assume MIDI but... |
| 2026-02-04 02:44:26 +0100 | <EvanR> | just seems like defining things for the sake of it so "they do something" (js style) |
| 2026-02-04 02:50:10 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 02:53:55 +0100 | <geekosaur> | we already do that (see `Foldable` and `Traversable` instances on tuples) |
| 2026-02-04 02:54:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:55:40 +0100 | <probie> | > sum (3,4) |
| 2026-02-04 02:55:41 +0100 | <lambdabot> | 4 |
| 2026-02-04 02:56:04 +0100 | <probie> | makes sense to me :p |
| 2026-02-04 02:56:33 +0100 | <probie> | embarrassing when trying to explain to someone just learning Haskell who expects 7 |
| 2026-02-04 02:59:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-04 02:59:39 +0100 | <EvanR> | insofaras Functor works on pairs, it makes sense |
| 2026-02-04 03:00:12 +0100 | <EvanR> | kind of a if it's a functor then it can be folded for better or worse |
| 2026-02-04 03:01:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 03:01:22 +0100 | <EvanR> | as it stands somebody can define a Semigroup for Char to carry out their version of great justice, whatever it is |
| 2026-02-04 03:01:49 +0100 | <probie> | Sure, but at that point why don't we add https://hackage.haskell.org/package/acme-default to base |
| 2026-02-04 03:01:49 +0100 | <EvanR> | without inflicting it on us... hopefully |
| 2026-02-04 03:02:04 +0100 | <EvanR> | how is that related |
| 2026-02-04 03:02:21 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2026-02-04 03:02:26 +0100 | <EvanR> | defining stuff in your program means it should be in base? |
| 2026-02-04 03:02:48 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-04 03:03:04 +0100 | <EvanR> | and I'm wrong about functor to foldable |
| 2026-02-04 03:03:28 +0100 | <EvanR> | in general |
| 2026-02-04 03:04:36 +0100 | <probie> | Since we'd moved to talking about Foldable/Traversable for tuples, I interpreted your Semigroup for Char to be implying it should be added to base (after all, it has to be, or it's an orphan instance) |
| 2026-02-04 03:06:19 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2026-02-04 03:12:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 03:17:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 03:29:45 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-02-04 03:30:07 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-04 03:44:41 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 265 seconds) |
| 2026-02-04 03:53:06 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-04 03:56:32 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-04 03:56:49 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-02-04 04:18:42 +0100 | <EvanR> | I heard orphans are impossible, then we have packages on hackage specifically advertising orphan instances |
| 2026-02-04 04:19:20 +0100 | <EvanR> | that it would be an Orphan is good, so that might go a ways to stop it from getting out of hand |
| 2026-02-04 04:31:05 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2026-02-04 04:31:44 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 04:31:58 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-04 04:37:19 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-02-04 04:41:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 04:43:52 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-04 04:47:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 04:49:59 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-04 04:50:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 04:50:35 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-02-04 04:55:03 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-04 04:55:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 05:05:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 05:11:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-04 05:11:27 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 05:11:44 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 05:21:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 05:21:48 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-04 05:21:52 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-02-04 05:22:03 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-02-04 05:27:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 05:28:56 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-04 05:29:32 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-02-04 05:37:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 05:42:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-04 05:46:13 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-02-04 05:53:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |