Newest at the top
| 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) |
| 2024-09-20 02:35:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-20 02:32:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) (Ping timeout: 260 seconds) |
| 2024-09-20 02:07:57 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-09-20 02:01:24 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-20 02:00:07 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 01:56:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-20 01:54:15 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 01:53:41 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-20 01:52:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-20 01:44:39 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-20 01:44:14 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-09-20 01:43:54 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-09-20 01:36:56 +0200 | connrs | (~connrs@user/connrs) |
| 2024-09-20 01:34:36 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-09-20 01:28:42 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-09-20 01:19:14 +0200 | troojg | (~troojg@user/troojg) |