Programmer Humor

Half Life mentioned λ 💪 λ 💪 λ 💪 λ 💪 λ

Per the actual wiki, some denominations seem to think it's a sin or heresy to do someone more than once. Which seems like what the nullification in the baptize function is supposed to capture.

Baptism is such a weird thing.

I think Haskell is such a weird thing

Could you imagine how op you could become though if baptisms stacked

The LDS (Mormons) actually do repeat it, in a sense. Their weekly sacrament is a renewal of their baptismal blessings

It looks pretty normal to me as a professional Haskeller, though I suppose it's perhaps slightly cleaner to write it as conditionalBaptize p = fromMaybe p $ baptize p. It's largely just a matter of taste and I'd accept either version when reviewing an MR.

Edit: I just thought of another version that actually is far too clever and shouldn't be used:

conditionalBaptize = ap fromMaybe baptize, making use of the monad instance for ->. But yeah, don't do this.

This is probably an ok use for a GADT. Something like:

{-# LANGUAGE DataKinds      #-}
{-# LANGUAGE GADTs          #-}
{-# LANGUAGE KindSignatures #-}

data Bap = Baptized | Unbaptized

data Person :: Bap -> * where
   Baptize :: Person Unbaptized -> Person Baptized
   NewPerson :: Person Unbaptized

conditionalBaptize :: Person a -> Person Baptized
conditionalBaptize p =
    case p of NewPerson -> Baptize p
              Baptize _ -> p

main = return ()

There's an old joke about functional programming separating Church from state.