Logs: liberachat/#haskell
| 2026-05-01 14:28:21 | × | Square quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2026-05-01 14:28:49 | × | astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
| 2026-05-01 14:30:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 14:31:33 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-05-01 14:36:24 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-05-01 14:36:28 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2026-05-01 14:37:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:37:48 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2026-05-01 14:37:56 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 14:38:20 | → | puke joins (~puke@user/puke) |
| 2026-05-01 14:38:58 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 14:39:40 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-05-01 14:44:03 | → | puke joins (~puke@user/puke) |
| 2026-05-01 14:46:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-05-01 14:49:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 14:54:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:55:53 | → | pavonia joins (~user@user/siracusa) |
| 2026-05-01 15:00:19 | → | TwinAdam joins (~TwinAdam@user/adamsaunders) |
| 2026-05-01 15:00:58 | → | r1bilski_ joins (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 15:07:06 | <gentauro> | % :t foldl1 |
| 2026-05-01 15:07:06 | <yahb2> | foldl1 :: Foldable t => (a -> a -> a) -> t a -> a |
| 2026-05-01 15:07:39 | <gentauro> | % :t foldl |
| 2026-05-01 15:07:40 | <yahb2> | foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2026-05-01 15:08:28 | <haskellbridge> | <ijouw> There is also foldl' |
| 2026-05-01 15:09:39 | <Leary> | gentauro: `Alternative` provides another generisation of `++` (and `[]`) which is likely more appropriate if it type checks. |
| 2026-05-01 15:09:40 | × | tomsmeding quits (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-01 15:10:00 | <gentauro> | ijouw yeah, the LSP keeps complaining about those. However, as I use `{-# OPTIONS_GHC -Wall -Werror #-}` per file, I get all kind of strange error when compiling :( |
| 2026-05-01 15:10:22 | → | tomsmeding joins (~tomsmedin@user/tomsmeding) |
| 2026-05-01 15:10:36 | <gentauro> | Leary: like `<|>`? |
| 2026-05-01 15:10:51 | <haskellbridge> | <ijouw> yes |
| 2026-05-01 15:13:06 | <gentauro> | I guess I end up with `foldl (\ acc x -> acc <> x) mempty` which does the trick |
| 2026-05-01 15:13:06 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 15:13:25 | × | r1bilski_ quits (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 276 seconds) |
| 2026-05-01 15:13:53 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2026-05-01 15:14:18 | gentauro | oh, I didn't wrote my Monoid instance |
| 2026-05-01 15:14:20 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 2026-05-01 15:14:20 | ChanServ | sets mode +v yahb2 |
All times are in UTC.