Newest at the top
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) |
2025-05-16 17:56:15 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-05-16 17:55:27 +0200 | <wbrawner> | (I also know I should probably be returning a Maybe String to handle errors, haven't gotten that far yet) |
2025-05-16 17:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-16 17:53:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2025-05-16 17:53:10 +0200 | <wbrawner> | I guess my message was too long, here's the URL again: https://paste.wbrawner.com/upload/falcon-zebra-goose |
2025-05-16 17:52:54 +0200 | <wbrawner> | n-zebra-goose |
2025-05-16 17:52:54 +0200 | <wbrawner> | Hi all, haskell noob here. I'm trying to write a function that will fetch the HTML for a given URL. Something along the lines of fetchHTML :: String -> String, but I know that won't work since I'll be making an HTTP request, which would make the function impure. How can I type this so that I'm able to just take in a string, perform an IO action, then return a string? My WIP code is here: https://paste.wbrawner.com/upload/falco |
2025-05-16 17:50:35 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-16 17:40:21 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-05-16 17:37:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
2025-05-16 17:35:17 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-05-16 17:33:16 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-05-16 17:32:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-16 17:24:54 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-16 17:24:20 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-05-16 17:23:33 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
2025-05-16 17:23:23 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |