Logs: liberachat/#haskell
| 2025-12-19 06:46:13 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2025-12-19 06:48:17 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-19 06:48:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-19 06:48:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 06:50:00 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-19 06:50:19 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-19 06:51:16 | → | remexre joins (~remexre@user/remexre) |
| 2025-12-19 06:53:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-19 06:55:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 07:00:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-19 07:08:39 | × | annamalai quits (~annamalai@157.32.125.111) (Ping timeout: 260 seconds) |
| 2025-12-19 07:08:53 | <Axman6> | Is there a good reason to pick one of these over the other? |
| 2025-12-19 07:20:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 07:20:44 | × | Googulator67 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 07:20:54 | → | Googulator67 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-19 07:23:59 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-19 07:25:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-19 07:28:36 | <int-e> | I don't know; the second one may save the compiler a tiny bit of work when simplifying >>= ? |
| 2025-12-19 07:30:22 | <int-e> | (there's no behavioral difference) |
| 2025-12-19 07:31:28 | → | larsivi joins (~larsivi@user/larsivi) |
| 2025-12-19 07:36:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 07:38:35 | × | FANTOM quits (~fantom@90.244.161.115) (Ping timeout: 240 seconds) |
| 2025-12-19 07:41:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-19 07:44:40 | → | annamalai joins (~annamalai@2409:4042:2312:1f01::15d4:c8a5) |
| 2025-12-19 07:51:10 | → | shaeto joins (~Shaeto@94.25.234.244) |
| 2025-12-19 07:51:12 | → | FANTOM joins (~fantom@90.244.161.115) |
| 2025-12-19 07:51:28 | → | Square2 joins (~Square@user/square) |
| 2025-12-19 07:52:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 07:52:52 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-12-19 07:54:49 | × | Square quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-12-19 07:56:58 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-19 07:58:15 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2025-12-19 08:00:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-19 08:00:29 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-12-19 08:05:55 | <Axman6> | yeah, I was wondering if there was a performance difference between the two |
| 2025-12-19 08:08:22 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-19 08:12:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 08:13:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) |
| 2025-12-19 08:16:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-19 08:17:01 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 2025-12-19 08:20:47 | × | Googulator67 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 08:20:50 | → | Googulator29 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 08:24:38 | → | chele joins (~chele@user/chele) |
| 2025-12-19 08:24:55 | × | bairyn quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 246 seconds) |
| 2025-12-19 08:26:20 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 2025-12-19 08:27:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 08:28:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-19 08:29:35 | × | shaeto quits (~Shaeto@94.25.234.244) (Ping timeout: 265 seconds) |
| 2025-12-19 08:30:27 | → | bliminse joins (~bliminse@user/bliminse) |
| 2025-12-19 08:31:08 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-12-19 08:31:28 | → | shaeto joins (~Shaeto@78.37.15.179) |
| 2025-12-19 08:32:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-19 08:36:08 | × | shaeto quits (~Shaeto@78.37.15.179) (Ping timeout: 260 seconds) |
| 2025-12-19 08:37:45 | → | shaeto joins (~Shaeto@94.25.234.244) |
| 2025-12-19 08:41:49 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-19 08:43:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-19 08:43:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 08:47:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) |
| 2025-12-19 08:48:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-19 08:50:48 | → | Googulator22 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 08:50:48 | × | Googulator29 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 08:57:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 09:00:24 | → | tema joins (~tema@93.175.2.131) |
| 2025-12-19 09:02:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-19 09:03:35 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-19 09:04:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-19 09:05:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 09:11:45 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-12-19 09:15:56 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-19 09:20:48 | → | Googulator71 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 09:20:48 | × | Googulator22 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 09:21:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-19 09:21:58 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-12-19 09:22:44 | <probie> | Axman6: I think the only way to accurately answer that question is to benchmark it |
| 2025-12-19 09:36:23 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 2025-12-19 09:37:13 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 2025-12-19 09:43:27 | <haskellbridge> | <Liamzee> hmmm, playing around with Haskell-To-Rust FFI. Why are we claiming this is black magic again? |
| 2025-12-19 09:44:18 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-19 09:48:11 | <merijn> | Who is claiming what is black magic? |
| 2025-12-19 09:49:29 | <haskellbridge> | <Liamzee> I just heard from humans that Haskell-Rust FFI is a pita. This seems easy, doable, and fun, at least at the hello world stage. |
| 2025-12-19 09:49:46 | <haskellbridge> | <Morj> What are you using for it? |
| 2025-12-19 09:49:59 | <haskellbridge> | <Morj> Rust-to-haskell-via-c is a pain in the ass on both sides |
| 2025-12-19 09:50:32 | <haskellbridge> | <Liamzee> I just generated a libffitest.a file from Cargo, dumped it into my cabal init folder |
| 2025-12-19 09:50:33 | × | Googulator71 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 09:50:42 | → | Googulator71 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 09:50:46 | <haskellbridge> | <Liamzee> under cbits, then direct called with ccall |
| 2025-12-19 09:51:11 | <haskellbridge> | <Liamzee> but ccall is old and iirc suspect, so i shuffled the cabal around a bit more, added a libffitest.h header in C |
| 2025-12-19 09:51:25 | <haskellbridge> | <Liamzee> swapped to capi |
| 2025-12-19 09:51:50 | <haskellbridge> | <Liamzee> also I made sure there was #[unsafe(nomangle)] annotations and the extern "C" declaration. |
| 2025-12-19 09:52:08 | <haskellbridge> | <Morj> You are quite tolerant to pain I see |
| 2025-12-19 09:52:38 | <merijn> | The Haskell FFI to C is pretty comfy imo, I would assume Rust's is too, so I wouldn't expect it to be particularly painful |
| 2025-12-19 09:52:48 | <merijn> | Liamzee: ccall is not all all suspect |
| 2025-12-19 09:52:55 | <haskellbridge> | <Morj> Also «easy, doable, and /fun/», really? |
| 2025-12-19 09:53:00 | <haskellbridge> | <Liamzee> Morj: this isn't that painful, 5 minutes |
| 2025-12-19 09:53:17 | <haskellbridge> | <Liamzee> I'm sure once it gets into sophisticated memory handling it's going to become nightmarish, especially under concurrent conditions |
| 2025-12-19 09:53:38 | <haskellbridge> | <Morj> Mm, in my experience it's about the same nightmare as binding to c++ code |
| 2025-12-19 09:53:46 | <merijn> | Liamzee: ccall is just the tradiational C ABI, with all limitations of that (i.e. no access to CPP, etc) |
| 2025-12-19 09:53:53 | <merijn> | Morj: No, C++ is infinitely worse |
| 2025-12-19 09:53:55 | <haskellbridge> | <Morj> In general rust's typical approaches to memory are very similar to c++ |
| 2025-12-19 09:54:12 | <haskellbridge> | <Morj> Hm, you think? Why? |
All times are in UTC.