Newest at the top
| 2025-12-04 17:38:12 +0100 | <EvanR> | so you can just write that |
| 2025-12-04 17:38:02 +0100 | <EvanR> | it's kind of lucky / good that [0 .. n-1] even works without more parentheses or something |
| 2025-12-04 17:37:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-12-04 17:36:22 +0100 | <tomsmeding> | (I'm not actually suggesting Haskell get this, we have enough special syntax as is) |
| 2025-12-04 17:36:09 +0100 | <tomsmeding> | EvanR: what about [0 ..< n]? |
| 2025-12-04 17:35:49 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 17:34:06 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-04 17:34:06 +0100 | <EvanR> | this is where C syntax wins, since it's not implicit |
| 2025-12-04 17:33:46 +0100 | <EvanR> | in the case of sequence of integers |
| 2025-12-04 17:33:38 +0100 | <EvanR> | I actually hate the implicitly not including the right number |
| 2025-12-04 17:33:03 +0100 | <EvanR> | just kidding |
| 2025-12-04 17:32:58 +0100 | <EvanR> | clearly we need special syntax [0 .. n) |
| 2025-12-04 17:32:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-04 17:32:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-04 17:24:05 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2025-12-04 17:20:52 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-12-04 17:13:49 +0100 | <lucabtz> | i got reminded just now so i sent that |
| 2025-12-04 17:13:40 +0100 | <lucabtz> | yeah i agree it is annoying |
| 2025-12-04 17:12:45 +0100 | <tomsmeding> | Rust has 0 ..< n syntax |
| 2025-12-04 17:12:29 +0100 | <tomsmeding> | yeah and this is why I always have to [0 .. n-1] and it's annoying :p |
| 2025-12-04 17:12:15 +0100 | <lucabtz> | anyhow i dropped the idea for now as it was taking me too long |
| 2025-12-04 17:12:02 +0100 | <lucabtz> | tomsmeding in defense of the inclusive upper bound in haskell [x..y] includes y |
| 2025-12-04 17:10:54 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 17:10:40 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-04 17:10:21 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2025-12-04 17:08:44 +0100 | __monty_1 | (~toonn@user/toonn) toonn |
| 2025-12-04 17:05:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-04 17:03:51 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-04 17:02:27 +0100 | mikess | (~sam@user/mikess) mikess |
| 2025-12-04 17:00:12 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-04 16:58:58 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 246 seconds) |
| 2025-12-04 16:56:58 +0100 | Digit | (~user@user/digit) Digit |
| 2025-12-04 16:56:12 +0100 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2025-12-04 16:55:09 +0100 | Digit | (~user@user/digit) (Quit: brb) |
| 2025-12-04 16:51:42 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-04 16:49:20 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-12-04 16:46:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-04 16:36:21 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-12-04 16:31:55 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-04 16:25:42 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 244 seconds) |
| 2025-12-04 16:24:08 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-04 16:16:32 +0100 | cstml3 | (~cstml@user/cstml) cstml |
| 2025-12-04 16:15:55 +0100 | cstml3 | (~cstml@user/cstml) (Ping timeout: 240 seconds) |
| 2025-12-04 16:14:57 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-12-04 16:14:09 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-12-04 16:05:58 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-12-04 16:05:49 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-04 16:04:08 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-12-04 16:02:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-04 15:59:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |