2025/05/16

Newest at the top

2025-05-16 18:31:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-05-16 18:30:58 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-16 18:24:14 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-05-16 18:22:12 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-16 18:21:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 18:20:47 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-16 18:20:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-16 18:16:17 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-16 18:15:50 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-16 18:15:22 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-16 18:12:24 +0200mistivia(~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-16 18:07:27 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-16 18:07:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-16 18:07:09 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-16 18:06:48 +0200euleritian(~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de)
2025-05-16 18:06:40 +0200euleritian(~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 +0200jespada(~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 +0200mistivia(~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 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 252 seconds)
2025-05-16 18:02:25 +0200mistivia(~mistivia@user/mistivia) (Ping timeout: 248 seconds)
2025-05-16 18:01:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-16 18:01:07 +0200sabathan2(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-16 17:53:25 +0200lortabac(~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 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-16 17:40:21 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 17:37:00 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-16 17:35:17 +0200acidjnk(~acidjnk@p200300d6e71c4f4171b486f1d120a7f7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-16 17:33:16 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 17:32:53 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-16 17:24:54 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-16 17:24:20 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-16 17:23:33 +0200gorignak(~gorignak@user/gorignak) (Read error: Connection reset by peer)
2025-05-16 17:23:23 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds)
2025-05-16 17:23:00 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-16 17:22:06 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-16 17:14:58 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-05-16 17:13:34 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-05-16 17:12:00 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-16 17:06:54 +0200Guest86(~Guest0@175.176.24.130) (Quit: Client closed)