Logs: liberachat/#haskell
| 2025-11-08 15:14:19 | <haskellbridge> | <Morj> I'm almost sure you can't read HashMap's show (= |
| 2025-11-08 15:14:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 15:14:50 | <EvanR> | it comes out like fromList [(k1,v1),(k2,v2),...] |
| 2025-11-08 15:14:55 | <EvanR> | right |
| 2025-11-08 15:15:07 | <tomsmeding> | what's the problem? |
| 2025-11-08 15:15:10 | <tomsmeding> | https://hackage-content.haskell.org/package/unordered-containers-0.2.20.1/docs/src/Data.HashMap.Internal.html#line-381 |
| 2025-11-08 15:15:28 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-08 15:15:38 | → | Googulator77 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 15:15:42 | × | Googulator72 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 15:16:16 | <haskellbridge> | <Morj> Oh it does skip fromList? I'm almost sure this wasn't the case =) |
| 2025-11-08 15:16:25 | <tomsmeding> | that would've been a bug then :p |
| 2025-11-08 15:16:29 | <haskellbridge> | <Morj> *the case in the past |
| 2025-11-08 15:19:49 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-11-08 15:24:03 | <EvanR> | "skip" ? |
| 2025-11-08 15:24:49 | <EvanR> | requires "fromList" then applies fromList |
| 2025-11-08 15:25:02 | <EvanR> | to the rest |
| 2025-11-08 15:26:01 | <EvanR> | so the text version of the value appears like a legitimate expression which would compute it |
| 2025-11-08 15:26:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 15:30:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-08 15:39:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-08 15:39:29 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-08 15:41:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 15:46:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 15:48:19 | → | Square3 joins (~Square@user/square) |
| 2025-11-08 15:57:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 15:58:13 | → | talismanick joins (~user@2601:644:937c:ed10::b832) |
| 2025-11-08 16:00:17 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.7.1) |
| 2025-11-08 16:01:37 | × | annamalai quits (~annamalai@157.33.208.56) (Ping timeout: 250 seconds) |
| 2025-11-08 16:02:39 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-08 16:04:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-08 16:10:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 16:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-08 16:19:09 | <SrPx> | it is really annoying that there is no way in Haskell to create a map from Int to a user-defined ADT that 1. indexing is O(1) and as fast as array, 2. has O(1) initialization. in C, we can mmap an array of pointers and achieve that just fine. in Haskell, native arrays have O(N) initialization and O(1) indexing, and IntMap has O(1) initialization but O(log(N)) indexing... |
| 2025-11-08 16:26:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 16:27:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-08 16:28:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-08 16:30:44 | × | Googulator77 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 16:30:49 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 16:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 16:37:17 | <EvanR> | SrPx, off the top of my head, if you stored an array in a compact region, serialized it and static linked it into the exe, then used FFI to get it and restore it as a region |
| 2025-11-08 16:37:59 | <EvanR> | not sure how IntMap has "O(1)" initialization |
| 2025-11-08 16:40:10 | → | annamalai joins (~annamalai@157.33.220.201) |
| 2025-11-08 16:40:19 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-08 16:41:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 16:42:29 | <acarrico> | In emacs, in the dante minor-mode source code, C-c C-c is bound to 'dante-exec, but in my buffer it is bound to haskell-process-cabal-build (from haskell-mode). I thought that the minor mode binding should trump the major mode, no? |
| 2025-11-08 16:43:43 | → | Square2 joins (~Square4@user/square) |
| 2025-11-08 16:45:30 | × | Googulator99 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 16:45:45 | → | Googulator99 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-08 16:45:49 | × | talismanick quits (~user@2601:644:937c:ed10::b832) (Ping timeout: 260 seconds) |
| 2025-11-08 16:45:55 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-08 16:46:08 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-08 16:47:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-08 16:57:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 17:02:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 17:05:13 | <int-e> | EvanR: for that use case you can start out with an empty map. |
| 2025-11-08 17:05:39 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 17:05:46 | <int-e> | mmap being O(1) should be questioned also |
| 2025-11-08 17:05:51 | × | Googulator99 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 17:07:43 | <EvanR> | O(1) program start time |
| 2025-11-08 17:08:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-08 17:08:06 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-11-08 17:09:13 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-08 17:11:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 17:16:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-08 17:24:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-11-08 17:25:39 | → | Googulator90 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 17:25:44 | × | Googulator19 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 17:27:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 17:32:09 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-11-08 17:32:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-08 17:32:54 | Googulator90 | is now known as Googulator |
| 2025-11-08 17:33:20 | × | natto17 quits (~natto@129.154.243.159) (Ping timeout: 240 seconds) |
| 2025-11-08 17:33:55 | × | divya quits (divya@140.238.251.170) (Ping timeout: 264 seconds) |
| 2025-11-08 17:35:36 | → | Googulator36 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 17:35:46 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 17:37:22 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-11-08 17:41:26 | → | natto17 joins (~natto@129.154.243.159) |
| 2025-11-08 17:43:15 | → | divya joins (divya@140.238.251.170) |
| 2025-11-08 17:43:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 17:45:42 | → | Googulator21 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 17:45:42 | × | Googulator36 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 17:47:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-08 17:56:53 | → | Zemy_ joins (~Zemy@2600:100c:b0ac:a6ef:9402:1aff:fe12:94e2) |
| 2025-11-08 17:58:31 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2025-11-08 17:59:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 18:03:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-08 18:03:55 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-08 18:07:21 | <monochrom> | There is an mmap binding on hackage. |
| 2025-11-08 18:07:34 | <monochrom> | But C is an unfair example because C has no ADT. |
| 2025-11-08 18:08:03 | <monochrom> | Also because mmap is OS-specific, not part of C. |
| 2025-11-08 18:08:31 | <monochrom> | (In Mac Classic, the language would be Pascal.) |
| 2025-11-08 18:08:31 | → | michalz joins (~michalz@185.246.207.201) |
| 2025-11-08 18:10:34 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 18:10:51 | × | Googulator21 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 18:11:17 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-08 18:11:48 | <monochrom> | vector has an "O(1)" "initialization" too when you don't mind array content starting as arbitrary. |
| 2025-11-08 18:12:27 | <monochrom> | I'm sorry but it's against my ethics to call it "initialization". I can only call it allocation. |
| 2025-11-08 18:12:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 18:15:42 | → | Googulator43 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 18:15:44 | × | Googulator40 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.