| 2024-11-13 00:03:13 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2024-11-13 00:06:12 +0100 | falafel | (~falafel@2600:1700:99f4:2050:7dd6:87c8:aed5:b9e5) (Ping timeout: 252 seconds) |
| 2024-11-13 00:06:21 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.4.2) |
| 2024-11-13 00:08:29 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2024-11-13 00:10:53 +0100 | Everything | (~Everythin@178-133-145-205.mobile.vf-ua.net) Everything |
| 2024-11-13 00:19:33 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f33a143196b11e5c3bb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-13 00:20:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-11-13 00:29:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-13 00:31:29 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-13 00:31:31 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-13 00:35:37 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-13 00:42:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 00:47:36 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-13 00:51:15 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-11-13 00:54:40 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-13 00:57:00 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-11-13 00:57:22 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-11-13 00:59:59 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-11-13 01:04:06 +0100 | yuzu | (~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) |
| 2024-11-13 01:04:20 +0100 | yuzu | (~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) (Client Quit) |
| 2024-11-13 01:04:52 +0100 | yuzu | (~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) |
| 2024-11-13 01:07:31 +0100 | sprotte24 | (~sprotte24@p200300d16f2cc30041d9df5443f92151.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-13 01:12:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-13 01:13:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-13 01:13:07 +0100 | yuzu | (~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) (Quit: Client closed) |
| 2024-11-13 01:14:23 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-13 01:16:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-11-13 01:16:50 +0100 | ljdarj1 | ljdarj |
| 2024-11-13 01:17:21 +0100 | Everything | (~Everythin@178-133-145-205.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-13 01:18:12 +0100 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-13 01:27:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-13 01:27:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:50c5:d80f:bb7d:df5c) (Ping timeout: 260 seconds) |
| 2024-11-13 01:31:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 01:35:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-13 01:43:37 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-11-13 01:43:56 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-11-13 01:44:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 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 02:03:45 +0100 | Square | (~Square@user/square) Square |
| 2024-11-13 02:04:15 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2024-11-13 02:04:37 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2024-11-13 02:04:47 +0100 | <Axman6> | uh, actually, isn't that just map? |
| 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:07:47 +0100 | comonad | (~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-11-13 02:07:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-13 02:09:59 +0100 | comonad | (~comonad@p200300d0270bcb00d2bd35ff80c069c9.dip0.t-ipconnect.de) |
| 2024-11-13 02:26:33 +0100 | <haskellbridge> | <zwro> > [0..] !! maxBound |
| 2024-11-13 02:27:43 +0100 | <haskellbridge> | <zwro> come on |
| 2024-11-13 02:27:44 +0100 | <haskellbridge> | > [0..] !! maxBound |
| 2024-11-13 02:27:49 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-13 02:28:58 +0100 | <Rembane> | Wouldn't that be maxBound +/- 1? |
| 2024-11-13 02:29:01 +0100 | <Rembane> | > maxBound |
| 2024-11-13 02:29:03 +0100 | <lambdabot> | () |
| 2024-11-13 02:29:04 +0100 | <Rembane> | :D |
| 2024-11-13 02:29:40 +0100 | <jackdk> | > [0..] !! fromEnum (maxBound) |
| 2024-11-13 02:29:42 +0100 | <lambdabot> | error: |
| 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> | from the context: (Num a, Enum a) |
| 2024-11-13 02:29:50 +0100 | <jackdk> | darn I was hoping it'd default |
| 2024-11-13 02:29:57 +0100 | <monochrom> | @type [0..] !! maxBound |
| 2024-11-13 02:29:58 +0100 | <lambdabot> | (Num a, Enum a) => a |
| 2024-11-13 02:30:17 +0100 | <monochrom> | > maxBound :: Integer |
| 2024-11-13 02:30:19 +0100 | <lambdabot> | error: |
| 2024-11-13 02:30:19 +0100 | <lambdabot> | • No instance for (Bounded Integer) |
| 2024-11-13 02:30:19 +0100 | <lambdabot> | arising from a use of ‘maxBound’ |
| 2024-11-13 02:30:29 +0100 | <Rembane> | > maxBound :: Int |
| 2024-11-13 02:30:30 +0100 | <lambdabot> | 9223372036854775807 |
| 2024-11-13 02:30:36 +0100 | <Rembane> | That's a big number. |
| 2024-11-13 02:31:33 +0100 | <monochrom> | > [maxBound] `asTypeOf` [0..] !! maxBound |
| 2024-11-13 02:31:34 +0100 | <lambdabot> | error: |
| 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> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2024-11-13 02:32:01 +0100 | <monochrom> | Ah maybe parens |
| 2024-11-13 02:32:06 +0100 | <monochrom> | > [maxBound] `asTypeOf` ([0..] !! maxBound) |
| 2024-11-13 02:32:07 +0100 | <lambdabot> | error: |
| 2024-11-13 02:32:07 +0100 | <lambdabot> | • No instance for (Num [()]) arising from a use of ‘e_10’ |
| 2024-11-13 02:32:07 +0100 | <lambdabot> | • In the expression: e_10 |
| 2024-11-13 02:32:19 +0100 | <monochrom> | Oh oops I am a type error |
| 2024-11-13 02:32:26 +0100 | <monochrom> | > maxBound `asTypeOf` ([0..] !! maxBound) |
| 2024-11-13 02:32:28 +0100 | <lambdabot> | error: |
| 2024-11-13 02:32:28 +0100 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M414883925847... |
| 2024-11-13 02:32:28 +0100 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2024-11-13 02:32:31 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-13 02:33:16 +0100 | <monochrom> | Haha I guess I fail at type inference. |
| 2024-11-13 02:33:56 +0100 | <yin> | what are you trying to do? |
| 2024-11-13 02:34:36 +0100 | <geekosaur> | this sounds like someone put in the Num instance for () again? |
| 2024-11-13 02:34:38 +0100 | <monochrom> | I am trying to understand what [0..] !! maxBound defaults to. |
| 2024-11-13 02:34:51 +0100 | <yin> | :t [0..] !! maxBound |
| 2024-11-13 02:34:52 +0100 | <lambdabot> | (Num a, Enum a) => a |
| 2024-11-13 02:35:00 +0100 | <yin> | Integer probably |
| 2024-11-13 02:35:10 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-13 02:35:13 +0100 | <monochrom> | > ([0..] !! maxBound) :: Integer |
| 2024-11-13 02:35:19 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-13 02:35:20 +0100 | <yin> | [0 :: Integer] !! (maxBound :: Int) |
| 2024-11-13 02:35:49 +0100 | <monochrom> | Ooohhhh I am a moron. x!!y forces y :: Int. |
| 2024-11-13 02:35:57 +0100 | <yin> | yes :) |
| 2024-11-13 02:36:16 +0100 | <yin> | i mean not that you're a moron. the second part |
| 2024-11-13 02:36:38 +0100 | <monochrom> | haha |
| 2024-11-13 02:36:56 +0100 | <monochrom> | I somehow had [0..maxBound] stuck in my mind. |
| 2024-11-13 02:37:16 +0100 | <yin> | intuitively makes sense |
| 2024-11-13 02:42:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-11-13 02:47:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 02:47:53 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-13 03:02:17 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2024-11-13 03:11:18 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-11-13 03:13:24 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:b27:4ecf:926d:786) (Remote host closed the connection) |
| 2024-11-13 03:15:12 +0100 | Square | (~Square@user/square) Square |
| 2024-11-13 03:17:05 +0100 | <haskellbridge> | <zwro> ghci defaulting to () for constrained polymorphic types happens because it's the simplest thing you can print. ghc would complain |
| 2024-11-13 03:18:16 +0100 | <haskellbridge> | <zwro> it's the most sensible thing to print |
| 2024-11-13 03:18:16 +0100 | <haskellbridge> | > :t mempty |
| 2024-11-13 03:18:17 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-11-13 03:18:32 +0100 | <haskellbridge> | <zwro> er |
| 2024-11-13 03:18:32 +0100 | <haskellbridge> | :t mempty |
| 2024-11-13 03:18:33 +0100 | <lambdabot> | Monoid a => a |
| 2024-11-13 03:18:52 +0100 | <haskellbridge> | <zwro> there we go |
| 2024-11-13 03:18:52 +0100 | <haskellbridge> | > mempty |
| 2024-11-13 03:18:54 +0100 | <lambdabot> | () |
| 2024-11-13 03:21:00 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-13 03:30:42 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 276 seconds) |
| 2024-11-13 03:31:07 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-13 03:40:09 +0100 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2024-11-13 03:46:33 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-13 03:47:33 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-13 03:49:48 +0100 | alp | (~alp@2001:861:e3d6:8f80:46dd:be45:db8:fbc7) (Ping timeout: 272 seconds) |
| 2024-11-13 03:51:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-13 03:53:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-13 03:58:07 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2024-11-13 04:20:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 04:30:49 +0100 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-13 04:32:38 +0100 | td_ | (~td@i53870901.versanet.de) |
| 2024-11-13 04:36:41 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-13 04:44:42 +0100 | alp | (~alp@2001:861:e3d6:8f80:a847:8724:8ab7:c88b) |
| 2024-11-13 04:47:09 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-13 04:50:03 +0100 | <EvanR> | inany case [0..] !! maxBound, maxBound +1, maxBound - 1 all make sense, it's infinite. Other than maxBound + 1 not being a thing |
| 2024-11-13 04:50:39 +0100 | <EvanR> | :t (!!) |
| 2024-11-13 04:50:40 +0100 | <lambdabot> | [a] -> Int -> a |
| 2024-11-13 04:53:15 +0100 | <EvanR> | this type signature for this operation is so disappoint |
| 2024-11-13 04:53:44 +0100 | <EvanR> | more like [a] -> Int -> a or crash, who knows |
| 2024-11-13 05:15:03 +0100 | <dibblego> | @type ix |
| 2024-11-13 05:15:04 +0100 | <lambdabot> | (Ixed m, Applicative f) => Index m -> (IxValue m -> f (IxValue m)) -> m -> f m |
| 2024-11-13 05:15:27 +0100 | <dibblego> | @type view . ix |
| 2024-11-13 05:15:27 +0100 | <lambdabot> | (MonadReader s m, Ixed s, Monoid (IxValue s)) => Index s -> m (IxValue s) |
| 2024-11-13 05:18:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-13 05:25:01 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-11-13 05:25:33 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-11-13 05:40:06 +0100 | aforemny_ | (~aforemny@i59F4C560.versanet.de) aforemny |
| 2024-11-13 05:40:48 +0100 | aforemny | (~aforemny@2001:9e8:6cde:dd00:e907:b368:5aa5:db2) (Ping timeout: 245 seconds) |
| 2024-11-13 05:44:55 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2024-11-13 05:46:44 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-11-13 05:50:56 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-13 05:53:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 06:08:05 +0100 | mange | (~user@user/mange) mange |
| 2024-11-13 06:12:53 +0100 | <Axman6> | @type view . ix `asAppliedTo` undefined |
| 2024-11-13 06:12:54 +0100 | <lambdabot> | (MonadReader s m, Ixed s, Monoid (IxValue s)) => Index s -> m (IxValue s) |
| 2024-11-13 06:16:11 +0100 | <jackdk> | @type asAppliedTo |
| 2024-11-13 06:16:12 +0100 | <lambdabot> | (a -> b) -> a -> a -> b |
| 2024-11-13 06:16:25 +0100 | <jackdk> | huh? |
| 2024-11-13 06:16:34 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-13 06:16:58 +0100 | <Axman6> | it's just const with a resticted type, like all the things in lens which are just id |
| 2024-11-13 06:17:20 +0100 | <Axman6> | I was trying to get it to expand the m to a function |
| 2024-11-13 06:17:36 +0100 | <Axman6> | @type \x -> view (ix x) `asAppliedTo` undefined |
| 2024-11-13 06:17:37 +0100 | <lambdabot> | (Ixed s, Monoid (IxValue s)) => Index s -> s -> IxValue s |
| 2024-11-13 06:18:45 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-13 06:51:42 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-11-13 07:24:26 +0100 | foul_owl | (~kerry@185.216.231.181) (Ping timeout: 255 seconds) |
| 2024-11-13 07:26:22 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-13 07:26:58 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-13 07:31:13 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-13 07:34:19 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-11-13 07:36:11 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-13 07:36:42 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |