2024/11/18

Newest at the top

2024-11-18 20:48:57 +0100 <SrPx> I know that's not how IO works -
2024-11-18 20:48:56 +0100kaskal(~kaskal@2001:4bb8:2c3:1470:8b1d:2068:6ef2:d351) (Quit: ZNC - https://znc.in)
2024-11-18 20:48:46 +0100 <SrPx> yet, we only ever observe "x". as such, in a full lazy sense, it should only print "A" once
2024-11-18 20:48:20 +0100 <SrPx> obviously, it will print "A" 3 times, because we run all the lines of the "make" function
2024-11-18 20:48:06 +0100 <SrPx> main = do (x, y, z) <- make; print x
2024-11-18 20:48:03 +0100 <SrPx> make = do x <- gen; y <- gen; z <- gen; return (x, y, z)
2024-11-18 20:47:58 +0100 <SrPx> gen = do print "A"; return 1
2024-11-18 20:47:54 +0100 <SrPx> quick question about how IO and laziness mix. consider the following Haskell program:
2024-11-18 20:46:19 +0100Alleria(~Alleria@user/alleria) (Ping timeout: 260 seconds)
2024-11-18 20:43:46 +0100Alleria_(~Alleria@user/alleria) Alleria
2024-11-18 20:41:51 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-18 20:40:20 +0100euleritian(~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de)
2024-11-18 20:39:29 +0100euleritian(~euleritia@ip5f5ad3bc.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-11-18 20:34:15 +0100rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda
2024-11-18 20:32:54 +0100euleritian(~euleritia@ip5f5ad3bc.dynamic.kabel-deutschland.de)
2024-11-18 20:32:36 +0100euleritian(~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-18 20:31:50 +0100rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) (Read error: Connection reset by peer)
2024-11-18 20:30:50 +0100rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda
2024-11-18 20:28:31 +0100rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) (Read error: Connection reset by peer)
2024-11-18 20:28:31 +0100k`(~k`@152.7.255.193)
2024-11-18 20:21:27 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-11-18 20:19:55 +0100flounders(~flounders@173.246.200.74) (Quit: WeeChat 4.4.2)
2024-11-18 20:13:45 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-18 20:08:53 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-11-18 20:07:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-18 20:06:01 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-18 19:56:01 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-18 19:38:49 +0100euleritian(~euleritia@dynamic-176-002-004-196.176.2.pool.telefonica.de)
2024-11-18 19:37:55 +0100euleritian(~euleritia@77.22.252.159) (Ping timeout: 264 seconds)
2024-11-18 19:36:32 +0100 <briandaed> ?
2024-11-18 19:36:29 +0100 <briandaed> iteratee: was it somehow related to https://github.com/haskell-tls/hs-certificate/issues/31
2024-11-18 19:36:23 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-11-18 19:35:59 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2024-11-18 19:33:38 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-18 19:32:50 +0100talismanick(~user@2601:644:937c:ed10::ae5) (Ping timeout: 248 seconds)
2024-11-18 19:31:54 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-18 19:31:17 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-18 19:31:12 +0100son0p(~ff@2800:e6:4001:6cc3:2748:5c2a:65d9:57ac) (Ping timeout: 244 seconds)
2024-11-18 19:31:10 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-18 19:20:41 +0100ystael(~ystael@user/ystael) (Read error: Connection reset by peer)
2024-11-18 19:17:49 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-11-18 19:17:32 +0100misterfish(~misterfis@84.53.85.146) misterfish
2024-11-18 19:15:09 +0100Wygulmage(~k`@user/Wygulmage) (Quit: Client closed)
2024-11-18 19:15:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-18 19:08:16 +0100kuribas(~user@ptr-17d51eowbvu84pzojhe.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2024-11-18 19:07:05 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate
2024-11-18 19:05:59 +0100dpk(~dpk@jains.nonceword.org) (Ping timeout: 260 seconds)
2024-11-18 19:04:52 +0100Alleria(~Alleria@user/alleria) (Client Quit)
2024-11-18 19:03:05 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.)
2024-11-18 19:03:04 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)