Newest at the top
| 2025-03-09 13:16:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 13:15:00 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-09 13:14:14 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-09 13:14:07 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-03-09 13:13:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-09 13:05:14 +0100 | <Rembane> | Good luck! |
| 2025-03-09 13:05:12 +0100 | <Rembane> | I'm looking forward to it! |
| 2025-03-09 13:05:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 13:03:52 +0100 | <[exa]> | ok, this is the point when I should just go back to coding |
| 2025-03-09 13:03:02 +0100 | <[exa]> | next year in ICFP: Parenthesis-free for free for free |
| 2025-03-09 13:02:53 +0100 | <Rembane> | Or maybe even a prelude! |
| 2025-03-09 13:02:42 +0100 | <Rembane> | I think you simply need to create a library called parenthesis-free that contains all of these lovely functions. |
| 2025-03-09 13:02:35 +0100 | <[exa]> | yeah, full forth mode or so |
| 2025-03-09 13:02:11 +0100 | <Rembane> | Muaha! But it's fun! :D |
| 2025-03-09 13:01:29 +0100 | <[exa]> | like, this ain't a super practical question, right. :D |
| 2025-03-09 13:00:20 +0100 | <[exa]> | parenthesis-free |
| 2025-03-09 13:00:18 +0100 | <[exa]> | beyond that |
| 2025-03-09 12:59:19 +0100 | <Rembane> | When I run into these kinds of discussions in my code it's usually because I'm being really fancy with pointfree code, is this the case in this case too? :) |
| 2025-03-09 12:58:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:57:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-c507-6c79-f124-e77c.rev.sfr.net) alexherbo2 |
| 2025-03-09 12:57:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-09 12:57:22 +0100 | <[exa]> | I somehow really think there's a reason for not using this, which I'm missing. :D |
| 2025-03-09 12:56:39 +0100 | <[exa]> | like, in that context I guess the reply might as well be "hey the library is bloated already" |
| 2025-03-09 12:55:04 +0100 | <Rembane> | Got it! How are functions added to the standard library? Because I would love to see this discussion in that context. |
| 2025-03-09 12:53:31 +0100 | <[exa]> | (or maybe if the standard library got creative with naming as with other cases... but I see no tsnoc or such) |
| 2025-03-09 12:50:08 +0100 | <[exa]> | yeah I've got my own alias pretty much everywhere (const' usually) just was wondering if people don't miss this more generally, or maybe if I'm missing it for reason of not seeing something obvious |
| 2025-03-09 12:49:26 +0100 | <Rembane> | Create a fancy operator! Or flipConst = flip const |
| 2025-03-09 12:49:02 +0100 | <[exa]> | nah well, I'm mainly trying to avoid a parenthesis around the 2-word name for it |
| 2025-03-09 12:48:40 +0100 | <lambdabot> | b -> a -> a |
| 2025-03-09 12:48:39 +0100 | <mauke> | :t const id |
| 2025-03-09 12:47:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 12:46:40 +0100 | <Rembane> | Maybe flip const is the name for it? |
| 2025-03-09 12:46:15 +0100 | <lambdabot> | a -> (a -> b) -> b |
| 2025-03-09 12:46:14 +0100 | <Rembane> | :t (&) |
| 2025-03-09 12:45:53 +0100 | <lambdabot> | b -> c -> c |
| 2025-03-09 12:45:52 +0100 | <Rembane> | :t flip const |
| 2025-03-09 12:45:15 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-09 12:42:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:39:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 12:36:52 +0100 | <[exa]> | is it just me or there's really no name for (flip const) in the std libraries? (Is there a reason to avoid that?) |
| 2025-03-09 12:36:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-09 12:36:35 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-03-09 12:36:26 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-03-09 12:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-09 12:35:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 12:33:00 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-09 12:31:58 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) (Quit: lortal) |
| 2025-03-09 12:31:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:30:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-03-09 12:23:09 +0100 | Inst | (~Inst@user/Inst) Inst |