Talk:Z10214

Wikifunctions پؠٹھٕ
تازٕ کَتھ باتھ: ٧ اَگَست ٢٠٢٣ صٲرِف Jdforrester (WMF) دٔسؠ Why create this rather than just have people use false (Z42)? موضوٗعَس پؠٹھ

Why create this rather than just have people use false (Z42)?

(And the same with unary true (Z10217) / true (Z41))

It feels like we should have had a community conversation on what to create first for this kind of duplication. Jdforrester (WMF) (talk) 19:53, 4 August 2023 (UTC)جَوآب

@Jdforrester (WMF): Why not? I guess people can just use K combinator (Z10249) (false (Z42)) to get this function instead. 0xDeadbeef (talk) 12:42, 5 August 2023 (UTC)جَوآب
Sure, but I'm trying to understand what value this has. In what circumstance will someone use it? Why is it more valuable than the existing constant? Are we adding to the abilities for people to do things with this? Etc. :-) Jdforrester (WMF) (talk) 00:23, 6 August 2023 (UTC)جَوآب
@Jdforrester (WMF): It would help with functions that accept functions. For example, if there was an If (Z802) but called on two functions instead. 0xDeadbeef (talk) 03:47, 6 August 2023 (UTC)جَوآب
Ah, so for places where you're using a higher-order-function but want to short-circuit? I see, though it seems a little niche as a use case. Jdforrester (WMF) (talk) 12:39, 7 August 2023 (UTC)جَوآب
@Jdforrester (WMF): Please know this is not a boolean value; it is a function that accept one boolean value and returns false.--GZWDer (talk) 03:59, 6 August 2023 (UTC)جَوآب