Newest at the top
| 2025-05-16 19:25:58 +0200 | <wbrawner> | probie: also makes sense. I'll do that instead, thanks! |
| 2025-05-16 19:25:48 +0200 | <wbrawner> | ski: that makes sense, thanks. I tried to change it but now I'm running into other issues. If I can't work through these I'll share another paste |
| 2025-05-16 19:25:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 19:16:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-16 19:16:20 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 19:16:02 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 19:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 19:13:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 19:12:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 19:12:54 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 19:08:55 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:4cbe:a0fc:2922:d62) (Quit: ubert1) |
| 2025-05-16 19:08:50 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-05-16 19:08:02 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-05-16 19:05:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-16 19:04:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-16 18:57:31 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-16 18:56:10 +0200 | <probie> | wbrawner: Obligatory "you don't want to return a `Maybe String`". You probably want something like `Either URLFetchError String`, (where `URLFetchError` is a type you define yourself) so that you can convey what has gone wrong (an unreachable server is different from not found or an auth error) |
| 2025-05-16 18:45:37 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-16 18:40:57 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-05-16 18:40:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-16 18:34:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 18:34:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 18:34:18 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-05-16 18:31:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-16 18:30:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-16 18:24:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-16 18:22:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-16 18:21:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 18:20:47 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 18:20:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 18:16:17 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-16 18:15:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 18:15:22 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 18:12:24 +0200 | mistivia | (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-16 18:07:27 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-16 18:07:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 18:07:09 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-16 18:06:48 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 18:06:40 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-16 18:06:34 +0200 | <lambdabot> | shachaf says: getLine :: IO String contains a String in the same way that /bin/ls contains a list of files |
| 2025-05-16 18:06:33 +0200 | <ski> | @quote /bin/ls |
| 2025-05-16 18:06:13 +0200 | <ski> | for `Maybe', you'd want `String -> IO (Maybe String)' (or `String -> MaybeT IO String', which amounts to the same thing, but might be slightly more convenient) |
| 2025-05-16 18:05:27 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-16 18:05:19 +0200 | <ski> | (also, s/which would make the function impure/which would make the function (return an) effectful (action)" (all Haskell functions are "pure", including ones doing I/O .. that's the whole point of having `IO' in the types, it's explicit in the interface (and also in the implementation code), rather than implicit, happening on the side (so, "effectful", rather than "side-effectful"))) |
| 2025-05-16 18:03:33 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-16 18:03:32 +0200 | <ski> | wbrawner : you will need `fetchHTML :: String -> IO String' (can't "escape I/O") |
| 2025-05-16 18:02:55 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 2025-05-16 18:02:25 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 248 seconds) |
| 2025-05-16 18:01:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 18:01:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |