2025/03/09

Newest at the top

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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-09 12:57:57 +0100alexherbo2(~alexherbo@2a02-8440-3503-ad9b-c507-6c79-f124-e77c.rev.sfr.net) alexherbo2
2025-03-09 12:57:56 +0100ljdarj(~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 +0100merijn(~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 +0100Digit(~user@user/digit) Digit
2025-03-09 12:42:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-09 12:39:22 +0100alfiee(~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 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-09 12:36:35 +0100ss4(~wootehfoo@user/wootehfoot) (Client Quit)
2025-03-09 12:36:26 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2025-03-09 12:36:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-09 12:35:11 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-09 12:33:00 +0100ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-09 12:31:58 +0100lortal(~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) (Quit: lortal)
2025-03-09 12:31:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-09 12:30:29 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-03-09 12:23:09 +0100Inst(~Inst@user/Inst) Inst
2025-03-09 12:22:39 +0100acidjnk_new(~acidjnk@p200300d6e7283f12d4f03e9b38e9034b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-03-09 12:21:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-09 12:16:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-09 12:08:12 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-09 12:05:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-09 12:00:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-09 11:59:29 +0100Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-03-09 11:53:52 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-09 11:52:31 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-09 11:51:45 +0100kilolympus(~kilolympu@vmi1102682.contaboserver.net) kilolympus
2025-03-09 11:51:22 +0100kilolympus(~kilolympu@vmi1102682.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)