Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17479 17480 17481 17482 17483 17484 17485 17486 17487 17488 17489 .. 17995
— 1,799,492 events total
2026-02-04 01:09:18 × otto_s quits (~user@p4ff273b1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2026-02-04 01:10:52 → otto_s joins (~user@p5de2f01c.dip0.t-ipconnect.de)
2026-02-04 01:10:59 → paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-02-04 01:11:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 01:16:06 × wickedjargon quits (~user@24.83.46.194) (Remote host closed the connection)
2026-02-04 01:16:45 <yin> > mempty :: Maybe Char
2026-02-04 01:16:46 <lambdabot> No instance for ‘Semigroup Char’ arising from a use of ‘mempty’
2026-02-04 01:16:46 <lambdabot> In the expression: mempty :: Maybe Char
2026-02-04 01:16:51 <yin> isn't this weird?
2026-02-04 01:21:28 → mvk joins (~mvk@2607:fea8:5c9d:ee00::5716)
2026-02-04 01:21:31 × mvk quits (~mvk@2607:fea8:5c9d:ee00::5716) (Client Quit)
2026-02-04 01:22:20 × Square2 quits (~Square@user/square) (Remote host closed the connection)
2026-02-04 01:22:23 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 01:23:20 <ncf> that there's no Semigroup instance for Char? not particularly, no
2026-02-04 01:23:47 <ncf> or that Monoid (Maybe a) requires Semigroup a? that one might be up for debate
2026-02-04 01:26:53 <yin> the latter yeah, but i get it
2026-02-04 01:27:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-04 01:29:13 Digitteknohippie is now known as Digit
2026-02-04 01:29:14 <EvanR> maybe you're thinking of First
2026-02-04 01:29:49 → omidmash6 joins (~omidmash@user/omidmash)
2026-02-04 01:29:56 <EvanR> > mempty :: First (Maybe Char)
2026-02-04 01:29:57 <lambdabot> First {getFirst = Nothing}
2026-02-04 01:31:02 <EvanR> > mempty :: Maybe (NonEmpty Char)
2026-02-04 01:31:03 <lambdabot> Nothing
2026-02-04 01:31:25 trickard_ is now known as trickard
2026-02-04 01:31:42 × omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2026-02-04 01:31:42 omidmash6 is now known as omidmash
2026-02-04 01:32:55 → Square2 joins (~Square@user/square)
2026-02-04 01:32:59 <EvanR> > First (Just 'a') <> First (Just 'b')
2026-02-04 01:33:00 <lambdabot> First {getFirst = Just 'a'}
2026-02-04 01:33:26 <EvanR> > Just 'a' <> Just 'b' -- what should happen
2026-02-04 01:33:27 <lambdabot> No instance for ‘Semigroup Char’ arising from a use of ‘<>’
2026-02-04 01:33:27 <lambdabot> In the expression: Just 'a' <> Just 'b'
2026-02-04 01:33:48 <EvanR> Just ('a' <> 'b')
2026-02-04 01:38:12 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 01:42:35 <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 01:42:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-04 01:43:21 <EvanR> a C programmer would be impressed... except the modulo is by some oddball number 1114112 ?
2026-02-04 01:43:52 <EvanR> to me it seems like adding the note B to the note F... makes sense if you assume MIDI but...
2026-02-04 01:44:26 <EvanR> just seems like defining things for the sake of it so "they do something" (js style)
2026-02-04 01:50:10 → xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-04 01:53:55 <geekosaur> we already do that (see `Foldable` and `Traversable` instances on tuples)
2026-02-04 01:54:21 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 01:55:40 <probie> > sum (3,4)
2026-02-04 01:55:41 <lambdabot> 4
2026-02-04 01:56:04 <probie> makes sense to me :p
2026-02-04 01:56:33 <probie> embarrassing when trying to explain to someone just learning Haskell who expects 7
2026-02-04 01:59:19 × rainbyte quits (~rainbyte@186.22.19.214) (Remote host closed the connection)
2026-02-04 01:59:39 <EvanR> insofaras Functor works on pairs, it makes sense
2026-02-04 02:00:12 <EvanR> kind of a if it's a functor then it can be folded for better or worse
2026-02-04 02:01:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 02:01:22 <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 02:01:49 <probie> Sure, but at that point why don't we add https://hackage.haskell.org/package/acme-default to base
2026-02-04 02:01:49 <EvanR> without inflicting it on us... hopefully
2026-02-04 02:02:04 <EvanR> how is that related
2026-02-04 02:02:21 × prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection)
2026-02-04 02:02:26 <EvanR> defining stuff in your program means it should be in base?
2026-02-04 02:02:48 → prdak joins (~Thunderbi@user/prdak)
2026-02-04 02:03:04 <EvanR> and I'm wrong about functor to foldable
2026-02-04 02:03:28 <EvanR> in general
2026-02-04 02:04:36 <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 02:06:19 × Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2026-02-04 02:12:25 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 02:17:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-04 02:29:45 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
2026-02-04 02:30:07 → pavonia joins (~user@user/siracusa)
2026-02-04 02:44:41 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 265 seconds)
2026-02-04 02:53:06 × omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-02-04 02:56:32 → omidmash joins (~omidmash@user/omidmash)
2026-02-04 02:56:49 × karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds)
2026-02-04 03:18:42 <EvanR> I heard orphans are impossible, then we have packages on hackage specifically advertising orphan instances
2026-02-04 03:19:20 <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 03:31:05 × notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds)
2026-02-04 03:31:44 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-04 03:31:58 → trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-04 03:37:19 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2026-02-04 03:41:39 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 03:43:52 jmcantrell_ is now known as jmcantrell
2026-02-04 03:47:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 03:49:59 × DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection)
2026-02-04 03:50:26 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 03:50:35 → DragonMaus joins (~DragonMau@user/dragonmaus)
2026-02-04 03:55:03 → peterbecich joins (~Thunderbi@71.84.33.135)
2026-02-04 03:55:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 04:05:59 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 04:11:03 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-04 04:11:27 × Googulator61 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed)
2026-02-04 04:11:44 → Googulator61 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu)
2026-02-04 04:21:45 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 04:21:48 × DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection)
2026-02-04 04:21:52 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
2026-02-04 04:22:03 → DragonMaus joins (~DragonMau@user/dragonmaus)
2026-02-04 04:27:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-04 04:28:56 × DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection)
2026-02-04 04:29:32 → DragonMaus joins (~DragonMau@user/dragonmaus)
2026-02-04 04:37:33 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 04:42:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-04 04:46:13 × emaczen quits (~user@user/emaczen) (Ping timeout: 264 seconds)
2026-02-04 04:53:20 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-04 05:00:23 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 17479 17480 17481 17482 17483 17484 17485 17486 17487 17488 17489 .. 17995

All times are in UTC.