Newest at the top
2025-04-29 03:15:30 +0200 | <EvanR> | if neither are specified? |
2025-04-29 03:13:18 +0200 | <monochrom> | If evaluation isn't specified, then I would need strictness to be specified. The Haskell Report specifies non-strict. |
2025-04-29 03:12:29 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 265 seconds) |
2025-04-29 03:11:46 +0200 | <c_wraith> | Haskell isn't specified to be lazy, but it is specified to terminate if any evaluation order will do so. It's hard to get that behavior without default laziness |
2025-04-29 03:10:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-29 03:08:22 +0200 | <EvanR> | (haskell isn't specified to be lazy, though I'm not sure how relevant it is to this) |
2025-04-29 03:07:05 +0200 | <EvanR> | haskell is usually taken as using lazy evaluation while e.g. javascript is eager evaluation. If you were to specify "evaluation strategy is not specified", would that force you to write like haskell, or like javascript, or neither, if you didn't care about side effects, exceptions, and performance |
2025-04-29 03:05:52 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:79ef:6a68:163c:c553) (Quit: Leaving) |
2025-04-29 03:05:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-29 03:00:27 +0200 | euleritian | (~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) (Remote host closed the connection) |
2025-04-29 03:00:26 +0200 | euleritian | (~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) |
2025-04-29 02:59:36 +0200 | euleritian | (~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) (Remote host closed the connection) |
2025-04-29 02:58:42 +0200 | euleritian | (~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) |
2025-04-29 02:57:50 +0200 | euleritian | (~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) (Remote host closed the connection) |
2025-04-29 02:57:45 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-04-29 02:57:28 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-04-29 02:56:05 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
2025-04-29 02:54:36 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 265 seconds) |
2025-04-29 02:54:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-29 02:51:08 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-04-29 02:47:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-29 02:43:40 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
2025-04-29 02:42:22 +0200 | otto_s | (~user@p5de2faf5.dip0.t-ipconnect.de) |
2025-04-29 02:41:16 +0200 | otto_s | (~user@p4ff27ad7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-29 02:36:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-29 02:34:34 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
2025-04-29 02:33:53 +0200 | califax | (~califax@user/califx) califx |
2025-04-29 02:32:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-04-29 02:31:54 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
2025-04-29 02:31:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-29 02:21:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-29 02:18:59 +0200 | msa | (msa@msa.planetofnix.com) |
2025-04-29 02:15:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-29 02:10:28 +0200 | msa | (msa@msa.planetofnix.com) (Read error: Connection reset by peer) |
2025-04-29 02:10:18 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:42ff:c32a:d7a0:a5f4) |
2025-04-29 02:07:34 +0200 | mange | (~user@user/mange) mange |
2025-04-29 02:05:21 +0200 | gadot | (Angelz@user/angelz) (Ping timeout: 268 seconds) |
2025-04-29 02:05:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-29 02:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-29 01:59:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-04-29 01:54:15 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-29 01:51:24 +0200 | <int-e> | EvanR: I mean, you were clearly joking. But I'm not sure what exactly you were joking about ;-) |
2025-04-29 01:51:17 +0200 | <EvanR> | this joke is serious |
2025-04-29 01:50:39 +0200 | <int-e> | EvanR: I don't |
2025-04-29 01:50:36 +0200 | <monochrom> | <poker face>Everyone is not joking</poker face> |
2025-04-29 01:50:09 +0200 | <EvanR> | know |
2025-04-29 01:50:05 +0200 | <EvanR> | how do you I wasn't joking! |
2025-04-29 01:49:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-29 01:49:01 +0200 | <int-e> | (also it's a joke) |
2025-04-29 01:48:42 +0200 | <int-e> | EvanR: those aren't requirements, they're consequences |