Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Devine Lu Linvega

Spend enough time doing functional programming and you start mixing up 0 to mean True. :mocking:

14 Mar 2023 at 18:19 | Open on merveilles.town
8 comments
s-ol

@neauoire
is this because (if cond a b) = (select cond ...)?

14 Mar 2023 at 18:27 | Open on merveilles.town
Devine Lu Linvega

@s_ol yep, in other words because of the K combinator(True) which picks item at the top of the list at index 0, and KI(False) which picks the next item at index 1.

14 Mar 2023 at 18:29 | Open on merveilles.town
WimⓂ️
Devine Lu Linvega
WimⓂ️

@neauoire @s_ol I see, you map \xy.x and \xy.y to a list, which in your system has a starting index of 0. But picking an item at index 0 is not picking 0, isn't it?

14 Mar 2023 at 18:43 | Open on merveilles.town
Devine Lu Linvega

@wim_v12e @s_ol It depends if your system has the concept of numbers or not.

14 Mar 2023 at 20:19 | Open on merveilles.town
Leonard Ritter
Devine Lu Linvega

@lritter omg you're right! 0 is the absence of error X|

14 Mar 2023 at 18:50 | Open on merveilles.town
Go Up