2024/11/13

Newest at the top

2024-11-13 02:32:01 +0100 <monochrom> Ah maybe parens
2024-11-13 02:31:34 +0100 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2024-11-13 02:31:34 +0100 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M452416577057...
2024-11-13 02:31:34 +0100 <lambdabot> error:
2024-11-13 02:31:33 +0100 <monochrom> > [maxBound] `asTypeOf` [0..] !! maxBound
2024-11-13 02:30:36 +0100 <Rembane> That's a big number.
2024-11-13 02:30:30 +0100 <lambdabot> 9223372036854775807
2024-11-13 02:30:29 +0100 <Rembane> > maxBound :: Int
2024-11-13 02:30:19 +0100 <lambdabot> arising from a use of ‘maxBound’
2024-11-13 02:30:19 +0100 <lambdabot> • No instance for (Bounded Integer)
2024-11-13 02:30:19 +0100 <lambdabot> error:
2024-11-13 02:30:17 +0100 <monochrom> > maxBound :: Integer
2024-11-13 02:29:58 +0100 <lambdabot> (Num a, Enum a) => a
2024-11-13 02:29:57 +0100 <monochrom> @type [0..] !! maxBound
2024-11-13 02:29:50 +0100 <jackdk> darn I was hoping it'd default
2024-11-13 02:29:42 +0100 <lambdabot> from the context: (Num a, Enum a)
2024-11-13 02:29:42 +0100 <lambdabot> • Could not deduce (Enum a0) arising from a use of ‘fromEnum’
2024-11-13 02:29:42 +0100 <lambdabot> error:
2024-11-13 02:29:40 +0100 <jackdk> > [0..] !! fromEnum (maxBound)
2024-11-13 02:29:04 +0100 <Rembane> :D
2024-11-13 02:29:03 +0100 <lambdabot> ()
2024-11-13 02:29:01 +0100 <Rembane> > maxBound
2024-11-13 02:28:58 +0100 <Rembane> Wouldn't that be maxBound +/- 1?
2024-11-13 02:27:49 +0100 <lambdabot> mueval-core: Time limit exceeded
2024-11-13 02:27:44 +0100 <haskellbridge> > [0..] !! maxBound
2024-11-13 02:27:43 +0100 <haskellbridge> <zwro> come on
2024-11-13 02:26:33 +0100 <haskellbridge> <zwro> > [0..] !! maxBound
2024-11-13 02:09:59 +0100comonad(~comonad@p200300d0270bcb00d2bd35ff80c069c9.dip0.t-ipconnect.de)
2024-11-13 02:07:56 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-11-13 02:07:47 +0100comonad(~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2024-11-13 02:06:53 +0100 <Axman6> Even if things aren't being copied, you're incurring a bounds check for every index. mapM (pure . f) v would be much more efficient, and more idomatic (it took me ages to figure out what that code was actually doing)
2024-11-13 02:04:47 +0100 <Axman6> uh, actually, isn't that just map?
2024-11-13 02:04:37 +0100remexre(~remexre@user/remexre) remexre
2024-11-13 02:04:15 +0100remexre(~remexre@user/remexre) (Remote host closed the connection)
2024-11-13 02:03:45 +0100Square(~Square@user/square) Square
2024-11-13 02:03:08 +0100 <Axman6> bailsman: that feels like you're reinventing https://hackage.haskell.org/package/vector-0.13.2.0/docs/Data-Vector.html#v:imap? or something else? I think what you've written will have to repeatedly freeze and copy the vector so it's going to be very slow.
2024-11-13 01:44:49 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-13 01:43:56 +0100EvanR(~EvanR@user/evanr) EvanR
2024-11-13 01:43:37 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-11-13 01:35:56 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-11-13 01:31:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-13 01:27:54 +0100xff0x(~xff0x@2405:6580:b080:900:50c5:d80f:bb7d:df5c) (Ping timeout: 260 seconds)
2024-11-13 01:27:07 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-11-13 01:18:12 +0100KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-11-13 01:17:21 +0100Everything(~Everythin@178-133-145-205.mobile.vf-ua.net) (Quit: leaving)
2024-11-13 01:16:50 +0100ljdarj1ljdarj
2024-11-13 01:16:50 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-11-13 01:14:23 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-13 01:13:07 +0100yuzu(~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) (Quit: Client closed)
2024-11-13 01:13:02 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj