Logs: liberachat/#haskell
| 2026-03-20 17:57:53 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2026-03-20 17:59:26 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-03-20 18:01:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-20 18:01:50 | × | Guest62t quits (~Guest62t@p200300ca8f11210081af2badae2f0f42.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-03-20 18:04:41 | <probie> | :t uncurry (bool <$> (const Right) <*> (const . Left) <*> null) . partitionEithers |
| 2026-03-20 18:04:42 | <lambdabot> | [Either a b] -> Either [a] [b] |
| 2026-03-20 18:05:45 | <probie> | > map (uncurry (bool <$> (const Right) <*> (const . Left) <*> null) . partitionEithers) [[Left 1, Right 2, Left 3], [], [Right 1, Right 2, Right 3]] |
| 2026-03-20 18:05:46 | <lambdabot> | [Right [2],Left [],Left []] |
| 2026-03-20 18:06:24 | <probie> | > map (uncurry (bool <$> (const . Left) <*> (const Right) <*> null) . partitionEithers) [[Left 1, Right 2, Left 3], [], [Right 1, Right 2, Right 3]] |
| 2026-03-20 18:06:25 | <lambdabot> | [Left [1,3],Right [],Right [1,2,3]] |
| 2026-03-20 18:09:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-20 18:11:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 18:16:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 18:27:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 18:31:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 18:33:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 18:35:04 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2026-03-20 18:36:02 | <probie> | mikko: I don't think it's much weirder than `(->) r` being a monad. People are happy with the reader monad, but it looks a bit strange when the newtype is stripped away |
| 2026-03-20 18:37:33 | <probie> | I don't think it'd seem too weird to have `Foldable` and `Traversable` for `data Env env a = Env env a` |
| 2026-03-20 18:38:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 18:46:09 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-20 18:46:14 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-20 18:47:44 | <probie> | and since `Env` is equivalent to `(,)` and there's only one (assuming functional extensionality) reasonable valid definition for `Foldable` and `Traversable` for `Env a`/ `(,) a`. Having those instances seems no less reasonable than having a monad instance for `(->) r` |
| 2026-03-20 18:54:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 18:58:44 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 244 seconds) |
| 2026-03-20 18:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 19:00:20 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-20 19:06:01 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-20 19:10:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 19:10:37 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-20 19:14:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 19:25:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 19:28:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-20 19:29:36 | → | tusko joins (~uwu@user/tusko) |
| 2026-03-20 19:29:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 19:40:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 19:45:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 19:51:50 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-20 19:52:08 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-03-20 19:52:49 | → | Rembane joins (~Rembane@user/Rembane) |
| 2026-03-20 19:54:41 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-20 19:56:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 19:57:38 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-20 20:00:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 20:06:34 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 245 seconds) |
| 2026-03-20 20:11:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 20:14:37 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Quit: anselmschueler) |
| 2026-03-20 20:15:04 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-20 20:15:56 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-20 20:16:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 20:16:23 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-20 20:17:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 20:19:11 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-20 20:27:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 20:27:21 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-20 20:28:29 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:941d:5a00:e7:3ad0) |
| 2026-03-20 20:28:29 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:941d:5a00:e7:3ad0) (Changing host) |
| 2026-03-20 20:28:29 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 20:31:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 20:34:31 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-03-20 20:36:27 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-20 20:42:19 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-03-20 20:42:39 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-20 20:46:59 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-20 20:58:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 21:02:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 21:13:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 21:18:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 21:28:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 21:32:59 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-20 21:33:24 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-20 21:33:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 21:35:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-20 21:41:16 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-03-20 21:41:36 | → | EvanR joins (~EvanR@user/evanr) |
| 2026-03-20 21:44:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 21:45:29 | Digitteknohippie | is now known as Digit |
| 2026-03-20 21:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 21:58:11 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-03-20 22:02:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 22:06:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 22:08:41 | → | bggd joins (~bgg@user/bggd) |
| 2026-03-20 22:17:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 22:21:44 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-20 22:22:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 22:26:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 22:32:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 22:37:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 22:37:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-03-20 22:38:01 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-20 22:47:32 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-20 22:48:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 22:48:31 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-20 22:53:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 22:59:08 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-20 23:03:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 23:04:14 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-03-20 23:08:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-20 23:19:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 23:21:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
All times are in UTC.