Newest at the top
| 2025-11-15 21:36:05 +0100 | <jreicher> | the sort of object that should be given to the usual story of *, but if we ignore that story what happened is perfectly fine, because abstractions are not commutative. |
| 2025-11-15 21:36:05 +0100 | <jreicher> | dolio: I take your point (two points, really), but I don't think it's like fixing evaluation order any more than the normal lambda calculus is. I think it's a confusion in the story we are telling about types and arguments. Take, for example, in a Church-numeral arithmetic, that we would probably have (* 0 (K 5)) -> 0, but (* (K 5) 0) -> 5 (or maybe (K (K 5)), etc. depending on implementation of *). What's going on here is (K 5) is not |
| 2025-11-15 21:35:39 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:35:27 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:27:32 +0100 | <geekosaur> | I opped up because they're working on services. But I'm a little busy so ping me if needed |
| 2025-11-15 21:25:50 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:25:50 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:24:04 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-15 21:21:22 +0100 | ChanServ | +o geekosaur |
| 2025-11-15 21:20:39 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:20:35 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:20:02 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-15 21:10:47 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:10:43 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:08:53 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 20:53:17 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-15 20:52:39 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-11-15 20:51:51 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-15 20:48:37 +0100 | Digit | (~user@user/digit) Digit |
| 2025-11-15 20:47:15 +0100 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 2025-11-15 20:47:07 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-15 20:47:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 20:45:29 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:44:55 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-15 20:44:43 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-15 20:42:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 20:41:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 20:40:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-15 20:39:19 +0100 | <haskellbridge> | <sm> great links, thank you |
| 2025-11-15 20:37:41 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 20:37:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-11-15 20:35:46 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 20:34:21 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2025-11-15 20:34:01 +0100 | <haskellbridge> | <sm> for context: the entertaining https://www.youtube.com/watch?v=BhaBzbzEbKg video struggled to bring C structs across the FFI boundary and I wondered what's current best practice, and magic_rb pointed me to hs-bindgen |
| 2025-11-15 20:32:31 +0100 | <int-e> | (voting for name collision) |
| 2025-11-15 20:32:09 +0100 | <int-e> | https://github.com/well-typed/hs-bindgen looks quite different from https://github.com/yvan-sraka/hs-bindgen |
| 2025-11-15 20:32:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-15 20:30:31 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 20:30:18 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 20:29:44 +0100 | <c_wraith> | pretty sure that's the same tool. |
| 2025-11-15 20:28:33 +0100 | <haskellbridge> | <sm> or is it a name collision ? |
| 2025-11-15 20:28:20 +0100 | <haskellbridge> | <sm> tcard_ hi.. is the rust-focussed https://engineering.iog.io/2023-01-26-hs-bindgen-introduction/ the same as that being discussed at https://dl.acm.org/doi/10.1145/3759164.3759350 ? |
| 2025-11-15 20:26:11 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-15 20:24:46 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-11-15 20:23:24 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 20:21:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-15 20:18:14 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-11-15 20:16:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 20:12:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-15 20:11:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |