Newest at the top
| 2025-11-07 17:09:38 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:9f50:13f1:779b:4aa6) youngfrog |
| 2025-11-07 17:09:18 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:3dd:a915:d31f:6e01) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-11-07 17:09:05 +0100 | Googulator94 | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 17:08:36 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-07 17:08:17 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-07 17:07:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 17:05:56 +0100 | Googulator49 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 17:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-07 17:04:16 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-11-07 16:59:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 16:58:14 +0100 | <dutchie> | am I supposed to use vector-algorithms to sort Data.Vector.Vectors? |
| 2025-11-07 16:56:58 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-07 16:52:34 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-07 16:48:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-07 16:47:02 +0100 | annamalai | (~annamalai@157.33.208.56) annamalai |
| 2025-11-07 16:46:41 +0100 | annamalai | (~annamalai@157.33.208.56) (Read error: Connection reset by peer) |
| 2025-11-07 16:44:48 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 16:44:28 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-07 16:43:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 16:40:29 +0100 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-07 16:37:23 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-07 16:32:54 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-07 16:32:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 16:27:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 16:18:49 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f6a2:6697:d899:5ef3) |
| 2025-11-07 16:16:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 16:09:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 16:08:21 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-11-07 16:07:36 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-11-07 16:04:52 +0100 | fp | (~Thunderbi@130.233.70.136) (Ping timeout: 260 seconds) |
| 2025-11-07 16:03:14 +0100 | <tomsmeding> | but the latter is constant over the entire ContT computation, so fmap'ing that must be type-preserving |
| 2025-11-07 16:02:56 +0100 | <tomsmeding> | you're trying to put one of them in the normal in-monad return value of that ContT expression, and the other in the 'r' top-level return value of the ContT computation |
| 2025-11-07 16:02:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-07 16:00:50 +0100 | <tomsmeding> | where do they go? |
| 2025-11-07 16:00:45 +0100 | <tomsmeding> | consider: run1 "returns" two things: x and the thing that you later swap |
| 2025-11-07 16:00:19 +0100 | <tomsmeding> | [exa]: I don't think that's going to work |
| 2025-11-07 16:00:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 15:57:46 +0100 | <haskellbridge> | <Morj> Ahh you're right |
| 2025-11-07 15:57:39 +0100 | <tomsmeding> | Set is not a fucntor |
| 2025-11-07 15:57:34 +0100 | <tomsmeding> | it's a functor in the values |
| 2025-11-07 15:57:31 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-07 15:57:26 +0100 | <haskellbridge> | <Morj> Wait, since when is Map a Functor? I thought the instance was unlawful |
| 2025-11-07 15:57:11 +0100 | trickard_ | trickard |
| 2025-11-07 15:56:52 +0100 | <haskellbridge> | <Morj> I like mono-traversable more because it doesn't require functor, so can work on bytestrings. On the other hand they both don't allow Set for different reasons |
| 2025-11-07 15:56:42 +0100 | <lortabac> | which takes a different approach from mono-traversable |
| 2025-11-07 15:55:37 +0100 | <lambdabot> | https://hackage.haskell.org/package/witherable |
| 2025-11-07 15:55:37 +0100 | <lortabac> | @hackage witherable |
| 2025-11-07 15:55:33 +0100 | <lortabac> | there is a generalized version in witherable |
| 2025-11-07 15:55:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 15:54:40 +0100 | Googulator94 | (~Googulato@team.broadbit.hu) |