Newest at the top
| 2025-02-02 14:00:11 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 13:51:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 13:49:21 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-02-02 13:48:03 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-02-02 13:47:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 13:47:17 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-02 13:46:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 13:44:02 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) |
| 2025-02-02 13:43:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-02-02 13:41:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-02 13:40:49 +0100 | tnt2 | tnt1 |
| 2025-02-02 13:40:48 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-02 13:39:50 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 13:36:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 13:31:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 13:23:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 13:23:19 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-02-02 13:20:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 13:19:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 13:17:48 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-02 13:16:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 13:14:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-02 13:11:28 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 13:09:30 +0100 | <lxsameer> | wow this is amazing |
| 2025-02-02 13:09:17 +0100 | <lxsameer> | perfect, thank you |
| 2025-02-02 13:08:59 +0100 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary |
| 2025-02-02 13:08:30 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-02 13:06:17 +0100 | <lxsameer> | geekosaur: interesting, is there any resource to get familiar with GHC internals? not in code level but an overview |
| 2025-02-02 13:05:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 13:03:36 +0100 | <geekosaur> | similarly, conceptually IO is best thought of as an impure program passed back to the RTS as the result of `main :: IO ()`, but ghc actually does something more performant |
| 2025-02-02 13:02:57 +0100 | <geekosaur> | breaking things down to actual single parameter functions is certainly doable, but has lousy performance. so in terms of Haskell semantics it makes sense to think that way, but ghc goes for the more performant version |
| 2025-02-02 13:01:29 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-02 13:01:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-02 13:01:08 +0100 | <lxsameer> | geekosaur: awesome |
| 2025-02-02 13:00:26 +0100 | <geekosaur> | the typechecker will flag it if it isn't |
| 2025-02-02 13:00:24 +0100 | <lxsameer> | geekosaur: cool thank you |
| 2025-02-02 13:00:06 +0100 | <geekosaur> | that just means the result of it should be a function |
| 2025-02-02 12:59:53 +0100 | <geekosaur> | no |
| 2025-02-02 12:59:40 +0100 | <lxsameer> | geekosaur: and is there any special behaviour if the number of provided arguments are more than what the function expects? |
| 2025-02-02 12:58:39 +0100 | <geekosaur> | one of the errors you're never supposed to see is "PAP object entered" which means it tried to call a partial application as a function |
| 2025-02-02 12:58:07 +0100 | <lxsameer> | geekosaur: cool, thank you |
| 2025-02-02 12:57:49 +0100 | <geekosaur> | actually it does multi-arg internally and uses "partial application objects" when calling them unsaturated |
| 2025-02-02 12:56:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:56:00 +0100 | <lxsameer> | hey folks, do you know how ghc implements functions? internally, does it implement single arguments functions and break down a function into a composition of single arg functions? |
| 2025-02-02 12:46:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-02 12:43:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-02 12:41:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:41:12 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-02 12:34:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-02 12:29:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |