Logs: liberachat/#haskell
| 2026-04-30 12:08:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:13:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-30 12:14:56 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 12:17:01 | → | Square2 joins (~Square@user/square) |
| 2026-04-30 12:17:40 | × | Square quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-04-30 12:26:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:27:04 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 12:31:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 12:37:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:43:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 12:45:53 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 12:46:21 | → | dcb joins (~dcb@user/dcb) |
| 2026-04-30 12:50:58 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-04-30 12:51:39 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-04-30 12:52:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-30 12:52:07 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-30 12:52:30 | → | emaczen joins (~user@user/emaczen) |
| 2026-04-30 12:53:05 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-30 12:53:36 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 12:55:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 12:59:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 13:08:19 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 13:14:39 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-30 13:30:17 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 13:30:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-04-30 13:30:37 | → | pavonia joins (~user@user/siracusa) |
| 2026-04-30 13:36:49 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2026-04-30 13:37:10 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-30 13:38:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 13:40:21 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-30 13:43:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 13:44:49 | × | r1bilski quits (~r1bilski@user/r1bilski) (Remote host closed the connection) |
| 2026-04-30 13:45:06 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 13:45:33 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-04-30 13:45:53 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-04-30 13:50:49 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |
| 2026-04-30 13:54:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 13:55:42 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 13:56:07 | → | puke joins (~puke@user/puke) |
| 2026-04-30 13:57:32 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-04-30 13:58:17 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-04-30 13:59:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 14:01:51 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-30 14:10:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:13:51 | <haskellbridge> | <thirdofmay18081814goya> what's the usual approach to filtering using optics? if I want to remove e.g. nodes from a tree or elements of a list matching some predicate |
| 2026-04-30 14:15:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 14:15:46 | <haskellbridge> | <thirdofmay18081814goya> it's not just a cast into a fold + filter for more complicated structures, since we probably want to specify some notion of what gets preserved |
| 2026-04-30 14:16:34 | → | puke joins (~puke@user/puke) |
| 2026-04-30 14:20:26 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 14:24:18 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 2026-04-30 14:26:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:30:07 | <haskellbridge> | <thirdofmay18081814goya> it's also not clear it's possible for it to be anything else than a Fold since there's no obvious way to construct the covariant side of the profunctor |
| 2026-04-30 14:30:13 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 14:30:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 14:38:47 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-04-30 14:39:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:41:04 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-30 14:41:54 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-30 14:45:02 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) |
| 2026-04-30 14:45:02 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) (Changing host) |
| 2026-04-30 14:45:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-30 14:45:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 14:46:08 | × | st_aldini quits (~Betterbir@2605:a601:a07c:7426:722:1ac7:7d6b:c73c) (Quit: st_aldini) |
| 2026-04-30 14:47:17 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 14:52:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-30 14:56:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-30 14:56:39 | → | Square joins (~Square@user/square) |
| 2026-04-30 14:57:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 14:58:18 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2026-04-30 15:00:00 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 15:01:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 15:06:54 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 15:07:32 | → | ft joins (~ft@p508db287.dip0.t-ipconnect.de) |
| 2026-04-30 15:16:33 | × | jle` quits (~jle`@2603:8001:3b00:11:104a:f0b9:d164:3329) (Ping timeout: 246 seconds) |
| 2026-04-30 15:16:44 | × | Arsen quits (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:17:34 | → | jle` joins (~jle`@2603:8001:3b00:11::1fae) |
| 2026-04-30 15:20:42 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 265 seconds) |
| 2026-04-30 15:25:42 | × | califax quits (~califax@user/califx) (Ping timeout: 265 seconds) |
| 2026-04-30 15:26:47 | <janus> | having a really odd issue in the servant codebase |
| 2026-04-30 15:27:04 | <janus> | i enabled GHC2021 using default-language and removed a bunch of extensions |
| 2026-04-30 15:27:43 | <janus> | now, one of the cook books fails to compile. the cook book is using servant-multipart (an third party servant extension) as a dependency |
| 2026-04-30 15:28:05 | <janus> | and that dependency fails to compile because it can't satisfy a typeable constraint |
| 2026-04-30 15:28:44 | <janus> | i thought migrating to GHC2021 would be way easier, but it does seem to affect a bunch of corner cases in fancy type level code that servant has |
| 2026-04-30 15:28:55 | <janus> | i just didn't expect the code to compile, and then the dependencies to break! |
| 2026-04-30 15:29:24 | <janus> | is that something people have encountered? |
| 2026-04-30 15:29:37 | <janus> | s/dependencies/revdeps/ |
| 2026-04-30 15:29:51 | <c_wraith> | Not with that specifically, but stuff like PolyKinds can do that |
| 2026-04-30 15:30:10 | <Leary> | Yeah; at a guess, something that wasn't polykinded now is. |
| 2026-04-30 15:30:17 | → | puke joins (~puke@user/puke) |
| 2026-04-30 15:30:54 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-04-30 15:30:54 | <Leary> | Which is fine, but the revdep now needs `Typeable` on the kind. |
| 2026-04-30 15:30:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-30 15:31:14 | × | puke quits (~puke@user/puke) (Max SendQ exceeded) |
| 2026-04-30 15:31:17 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-04-30 15:31:31 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-04-30 15:31:35 | <janus> | but would it not be better to make the servant export not-polykinded , and keep compatibility with revdeps? |
| 2026-04-30 15:31:39 | → | puke joins (~puke@user/puke) |
| 2026-04-30 15:31:49 | tomsmeding_ | is now known as tomsmeding |
| 2026-04-30 15:32:43 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 15:33:04 | → | califax joins (~califax@user/califx) |
All times are in UTC.