2025/04/29

Newest at the top

2025-04-29 03:25:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-29 03:25:32 +0200 <EvanR> they are, though I was wondering to what extent that was necessary
2025-04-29 03:24:56 +0200 <monochrom> But I haven't really needed to resort to that. Most languages are sufficiently specified or at least suffciently de-facto'ed.
2025-04-29 03:23:46 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-29 03:22:52 +0200peterbecich(~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 +0200merijn(~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 +0200gorignak(~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 +0200merijn(~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 +0200notdabs(~Owner@2600:1700:69cf:9000:79ef:6a68:163c:c553) (Quit: Leaving)
2025-04-29 03:05:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-29 03:00:27 +0200euleritian(~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-29 03:00:26 +0200euleritian(~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de)
2025-04-29 02:59:36 +0200euleritian(~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-29 02:58:42 +0200euleritian(~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de)
2025-04-29 02:57:50 +0200euleritian(~euleritia@dynamic-176-006-135-001.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-29 02:57:45 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-29 02:57:28 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-04-29 02:56:05 +0200juri_(~juri@implicitcad.org) juri_
2025-04-29 02:54:36 +0200juri_(~juri@implicitcad.org) (Ping timeout: 265 seconds)
2025-04-29 02:54:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-29 02:51:08 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-04-29 02:47:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-29 02:43:40 +0200Angelz(Angelz@angelz.oddprotocol.org)
2025-04-29 02:42:22 +0200otto_s(~user@p5de2faf5.dip0.t-ipconnect.de)
2025-04-29 02:41:16 +0200otto_s(~user@p4ff27ad7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-29 02:36:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-29 02:34:34 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden
2025-04-29 02:33:53 +0200califax(~califax@user/califx) califx
2025-04-29 02:32:23 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-29 02:31:54 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection)
2025-04-29 02:31:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-29 02:21:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-29 02:18:59 +0200msa(msa@msa.planetofnix.com)
2025-04-29 02:15:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-29 02:10:28 +0200msa(msa@msa.planetofnix.com) (Read error: Connection reset by peer)
2025-04-29 02:10:18 +0200xff0x(~xff0x@2409:251:9040:2c00:42ff:c32a:d7a0:a5f4)
2025-04-29 02:07:34 +0200mange(~user@user/mange) mange
2025-04-29 02:05:21 +0200gadot(Angelz@user/angelz) (Ping timeout: 268 seconds)
2025-04-29 02:05:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-29 02:00:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-29 01:59:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)