Newest at the top
2025-01-05 22:07:16 +0100 | connrs | (~connrs@user/connrs) connrs |
2025-01-05 22:07:12 +0100 | <lambdabot> | a -> Maybe a -> a |
2025-01-05 22:07:11 +0100 | <EvanR> | :t fromMaybe |
2025-01-05 22:06:56 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Client Quit) |
2025-01-05 22:03:30 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-01-05 22:03:02 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-01-05 22:01:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-05 22:01:00 +0100 | <haskellbridge> | <Profpatsch> kaol: try this: https://code.tvl.fyi/tree/users/Profpatsch/my-prelude/src/Builder.hs |
2025-01-05 22:00:51 +0100 | <haskellbridge> | <Profpatsch> (this is fromMaybe, called like that because it looks like Elvis’ hair) |
2025-01-05 22:00:44 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Client Quit) |
2025-01-05 22:00:43 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2025-01-05 22:00:26 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2025-01-05 22:00:25 +0100 | <haskellbridge> | <Profpatsch> ?: |
2025-01-05 22:00:23 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-01-05 21:59:43 +0100 | <EvanR> | what is this elvis operator you speak of |
2025-01-05 21:58:16 +0100 | <haskellbridge> | <Profpatsch> that header concatenation screams “Builder” though |
2025-01-05 21:57:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-05 21:56:46 +0100 | <haskellbridge> | <Profpatsch> other languages have ? and the elvis operator |
2025-01-05 21:56:20 +0100 | <EvanR> | elsewhere in other languages you constantly hear "I have never ever needed or even seen a second layer of optional" |
2025-01-05 21:55:48 +0100 | <EvanR> | there are so many layers of Maybe or Either in this code |
2025-01-05 21:55:21 +0100 | <EvanR> | cool |
2025-01-05 21:54:21 +0100 | homo | (~homo@user/homo) homo |
2025-01-05 21:53:23 +0100 | <haskellbridge> | <Profpatsch> EvanR: hush is usually :: Either e a -> Maybe a |
2025-01-05 21:53:18 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
2025-01-05 21:52:43 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-01-05 21:51:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-05 21:50:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-05 21:50:18 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
2025-01-05 21:49:59 +0100 | <EvanR> | what is the hush function |
2025-01-05 21:49:58 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-05 21:47:36 +0100 | <EvanR> | your lambda should be polymorphic in i (from IAuthBackend), which can then unify with i introduced by recoverSession. I don't know what goes wrong there |
2025-01-05 21:45:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-05 21:43:14 +0100 | <EvanR> | processing |
2025-01-05 21:38:37 +0100 | connrs | (~connrs@user/connrs) connrs |
2025-01-05 21:36:03 +0100 | <kaol> | I fixed that dreaded couldn't match type error by moving the record assignment to another top level function. Some day I'll actually understand Haskell. |
2025-01-05 21:34:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-05 21:34:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-01-05 21:31:57 +0100 | cheater | (~Username@user/cheater) cheater |
2025-01-05 21:29:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-05 21:25:51 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
2025-01-05 21:25:48 +0100 | <haskellbridge> | <Profpatsch> Or https://hackage.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder-RealFloat.html for floats |
2025-01-05 21:25:26 +0100 | <haskellbridge> | <Profpatsch> kaol: https://hackage.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder.html#g:12 |
2025-01-05 21:24:23 +0100 | <haskellbridge> | <Profpatsch> Which is a bunch of overhead, but might be mostly optimized away (I haven’t looked at the core output yet though!) |
2025-01-05 21:24:04 +0100 | <haskellbridge> | <Profpatsch> kaol: I had the same question yesterday, the best I’d find is going through the Builder |
2025-01-05 21:23:36 +0100 | <kaol> | This line used to work on GHC 8.8 (why upgrade too often?) but I get a "couldn't match type i1 with i" on GHC 9.6. Anyone spot anything obvious? https://github.com/kaol/snaplet-customauth/blob/master/Snap/Snaplet/CustomAuth/User.hs#L60 |
2025-01-05 21:18:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-05 21:16:20 +0100 | <kaol> | Unless I builderize this whole thing. Maybe later. |
2025-01-05 21:15:44 +0100 | <kaol> | It's okay for my use, I was just wondering if there was a particular standard library function that I missed. |
2025-01-05 21:15:17 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
2025-01-05 21:15:11 +0100 | <EvanR> | another idea is to use memoization to keep a cache of rendered numbers if they're usually small |