Logs: liberachat/#haskell
| 2025-08-24 03:41:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 03:46:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 03:47:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-24 03:47:42 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 03:57:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 04:02:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 04:04:47 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-24 04:05:00 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-24 04:12:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 04:17:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 04:18:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-24 04:23:01 | <haskellbridge> | <Axman6> Urgh, I guess I do not understand linear types, I simply cannot get GHC to accept anything as being linear unless it's just some version of linear id. it seem that if I pass the linear argument into another linear function it always infers that the multiplicity is Many, which makes no sense to me. |
| 2025-08-24 04:27:17 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-24 04:28:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 04:28:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 04:32:26 | × | xff0x quits (~xff0x@2405:6580:b080:900:2821:a49c:15d4:98f4) (Ping timeout: 248 seconds) |
| 2025-08-24 04:32:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 04:35:22 | → | xff0x joins (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
| 2025-08-24 04:40:01 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-24 04:43:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 04:50:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 04:56:56 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-24 04:58:07 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-24 05:00:40 | <Pozyomka> | If you launch GHCi directly from a shell, and you enter an expression whose type doesn't have a Show instance, you get an error message complaining about the lack of this Show instance. But, if you launch GHCi from Emacs' haskell-mode, it behaves as if you had entered “:t expression”. Is there some command-line flag that I can pass to GHCi to get the haskell-mode behavior? |
| 2025-08-24 05:01:39 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-24 05:01:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 05:03:37 | → | arahael joins (~wetfoot@user/arahael) |
| 2025-08-24 05:06:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 05:11:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 05:14:32 | × | xff0x quits (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 248 seconds) |
| 2025-08-24 05:15:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 05:19:30 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-24 05:19:43 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-24 05:22:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
| 2025-08-24 05:24:53 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-24 05:26:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 05:28:37 | × | JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (Server closed connection) |
| 2025-08-24 05:28:46 | → | JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2025-08-24 05:30:34 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2025-08-24 05:31:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 05:35:24 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
| 2025-08-24 05:38:40 | <geekosaur> | you might be able to `import Debug.SimpleReflect` in .ghci after arranging for https://flora.pm/packages/@hackage/simple-reflect to be installed globally by some means (or using `cabal repl` or `stack ghci`) |
| 2025-08-24 05:40:48 | × | asivitz quits (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-24 05:41:22 | <Pozyomka> | Thanks! |
| 2025-08-24 05:42:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 05:44:07 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-24 05:46:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 05:49:12 | × | comonad quits (~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-24 05:50:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 256 seconds) |
| 2025-08-24 05:50:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
| 2025-08-24 05:51:05 | → | comonad joins (~comonad@p200300d0270ddd009670adfc2eadacd3.dip0.t-ipconnect.de) |
| 2025-08-24 05:51:17 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Server closed connection) |
| 2025-08-24 05:51:40 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 2025-08-24 05:56:18 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-24 05:57:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 06:02:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 06:12:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 06:17:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 06:19:35 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-24 06:21:48 | → | p3n joins (~p3n@217.198.124.246) |
| 2025-08-24 06:27:31 | × | juri_ quits (~juri@implicitcad.org) (Server closed connection) |
| 2025-08-24 06:27:45 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-08-24 06:28:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 06:31:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 252 seconds) |
| 2025-08-24 06:35:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 06:35:49 | trickard_ | is now known as trickard |
| 2025-08-24 06:35:51 | → | xff0x joins (~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) |
| 2025-08-24 06:46:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 06:51:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 06:51:56 | → | _________ joins (~nobody@user/noodly) |
| 2025-08-24 06:54:32 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-08-24 06:59:16 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 2025-08-24 07:00:01 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-24 07:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-24 07:01:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 07:06:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 07:06:57 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-24 07:12:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 07:16:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 07:22:55 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-24 07:23:14 | → | Guest32 joins (~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7) |
| 2025-08-24 07:25:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 07:30:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 07:32:32 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2025-08-24 07:36:29 | → | puke joins (~puke@user/puke) |
| 2025-08-24 07:39:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 07:40:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 07:41:55 | × | Taneb quits (~Taneb@ip87-106-35-210.pbiaas.com) (Server closed connection) |
| 2025-08-24 07:44:47 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-24 07:45:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-24 07:47:03 | → | Taneb joins (~Taneb@ip87-106-35-210.pbiaas.com) |
| 2025-08-24 07:49:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-24 07:52:58 | → | Guest84 joins (~Guest94@203.129.50.252) |
| 2025-08-24 07:53:29 | <Guest84> | @pl fun2' :: Integer -> Integer |
| 2025-08-24 07:53:30 | <lambdabot> | (line 1, column 20): |
| 2025-08-24 07:53:30 | <lambdabot> | unexpected '>' |
| 2025-08-24 07:53:30 | <lambdabot> | expecting operator |
| 2025-08-24 07:53:30 | <Guest84> | fun2' = sum . filter even . takeWhile (> 1) . iterate (\n -> if even n then n `div` 2 else 3 * n + 1) |
| 2025-08-24 07:53:44 | <Guest84> | @pl fun2' = sum . filter even . takeWhile (> 1) . iterate (\n -> if even n then n `div` 2 else 3 * n + 1) |
| 2025-08-24 07:53:44 | <lambdabot> | fun2' = sum . filter even . takeWhile (> 1) . iterate (ap (liftM2 if' even (`div` 2)) ((1 +) . (3 *))) |
All times are in UTC.