Newest at the top
| 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 |
| 2025-02-02 12:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 12:23:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-02 12:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:22:04 +0100 | sprotte24 | (~sprotte24@p200300d16f1f590058a60236c8af074f.dip0.t-ipconnect.de) |
| 2025-02-02 12:13:14 +0100 | alp | (~alp@2001:861:8ca0:4940:8c48:9a75:b748:bc3f) |
| 2025-02-02 12:07:59 +0100 | <geekosaur> | I think the problem there is that makeLenses doesn't use them |
| 2025-02-02 12:05:59 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-02 12:04:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 11:59:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:59:11 +0100 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2025-02-02 11:57:38 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-02 11:56:43 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-02 11:53:02 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-02 11:50:15 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-02 11:49:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-02 11:45:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:44:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 11:43:41 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-02 11:40:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 11:34:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 11:31:44 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 11:30:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-02 11:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:26:50 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-02 11:20:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-02 11:20:38 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f65c4b195c3583eb276.dip0.t-ipconnect.de) acidjnk |
| 2025-02-02 11:18:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 11:16:22 +0100 | <jackdk> | Looks like GHC 9.2 maybe? |
| 2025-02-02 11:15:32 +0100 | <jackdk> | probie: https://hackage.haskell.org/package/template-haskell-2.23.0.0/changelog#21800 |
| 2025-02-02 11:14:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:13:49 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-02-02 11:12:26 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-02-02 11:12:26 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-02-02 11:12:24 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |