Newest at the top
| 2026-01-02 21:05:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:05:34 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-02 21:04:43 +0100 | <Milan_Vanca> | Oookey so I guess I should use Data.IntMap instead even tho every element of this map will be used in successive computations? |
| 2026-01-02 21:03:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:02:55 +0100 | <tomsmeding> | yep, l will be traversed 2 times from the start |
| 2026-01-02 21:02:55 +0100 | <geekosaur> | there are ways to get the latter, I think, but that's not one of them |
| 2026-01-02 21:02:35 +0100 | <ncf> | i'd be very surprised if GHC was smart enough to optimise the second traversal |
| 2026-01-02 21:02:34 +0100 | <geekosaur> | the former |
| 2026-01-02 20:59:38 +0100 | <Milan_Vanca> | I know l is shared and wont be created multiple times.. but to access element l !! bigIndex we need to traverse linken list. But will this list be traversed 2 times from start? Or will it traverse once till first Index and then just do one hop to second Index? |
| 2026-01-02 20:59:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:58:21 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-02 20:57:47 +0100 | <ncf> | see https://en.wikibooks.org/wiki/Haskell/Graph_reduction |
| 2026-01-02 20:57:07 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:56:41 +0100 | <ncf> | l will be shared |
| 2026-01-02 20:55:52 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:53:19 +0100 | <Milan_Vanca> | Hello guyz. I know that !! for lists needs to traverse list to find index. But my question is let l = [0..] in (l !! 10^6 + 1) + ( l !! 10^6 + 2) + ... Will this traverse list multiple times? Or will reuse "iteration"? |
| 2026-01-02 20:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 20:47:39 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:46:27 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:46:03 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-01-02 20:43:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:42:55 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 2026-01-02 20:37:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:36:48 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-02 20:36:28 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:36:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2026-01-02 20:35:31 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-02 20:32:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 20:30:56 +0100 | rbdr | (~rbdr@2a02:3100:23ad:aa00:e7fe:1cac:4507:3685) (Quit: rbdr) |
| 2026-01-02 20:28:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 20:17:06 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:15:26 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:12:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-01-02 20:12:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 20:06:58 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:06:40 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-02 20:06:21 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 20:01:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 20:01:17 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 20:00:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 19:57:31 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 19:56:16 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 19:49:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 19:49:11 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 19:44:03 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-02 19:42:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 19:40:52 +0100 | rbdr | (~rbdr@2a02:3100:23ad:aa00:e7fe:1cac:4507:3685) rbdr |
| 2026-01-02 19:38:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |