Newest at the top
2024-10-13 11:09:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 11:08:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) acidjnk |
2024-10-13 11:08:15 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3007:2baa:8000::) (Client Quit) |
2024-10-13 11:05:51 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:4673:8f05:ae9e:8f24) |
2024-10-13 11:05:42 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-13 11:04:57 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3007:2baa:8000::) |
2024-10-13 11:04:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 11:04:39 +0200 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
2024-10-13 11:03:53 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2024-10-13 11:03:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-10-13 11:03:17 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 255 seconds) |
2024-10-13 11:01:39 +0200 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden |
2024-10-13 11:01:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-13 11:00:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-13 10:59:37 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-10-13 10:59:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2024-10-13 10:55:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-13 10:50:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 10:48:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 10:48:43 +0200 | <lambdabot> | GT |
2024-10-13 10:48:42 +0200 | <Lears> | > compareF [1..] "abcd" |
2024-10-13 10:48:35 +0200 | <lambdabot> | LT |
2024-10-13 10:48:33 +0200 | <Lears> | > compareF "abcd" [1..] |
2024-10-13 10:48:25 +0200 | <lambdabot> | Defined. |
2024-10-13 10:48:23 +0200 | <Lears> | @let compareF f g = compare (void f) (void g) |
2024-10-13 10:45:19 +0200 | <mauke> | I can see it working for length xs < 2, but not let n = length xs in n < 2 |
2024-10-13 10:44:55 +0200 | <mauke> | probably, if you break referential transparency |
2024-10-13 10:43:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 10:43:37 +0200 | <kaol> | I wonder if GHC's rewrite rules could do it. It'd be pretty cursed too. |
2024-10-13 10:42:14 +0200 | <mauke> | slightly cursed, but I guess I'll take it |
2024-10-13 10:40:38 +0200 | <Lears> | I always mix those two up. |
2024-10-13 10:40:31 +0200 | <Lears> | replicate* |
2024-10-13 10:37:34 +0200 | <Lears> | Or even `void xs < repeat n ()`. |
2024-10-13 10:36:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-10-13 10:36:27 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-13 10:36:14 +0200 | <Lears> | In practice, it's simpler to `null . drop n`. |
2024-10-13 10:34:51 +0200 | <kaol> | That's a bit execute 3 generations kind of a solution. |
2024-10-13 10:34:33 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-13 10:34:12 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:9cf9:d6ee:25c3:ffab) (Ping timeout: 246 seconds) |
2024-10-13 10:34:04 +0200 | crazazy | (~crazazy@tilde.town) (Ping timeout: 260 seconds) |
2024-10-13 10:33:55 +0200 | <c_wraith> | You can do that with genericLength and an inductive natural number type |
2024-10-13 10:33:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-13 10:32:57 +0200 | <kaol> | I wish length function was somehow lazier in inequality comparisons. If I have "length xs < 2" I don't care how big it is after the second element. |
2024-10-13 10:32:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-13 10:28:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 10:25:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-13 10:21:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-13 10:20:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) acidjnk |
2024-10-13 10:16:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 10:14:19 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:9cf9:d6ee:25c3:ffab) |