| 2025-03-18 00:00:19 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 00:03:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-03-18 00:03:29 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-18 00:03:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-18 00:04:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-18 00:04:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 00:08:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-18 00:14:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 00:15:13 +0100 | <jle`> | yeah, my point is that 'until' isn't really analogous to "until loops", so a corresponding "while" wouldn't be analogous to "while loops" either, which is potentially confusing |
| 2025-03-18 00:15:28 +0100 | <jle`> | since people see 'while' and usually think of while loops |
| 2025-03-18 00:16:30 +0100 | <EvanR> | :t until -- what are we talking about again |
| 2025-03-18 00:16:31 +0100 | <lambdabot> | (a -> Bool) -> (a -> a) -> a -> a |
| 2025-03-18 00:16:36 +0100 | <EvanR> | what the heck |
| 2025-03-18 00:16:52 +0100 | <jle`> | my same reaction lol |
| 2025-03-18 00:17:32 +0100 | <jle`> | i'm not super thrilled with it but it's at least not as bad as a hypothetical 'while' |
| 2025-03-18 00:18:55 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-03-18 00:19:24 +0100 | <EvanR> | I totally forgot about this function |
| 2025-03-18 00:19:27 +0100 | <enikar> | when i used until i use a pair (a, b) for a, and fst or snd to get the result (or something like it). |
| 2025-03-18 00:19:27 +0100 | <EvanR> | it's cool |
| 2025-03-18 00:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-18 00:19:45 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-18 00:19:48 +0100 | <EvanR> | keep microwaving the value until it's heating to sufficient temperature |
| 2025-03-18 00:19:59 +0100 | <EvanR> | then let sit for 1 minute before serving |
| 2025-03-18 00:21:52 +0100 | euleritian | (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) |
| 2025-03-18 00:25:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-18 00:25:34 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 00:29:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-18 00:29:33 +0100 | ljdarj1 | ljdarj |
| 2025-03-18 00:35:31 +0100 | synchromesh | (~john@116.251.144.215) synchromesh |
| 2025-03-18 00:40:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 00:45:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-18 00:47:57 +0100 | mange | (~user@user/mange) mange |
| 2025-03-18 00:50:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 00:52:45 +0100 | kh0d | (~kh0d@212.200.181.159) (Remote host closed the connection) |
| 2025-03-18 00:52:59 +0100 | <monochrom> | This is what's wrong with taking "meaningful names" seriously. |
| 2025-03-18 00:53:26 +0100 | kh0d | (~kh0d@212.200.181.159) kh0d |
| 2025-03-18 00:54:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 00:54:12 +0100 | <monochrom> | Today you have learned: "data" does not mean data, it means type; "type" does not mean type, it means alias; "newtype" does not mean new type, it means old type but not alias. |
| 2025-03-18 00:56:11 +0100 | <int-e> | . o O ( tomorrow you'll unlearn all of these ) |
| 2025-03-18 00:56:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 00:59:14 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 252 seconds) |
| 2025-03-18 00:59:15 +0100 | <EvanR> | at least new type does create a new type |
| 2025-03-18 00:59:22 +0100 | <EvanR> | unlike typedef |
| 2025-03-18 01:01:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 01:04:07 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-03-18 01:08:18 +0100 | tccq | (~user@user/tccq) (Ping timeout: 276 seconds) |
| 2025-03-18 01:11:45 +0100 | plitter | (~plitter@user/plitter) (Ping timeout: 246 seconds) |
| 2025-03-18 01:12:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 01:13:44 +0100 | kh0d | (~kh0d@212.200.181.159) kh0d |
| 2025-03-18 01:14:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 265 seconds) |
| 2025-03-18 01:17:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-18 01:18:34 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-03-18 01:19:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) |
| 2025-03-18 01:27:00 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-03-18 01:28:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 01:32:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 01:33:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-18 01:34:51 +0100 | <mauke> | #define DEFSTRUCT(X) typedef struct X X; struct X |
| 2025-03-18 01:35:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 01:37:03 +0100 | <monochrom> | I have trouble telling that apart from DESTRUCT :) |
| 2025-03-18 01:40:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-18 01:40:57 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-03-18 01:41:04 +0100 | euleritian | (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-18 01:41:22 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 01:43:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 01:48:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 01:49:17 +0100 | bilegeek | (~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) bilegeek |
| 2025-03-18 01:51:03 +0100 | <Axman6> | thats how I read it too |
| 2025-03-18 01:51:28 +0100 | <geekosaur> | is that wrong? 😈 |
| 2025-03-18 01:52:30 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-18 01:52:39 +0100 | <EvanR> | upgrade to DEFSTRUCT(4) |
| 2025-03-18 01:52:48 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 01:52:53 +0100 | sprotte24 | (~sprotte24@p200300d16f275800a1de62e3bbd83239.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-18 01:53:54 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-18 01:54:41 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 01:54:42 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f06b15130e44e471244.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-18 01:55:12 +0100 | euleritian | (~euleritia@95.90.214.149) (Remote host closed the connection) |
| 2025-03-18 01:56:14 +0100 | <int-e> | it's perfectly accurate; it allows you to use `X` without `struct`, so it de-structs it. |
| 2025-03-18 01:56:34 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 01:57:56 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-18 01:58:24 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 01:59:29 +0100 | euleritian | (~euleritia@95.90.214.149) (Remote host closed the connection) |
| 2025-03-18 01:59:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:00:26 +0100 | <geekosaur> | I think EvanR confused it with "define constructor" 😈 |
| 2025-03-18 02:00:28 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 02:01:28 +0100 | <monochrom> | oh yeah hehe, so that's why I was thinking "do you mean defcon 4?" |
| 2025-03-18 02:03:43 +0100 | <yin> | and yet |
| 2025-03-18 02:03:48 +0100 | <yin> | :t takeWhile |
| 2025-03-18 02:03:48 +0100 | <lambdabot> | (a -> Bool) -> [a] -> [a] |
| 2025-03-18 02:03:52 +0100 | <yin> | :t takeUntil |
| 2025-03-18 02:03:53 +0100 | <lambdabot> | error: Variable not in scope: takeUntil |
| 2025-03-18 02:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 02:06:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-18 02:11:21 +0100 | <jackdk> | takeUntil = takeWhile . (not .) |
| 2025-03-18 02:11:22 +0100 | <EvanR> | takeYet takeNevertheless takeAlongside takeDespite... |
| 2025-03-18 02:11:44 +0100 | <EvanR> | the API has only scratched the surface |
| 2025-03-18 02:14:31 +0100 | <jackdk> | takeAsLongAsIFeelLikeIt |
| 2025-03-18 02:15:04 +0100 | <EvanR> | getTheeHence |
| 2025-03-18 02:15:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-18 02:21:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 02:22:03 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 245 seconds) |
| 2025-03-18 02:25:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 02:31:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:32:18 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d0f2:9051:9f97:5934) (Read error: Connection reset by peer) |
| 2025-03-18 02:35:31 +0100 | kh0d | (~kh0d@212.200.181.159) |
| 2025-03-18 02:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-18 02:42:19 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 260 seconds) |
| 2025-03-18 02:49:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 02:53:55 +0100 | kh0d | (~kh0d@212.200.247.164) |
| 2025-03-18 02:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-18 02:56:56 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-18 02:57:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-03-18 02:58:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-18 02:58:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-18 03:01:33 +0100 | Googulator8 | (~Googulato@84-236-65-216.pool.digikabel.hu) |
| 2025-03-18 03:01:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 246 seconds) |
| 2025-03-18 03:03:11 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 03:04:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-03-18 03:04:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-4b74-b88c-ff83-9891-e272.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-03-18 03:05:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 03:06:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 03:07:12 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 252 seconds) |
| 2025-03-18 03:07:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 03:09:18 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-03-18 03:10:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-18 03:11:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 03:20:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 03:22:03 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-18 03:22:55 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
| 2025-03-18 03:23:31 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-18 03:24:08 +0100 | Square | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2025-03-18 03:26:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-18 03:28:07 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-18 03:33:06 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-18 03:36:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-18 03:36:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |