Newest at the top
2025-03-17 23:30:14 +0100 | <enikar> | there is also Control.Monad.Extra.Loop but it's not stateful as in folds |
2025-03-17 23:29:56 +0100 | <geekosaur> | also I recall encountering a BASIC dialect at uni which had statement modifiers including UNTIL |
2025-03-17 23:28:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-17 23:28:45 +0100 | <enikar> | sometimes, I use until but in most cases I might as well write a go loop function. |
2025-03-17 23:27:51 +0100 | <geekosaur> | perl has had until for a long time, but iirc these days it's disrecommended |
2025-03-17 23:24:12 +0100 | <EvanR> | until loops might not be as common only because people think in such negative terms all the time |
2025-03-17 23:23:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-17 23:23:37 +0100 | <lambdabot> | error: Variable not in scope: whileM |
2025-03-17 23:23:37 +0100 | <EvanR> | :t whileM |
2025-03-17 23:23:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-17 23:19:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-17 23:18:45 +0100 | <jle`> | but until loops are not as ubiquitous |
2025-03-17 23:18:38 +0100 | <jle`> | i would guess there's no "while" in base because people might confuse it with while loops |
2025-03-17 23:17:53 +0100 | <jle`> | i didn't realize `until` existed heh |
2025-03-17 23:15:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-17 23:14:41 +0100 | <haskellbridge> | <Liamzee> lists are sort of effectful in themselves, no? |
2025-03-17 23:12:32 +0100 | <jackdk> | but see also e.g. takeWhile |
2025-03-17 23:11:13 +0100 | <haskellbridge> | <Liamzee> while implies emitting effects while the condition is true |
2025-03-17 23:10:53 +0100 | <haskellbridge> | <Liamzee> Actually, more "I can do my own thinking"; in the context of pure code until makes more sense |
2025-03-17 23:10:33 +0100 | <haskellbridge> | <Liamzee> why does Haskell have an until, not a while? |
2025-03-17 23:10:17 +0100 | <haskellbridge> | <Liamzee> speaking of loops |
2025-03-17 23:10:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-17 23:07:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-03-17 23:00:11 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:833:1adb:9cb7:e851) (Ping timeout: 244 seconds) |
2025-03-17 22:59:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-17 22:57:28 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-03-17 22:54:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-17 22:51:10 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
2025-03-17 22:48:56 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-17 22:47:09 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-03-17 22:46:27 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-03-17 22:43:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-17 22:43:16 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Quit: fp) |
2025-03-17 22:42:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-17 22:40:21 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-17 22:38:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-17 22:38:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-17 22:35:54 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-17 22:33:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-17 22:27:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-17 22:22:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-17 22:17:38 +0100 | kh0d | (~kh0d@212.200.181.159) |
2025-03-17 22:15:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-17 22:15:24 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 276 seconds) |
2025-03-17 22:14:51 +0100 | jespada | (~jespada@2800:a4:22cd:2500:4d25:68ba:28dd:cc11) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-03-17 22:08:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-17 22:01:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-17 21:58:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-17 21:53:52 +0100 | sdrfan123 | (~sdrfan123@2a01:cb15:41b:4300:b5ba:3fcc:d709:495b) (Quit: Client closed) |
2025-03-17 21:53:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |