Newest at the top
| 2025-09-15 00:03:21 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-15 00:02:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 23:59:05 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 256 seconds) |
| 2025-09-14 23:54:32 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-14 23:49:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-14 23:48:34 +0200 | <int-e> | (the actual implementation in GHC will not store expressions in thunks; instead, thunks have pointers to compiled expressions, i.e., code that performs the corresponding evaluations steps) |
| 2025-09-14 23:44:34 +0200 | <int-e> | The `map` example in Section 3.2 does this, among other things. |
| 2025-09-14 23:42:44 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-09-14 23:42:31 +0200 | <int-e> | I'm not that familiar actually. Expressions are quite restricted; the function calls are restricted such that the arguments are atoms. So if you want to translate f (g x), you first have to flatten it to let y = THUNK (g x) in f y |
| 2025-09-14 23:38:18 +0200 | <int-e> | Look at Figure 1? `THUNK e` uses `e` which refers to an expression. `PAP(f a1 ... an)` refers to `f` and `a`, `f` being a variable (a heap reference) that, as the comment says, has to be a FUN, and `a` being an atom, either a variable or an unboxed value. |
| 2025-09-14 23:34:35 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-14 23:34:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-14 23:33:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2025-09-14 23:30:15 +0200 | <haskellbridge> | <magic_rb> i must have missed something serios |
| 2025-09-14 23:30:11 +0200 | <haskellbridge> | <magic_rb> you were wondering whats an expression and whats a heap object, i didnt even know there was a distinction |
| 2025-09-14 23:29:48 +0200 | <haskellbridge> | <magic_rb> int-e: you seem to familiar with this, so uh, https://paste.tomsmeding.com/eKx5j0WP is my STG representation |
| 2025-09-14 23:15:40 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-14 23:15:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-14 23:14:46 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-14 23:07:00 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 245 seconds) |
| 2025-09-14 23:03:24 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-14 22:58:15 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-09-14 22:54:41 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-14 22:50:37 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-14 22:50:30 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 22:50:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-09-14 22:50:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-14 22:46:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 22:39:01 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-09-14 22:38:50 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-09-14 22:34:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-14 22:33:08 +0200 | <c_wraith> | It's sort of the inverse of the "I can make this a Functor but it will break my invariants" problem. You need to know to do something extra, instead of knowing to avoid the issue. |
| 2025-09-14 22:32:38 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-14 22:32:19 +0200 | <c_wraith> | Yeah. I did say "may". You can prevent it, but you need to know to do so |
| 2025-09-14 22:31:14 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-09-14 22:30:08 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-09-14 22:28:46 +0200 | img | (~img@user/img) img |
| 2025-09-14 22:28:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 22:27:29 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-14 22:26:28 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-09-14 22:25:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-14 22:21:57 +0200 | yin | (~zero@user/zero) zero |
| 2025-09-14 22:19:14 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-14 22:17:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-14 22:13:09 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-09-14 22:12:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-14 22:07:23 +0200 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-09-14 22:04:32 +0200 | erizawa | (~kazuki@user/erizawa) (Quit: Leaving) |
| 2025-09-14 22:00:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-14 21:48:00 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |