Newest at the top
| 2025-10-25 11:45:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 11:45:38 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 11:42:08 +0200 | Jackneill_ | (~Jackneill@94-21-95-10.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-10-25 11:34:40 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:34:25 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:28:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:23:40 +0200 | califax_ | califax |
| 2025-10-25 11:23:02 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-25 11:22:25 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-10-25 11:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-25 11:12:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:10:44 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:10:31 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:08:36 +0200 | acidjnk | (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-25 11:02:36 +0200 | <Unicorn_Princes> | but then isn't MyProject.Audio just that project-specific prefix? |
| 2025-10-25 11:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-25 11:01:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-25 10:59:48 +0200 | <[exa]> | Unicorn_Princes: to be super safe you might call your Audio with some project-specific prefix (MPAudio). Gives a safe default and people can import it nicely (as A) |
| 2025-10-25 10:58:23 +0200 | <[exa]> | +1 for not over-nesting |
| 2025-10-25 10:56:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 10:56:31 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-10-25 10:46:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-25 10:33:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-25 10:24:43 +0200 | <Unicorn_Princes> | ye no sounds too dirty for me :S |
| 2025-10-25 10:24:26 +0200 | <haskellbridge> | <doc> (this would be extremely funny, to be clear, and uncertain whether advisable) |
| 2025-10-25 10:22:51 +0200 | <haskellbridge> | <doc> ...if you just want the experience of typing Audio.stuff maybe you could fake it with OverloadedRecordDot + NoFieldSelectors and a top-level record value named "audio" containing all the "exported functions".. the only difference now is that audio is lowercase |
| 2025-10-25 10:22:01 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-25 10:17:28 +0200 | <Unicorn_Princes> | (to be clear this is not meant as a general purpose prelude) |
| 2025-10-25 10:16:13 +0200 | <Unicorn_Princes> | i dunno, maybe i shouldn't nest everything under MyProject... |
| 2025-10-25 10:15:04 +0200 | <Unicorn_Princes> | just so i can do Audio.stuff instead of MyProject.Audio.stuff |
| 2025-10-25 10:14:34 +0200 | <[exa]> | btw why have audio in prelude? |
| 2025-10-25 10:13:39 +0200 | <[exa]> | doing autoimports in any other way gets a bit hairy, in rust it might be OK but here you also have small module-related things that change on the import (mainly instances) which could probably mess up stuff if done too automagically |
| 2025-10-25 10:13:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-25 10:11:42 +0200 | <[exa]> | yeah I'd vote for init file approach too |
| 2025-10-25 10:10:57 +0200 | <Unicorn_Princes> | only right now that's in an init file that is ran at runtime so doesn't get any compile-time checking. which honestly isn't a big deal since it's super small |
| 2025-10-25 10:10:24 +0200 | <Unicorn_Princes> | yes, and "import qualified MyPrelude.Audio as Audio" is all the way there |
| 2025-10-25 10:08:39 +0200 | <[exa]> | Unicorn_Princes: so essentially "import qualified MyPrelude.Audio" would be almost there, except you don't want to write the qualified import yourself? |
| 2025-10-25 10:03:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-25 10:01:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-25 09:58:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 09:58:42 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 09:58:29 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 09:51:02 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-25 09:50:46 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-25 09:46:28 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-25 09:45:48 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-25 09:45:42 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 240 seconds) |
| 2025-10-25 09:40:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 09:40:01 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-10-25 09:39:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |