Logs: liberachat/#haskell
| 2026-05-01 11:01:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-05-01 11:07:36 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 11:14:14 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 2026-05-01 11:21:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 11:26:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-01 11:26:45 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-05-01 11:26:56 | × | bkani quits (~bkani@user/bkani) (Ping timeout: 252 seconds) |
| 2026-05-01 11:27:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 11:32:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-01 11:36:50 | → | Digit joins (~user@user/digit) |
| 2026-05-01 11:40:55 | × | Pozyomka quits (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-01 11:43:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 11:45:35 | → | misterfish joins (~misterfis@31-161-39-137.biz.kpn.net) |
| 2026-05-01 11:46:36 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-05-01 11:48:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 11:48:38 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-05-01 11:56:25 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-05-01 11:59:15 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-05-01 12:00:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 12:01:32 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 12:04:12 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-05-01 12:05:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 12:05:19 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 2026-05-01 12:13:39 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 12:15:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 12:20:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 12:21:33 | → | bkani joins (~bkani@user/bkani) |
| 2026-05-01 12:23:27 | × | bkani quits (~bkani@user/bkani) (Max SendQ exceeded) |
| 2026-05-01 12:25:13 | → | bkani joins (~bkani@user/bkani) |
| 2026-05-01 12:25:28 | × | bkani quits (~bkani@user/bkani) (Excess Flood) |
| 2026-05-01 12:25:53 | → | bkani joins (~bkani@user/bkani) |
| 2026-05-01 12:25:55 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 2026-05-01 12:28:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 12:31:14 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2026-05-01 12:31:47 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-05-01 12:32:13 | → | Square joins (~Square@user/square) |
| 2026-05-01 12:35:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 12:35:26 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-05-01 12:36:08 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-05-01 12:40:54 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-05-01 12:42:16 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-05-01 12:48:30 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-05-01 12:48:30 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-01 12:48:30 | → | haritz joins (~hrtz@user/haritz) |
| 2026-05-01 12:48:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 12:50:51 | × | xff0x quits (~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4) (Ping timeout: 246 seconds) |
| 2026-05-01 12:52:25 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2026-05-01 12:53:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 12:56:04 | → | xff0x joins (~xff0x@2402:9500:8000:8:f0d1:5cb6:56c6:e0bf) |
| 2026-05-01 13:01:09 | × | xff0x quits (~xff0x@2402:9500:8000:8:f0d1:5cb6:56c6:e0bf) (Ping timeout: 245 seconds) |
| 2026-05-01 13:03:17 | → | xff0x joins (~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4) |
| 2026-05-01 13:07:19 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-05-01 13:09:34 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-05-01 13:22:41 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-05-01 13:24:56 | × | dcb quits (~dcb@user/dcb) (Quit: MSN Messenger v1.10.1) |
| 2026-05-01 13:25:22 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-01 13:29:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 13:29:41 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-05-01 13:33:06 | × | s4msung quits (SHMU1ylKNZ@user/s4msung) (Quit: s4msung) |
| 2026-05-01 13:33:06 | × | noctuks quits (7NcJRRWP29@user/noctux) (Quit: WeeChat 4.8.1) |
| 2026-05-01 13:33:06 | × | yushyin quits (cFgGaR0ach@mail.karif.server-speed.net) (Quit: WeeChat 4.8.1) |
| 2026-05-01 13:33:38 | → | noctuks joins (4qNwsywqoM@user/noctux) |
| 2026-05-01 13:33:49 | → | s4msung joins (je0MgNYRJg@user/s4msung) |
| 2026-05-01 13:33:49 | → | yushyin joins (he1AwRbeNM@karif.server-speed.net) |
| 2026-05-01 13:34:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 13:34:42 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-05-01 13:35:55 | × | Pozyomka quits (~pyon@user/pyon) (Client Quit) |
| 2026-05-01 13:35:58 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:2d2e:4dd7:3c6f:8587) |
| 2026-05-01 13:35:58 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:2d2e:4dd7:3c6f:8587) (Changing host) |
| 2026-05-01 13:35:58 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-05-01 13:37:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-05-01 13:43:49 | <gentauro> | % :t (++) |
| 2026-05-01 13:43:49 | <yahb2> | (++) :: [a] -> [a] -> [a] |
| 2026-05-01 13:44:42 | <gentauro> | is it possible to implement `(++)` for a custom type? Or is it `Semigroup Foo where Foo x <> Foo y`` that should be used? |
| 2026-05-01 13:46:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 13:46:09 | × | Googulator quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-01 13:46:24 | → | Googulator joins (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 13:47:20 | → | dcb joins (~dcb@user/dcb) |
| 2026-05-01 13:47:33 | × | dcb quits (~dcb@user/dcb) (Remote host closed the connection) |
| 2026-05-01 13:48:50 | → | dcb joins (~dcb@user/dcb) |
| 2026-05-01 13:49:42 | → | puke joins (~puke@user/puke) |
| 2026-05-01 13:50:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 13:54:29 | <haskellbridge> | <ijouw> The prelude (++) is only for lists. Using Semigroup's (<>) seems a good choice. If you have multiple ways to define (<>) on your type, either document your choice or define custom operators. |
| 2026-05-01 14:01:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 14:06:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
All times are in UTC.