Newest at the top
2025-04-29 03:23:46 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-04-29 03:22:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-29 03:21:27 +0200 | <EvanR> | that sucks! |
2025-04-29 03:21:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-29 03:19:00 +0200 | <monochrom> | Yeah, that. |
2025-04-29 03:18:47 +0200 | <monochrom> | If unspecified, then I cannot assume for example const () bottom = (), so pessimistically I will have to write like, well, I don't want to get js involved, but I can work with SML or Racket. |
2025-04-29 03:18:34 +0200 | <EvanR> | in some sense lazy evaluation subsumes eager evaluation, so does it mean with no other information you would default to eager? |
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 |