The bool function is if/then/else with the arguments around the correct way.
-
Wouldn't the Boolean value still come first if you Church encoded it or are you referring to something else?
foldr (:) [] = id maybe Nothing Just = id either Left Right = id ---- bool False True = id
-
-
Looks like 'foldr' should be taking the base case as the first argument.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Oh, yeah, I agree that is consistent with other commonly used folds. However, I still feel that the "one true way" is for all folds to take the value to be folded first so that each fold is a morphism in the isomorphism between a value and its Church encoding
-
I can respect a consistent position :)
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.