Logs: liberachat/#haskell
| 2026-03-20 12:55:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 13:02:44 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-20 13:07:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 13:11:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 13:15:13 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-03-20 13:16:28 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-20 13:20:24 | → | AlexNoo joins (~AlexNoo@178.34.151.138) |
| 2026-03-20 13:22:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 13:24:56 | → | AlexZenon joins (~alzenon@178.34.151.138) |
| 2026-03-20 13:24:57 | × | Rembane quits (~Rembane@user/Rembane) (Ping timeout: 248 seconds) |
| 2026-03-20 13:25:05 | → | danz69579 joins (~danza@user/danza) |
| 2026-03-20 13:26:08 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-20 13:27:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 13:34:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 13:39:34 | × | Catty quits (~catties@user/meow/catties) (Remote host closed the connection) |
| 2026-03-20 13:39:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 13:41:12 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-20 13:41:13 | → | Alex_delenda_est joins (~al_test@178.34.151.138) |
| 2026-03-20 13:46:13 | × | Alex_delenda_est quits (~al_test@178.34.151.138) (Ping timeout: 268 seconds) |
| 2026-03-20 13:46:22 | → | catties joins (~catties@user/meow/catties) |
| 2026-03-20 13:50:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 13:50:41 | catties | is now known as Catty |
| 2026-03-20 13:54:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 13:55:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 13:58:02 | → | Guest62t joins (~Guest62t@p200300ca8f11210081af2badae2f0f42.dip0.t-ipconnect.de) |
| 2026-03-20 14:01:56 | → | puke joins (~puke@user/puke) |
| 2026-03-20 14:05:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 14:06:15 | × | Freakie quits (~Freakie@37.96.11.80) (Quit: Client closed) |
| 2026-03-20 14:06:49 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-03-20 14:07:25 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-03-20 14:07:36 | × | traxex quits (traxex@user/traxex) (Ping timeout: 264 seconds) |
| 2026-03-20 14:09:02 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 269 seconds) |
| 2026-03-20 14:09:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 14:13:23 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2026-03-20 14:17:43 | → | akegalj joins (~akegalj@141-136-131-38.dsl.iskon.hr) |
| 2026-03-20 14:20:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 14:26:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 14:28:25 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 248 seconds) |
| 2026-03-20 14:32:19 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-03-20 14:34:50 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-20 14:35:42 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-20 14:35:51 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2026-03-20 14:42:52 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-03-20 14:53:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 14:58:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 15:00:18 | → | Alex_delenda_est joins (~al_test@178.34.151.138) |
| 2026-03-20 15:05:39 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 2026-03-20 15:09:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 15:10:33 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-03-20 15:14:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 15:33:24 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-03-20 15:34:59 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-20 15:35:17 | → | califax joins (~califax@user/califx) |
| 2026-03-20 15:36:45 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-20 15:37:19 | <chromoblob> | > length (undefined :: (a, b)) |
| 2026-03-20 15:37:20 | <lambdabot> | 1 |
| 2026-03-20 15:40:20 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-20 15:41:12 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 264 seconds) |
| 2026-03-20 15:52:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 15:53:35 | → | haritzondo joins (~hrtz@140.228.70.141) |
| 2026-03-20 15:53:55 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
| 2026-03-20 15:54:29 | × | hsw_ quits (~hsw@106.104.102.45) (Quit: Leaving) |
| 2026-03-20 15:56:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 16:00:13 | <mikko> | tuples being foldable is weird |
| 2026-03-20 16:00:24 | <mikko> | > minimum(1,2) |
| 2026-03-20 16:00:26 | <lambdabot> | 2 |
| 2026-03-20 16:01:12 | <geekosaur> | there are reasons for it, but the instance is also a fertile source of silent errors |
| 2026-03-20 16:01:33 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-20 16:02:36 | <mikko> | i'd like to hear more about the reasons |
| 2026-03-20 16:03:48 | <__monty__> | Does draw a nice parallel between AssocLists and Maps. |
| 2026-03-20 16:04:35 | <geekosaur> | largely related to the fact that tuples have a meaningful and useful `Functor` instance IIRC, which means they're like 90% there already |
| 2026-03-20 16:05:19 | × | Googulator quits (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-03-20 16:05:33 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2026-03-20 16:06:27 | <geekosaur> | and that makes them useful with `Traversable`, but you need `Foldable` for `Traversable` |
| 2026-03-20 16:06:37 | × | Googulator quits (~Googulato@team.broadbit.hu) (Client Quit) |
| 2026-03-20 16:06:58 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2026-03-20 16:07:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 16:07:47 | <geekosaur> | so you get this footgunny `Foldable` |
| 2026-03-20 16:12:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 16:22:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 16:29:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 16:30:58 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 2026-03-20 16:37:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 16:41:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 16:50:33 | × | danz69579 quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-20 16:53:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 16:57:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 16:58:21 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 255 seconds) |
| 2026-03-20 17:05:06 | × | kuribas` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2026-03-20 17:08:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 17:13:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 17:19:44 | × | akegalj quits (~akegalj@141-136-131-38.dsl.iskon.hr) (Quit: leaving) |
| 2026-03-20 17:21:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 17:22:03 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-03-20 17:24:14 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-03-20 17:26:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 17:36:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 17:42:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 17:46:06 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 268 seconds) |
| 2026-03-20 17:53:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.