Newest at the top
2024-09-20 05:29:06 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-20 05:26:00 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
2024-09-20 05:22:18 +0200 | AlexNoo | (~AlexNoo@94.233.241.56) (Ping timeout: 252 seconds) |
2024-09-20 05:21:22 +0200 | AlexZenon | (~alzenon@94.233.241.56) (Ping timeout: 248 seconds) |
2024-09-20 05:18:40 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.53) |
2024-09-20 05:17:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-20 05:15:38 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-20 05:05:09 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
2024-09-20 05:01:40 +0200 | user363627 | (~user@user/user363627) |
2024-09-20 04:57:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 04:45:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-20 04:41:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 04:38:39 +0200 | td_ | (~td@i53870926.versanet.de) |
2024-09-20 04:36:37 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 248 seconds) |
2024-09-20 04:34:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-20 04:31:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-09-20 04:28:42 +0200 | <Lears> | int-e: You mean Any ~= exists a. a? It's true that values have to be unsafely coerced /into/ a `Box`, but that's not dangerous until you try to unsafely coerce them out. |
2024-09-20 04:26:52 +0200 | <Lears> | Axman6: That's a rather different Box: https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Foreign.Marshal.Pure.Internal.html#… |
2024-09-20 04:22:00 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-09-20 04:21:07 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-20 04:15:01 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) |
2024-09-20 04:11:00 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-09-20 04:06:14 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
2024-09-20 03:56:07 +0200 | <Axman6> | s/prelude/base |
2024-09-20 03:56:02 +0200 | <Axman6> | https://github.com/tweag/linear-base/blob/master/examples/Foreign/Heap.hs |
2024-09-20 03:55:38 +0200 | <int-e> | geekosaur: Its heap representation is exactly the same as that of Opaque. But the type is more dangerous; data Box = Box Any, where type Any = forall a. a. So if you have a non-bottom value in a Box, it comes with `unsafeCoerce` preapplied. |
2024-09-20 03:55:32 +0200 | <Axman6> | I think the linear prelude has something for using Box for safe mutable data structures |
2024-09-20 03:49:41 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-20 03:46:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 03:31:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-09-20 03:29:27 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-09-20 03:26:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-20 03:16:05 +0200 | <geekosaur> | (you should count yourself lucky it's even possible to introspect the heap from Haskell) |
2024-09-20 03:15:08 +0200 | <geekosaur> | if you try to use it for anything else, you get to keep the pieces |
2024-09-20 03:14:49 +0200 | <geekosaur> | I don't think that heap box is intended to be used for anything but analyzing heap boxes… |
2024-09-20 03:06:45 +0200 | <int-e> | I've met GHC.Exts.Heap.Box which is vaguely related. Opaque looks... safer. |
2024-09-20 02:55:22 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-20 02:55:20 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-20 02:54:12 +0200 | <probie> | You can `unsafeCoerce` it back to the original type |
2024-09-20 02:43:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-20 02:43:07 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
2024-09-20 02:42:54 +0200 | <Inst> | you can't do anything with it, right? |
2024-09-20 02:41:48 +0200 | <Inst> | data Opaque = forall a. O a |
2024-09-20 02:41:36 +0200 | <Inst> | https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.Base.html |
2024-09-20 02:41:20 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-20 02:40:58 +0200 | <Inst> | did you guys meet Opaque yet? |
2024-09-20 02:40:54 +0200 | Inst_ | Inst |
2024-09-20 02:39:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-20 02:38:40 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-20 02:37:06 +0200 | califax | (~califax@user/califx) |