Newest at the top
| 2025-11-21 14:13:23 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-21 14:04:49 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 264 seconds) |
| 2025-11-21 14:03:14 +0100 | trickard_ | trickard |
| 2025-11-21 14:02:03 +0100 | <lucabtz> | https://en.wikipedia.org/wiki/Domain_theory this page doesnt make much of a connection to haskell and im not even sure it is the same thing you mean because it is still speaking about sets in the end |
| 2025-11-21 13:59:07 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 2025-11-21 13:59:05 +0100 | fp | (~Thunderbi@dhcp-86-136.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-11-21 13:58:57 +0100 | <lucabtz> | c_wraith any resource with precise definitions for domain theory? |
| 2025-11-21 13:58:43 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-11-21 13:55:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-21 13:54:23 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2025-11-21 13:53:59 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2025-11-21 13:51:23 +0100 | qqe | (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-21 13:51:02 +0100 | <dminuoso> | And it may easily differ between GHC versions or other GHC flags. |
| 2025-11-21 13:50:50 +0100 | <dminuoso> | But its really hard to predicte whether that actually ends up triggering. |
| 2025-11-21 13:50:37 +0100 | <[exa]> | yeah |
| 2025-11-21 13:50:31 +0100 | <dminuoso> | [exa]: There seem to be quite a bunch of RULES that could facilitate shortcut fusion. |
| 2025-11-21 13:49:44 +0100 | <[exa]> | turns out `streaming` kinda measured that for me, see below in the readme https://github.com/haskell-streaming/streaming |
| 2025-11-21 13:49:43 +0100 | Googulator66 | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-21 13:48:24 +0100 | <dminuoso> | It's best to just take your hot path and stare at the generated Core for way too much of your time. |
| 2025-11-21 13:48:06 +0100 | <dminuoso> | Ultimately its tough to make predictions about when fusion occurs externally, even in case of text. |
| 2025-11-21 13:47:12 +0100 | <[exa]> | hm yeah good point |
| 2025-11-21 13:46:27 +0100 | <dminuoso> | But should be easy to check: Just look for how many rewrite rules are in pipes. |
| 2025-11-21 13:46:06 +0100 | Googulator7 | (~Googulato@81.183.235.203) |
| 2025-11-21 13:45:58 +0100 | <dminuoso> | Text fusion is so adhoc.. heh |
| 2025-11-21 13:44:29 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2025-11-21 13:44:25 +0100 | <[exa]> | like, main question probably is that if some kind of fusion works in there, like with Text |
| 2025-11-21 13:43:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-21 13:42:56 +0100 | <dminuoso> | From what I read, pipes is on the faster side of things, but conduit/streaming generally are much faster. |
| 2025-11-21 13:42:03 +0100 | <dminuoso> | The answer is clearly "Yes, no, maybe" |
| 2025-11-21 13:41:57 +0100 | <dminuoso> | [exa]: "OK-ish" and "bazillion" are very subjective terms. |
| 2025-11-21 13:39:44 +0100 | bwe70296 | (~bwe@2a01:4f8:1c1c:4878::2) (Read error: Connection reset by peer) |
| 2025-11-21 13:38:22 +0100 | fp | (~Thunderbi@dhcp-86-136.eduroam.aalto.fi) fp |
| 2025-11-21 13:36:19 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-21 13:36:18 +0100 | <[exa]> | any users of `pipes` here? Is the performance OK-ish if I have gazillions of very little pipe-ish operations glued together? |
| 2025-11-21 13:36:06 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-21 13:28:54 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-11-21 13:23:21 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) |
| 2025-11-21 13:18:11 +0100 | <chromoblob> | that "Hyper" type looks like it could be used for games (in math sense) |
| 2025-11-21 13:17:13 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-11-21 13:10:16 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-11-21 13:08:39 +0100 | <haskellbridge> | <Morj> I have a promo code for a month of discord nitro: HPN5-7QGj-yp58-xZPT-Eu5R-W2ke - for anyone who's fast and wants |
| 2025-11-21 13:00:58 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2025-11-21 12:54:41 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-11-21 12:50:02 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-21 12:49:52 +0100 | bwe70296 | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2025-11-21 12:49:41 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Read error: Connection reset by peer) |
| 2025-11-21 12:49:38 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-21 12:47:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-21 12:43:48 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2025-11-21 12:37:57 +0100 | jle` | (~jle`@2603:8001:3b00:11:2f12:c034:12fc:8093) jle` |