Conditional Baptism
-
This post did not contain any content.
Baptism is such a weird thing. It's ritualized cleansing turned into one and done
You can get baptized as many times as you like, it doesn't stack
-
Baptism is such a weird thing. It's ritualized cleansing turned into one and done
You can get baptized as many times as you like, it doesn't stack
wrote last edited by [email protected]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
baptizefunction is supposed to capture. -
This post did not contain any content.wrote last edited by [email protected]
That honestly seems like the best way to write
conditionalBaptizebut I still hate it. Probably because IRL you'd just rewrite baptism instead of retrofitting the function with a clever use ofid. -
Baptism is such a weird thing. It's ritualized cleansing turned into one and done
You can get baptized as many times as you like, it doesn't stack
Could you imagine how op you could become though if baptisms stacked
-
Baptism is such a weird thing. It's ritualized cleansing turned into one and done
You can get baptized as many times as you like, it doesn't stack
The LDS (Mormons) actually do repeat it, in a sense. Their weekly sacrament is a renewal of their baptismal blessings
-
This post did not contain any content.
Which denominations implement idempotent baptisms?
-
Could you imagine how op you could become though if baptisms stacked
Can you get more clean than clean?
Numbers are a human thing. The universe don't care
-
That honestly seems like the best way to write
conditionalBaptizebut I still hate it. Probably because IRL you'd just rewrite baptism instead of retrofitting the function with a clever use ofid.wrote last edited by [email protected]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 () -
This post did not contain any content.
Sounds like Haskell needs an official Saint.
-
Baptism is such a weird thing. It's ritualized cleansing turned into one and done
You can get baptized as many times as you like, it doesn't stack
Baptism is such a weird thing.
I think Haskell is such a weird thing
-
Can you get more clean than clean?
Numbers are a human thing. The universe don't care
I think erasing one's body could make you more clean than clean
-
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 ()Thank you for refactoring baptism. How do we push this to production now?
-
Can you get more clean than clean?
Numbers are a human thing. The universe don't care
I imagine if baptisms stacked, you could pile on a gazillion of them like ablative armor against incoming sin.
-
The LDS (Mormons) actually do repeat it, in a sense. Their weekly sacrament is a renewal of their baptismal blessings
Probably the reason some other sects call double-dipping a sin, so as to not be like those Mormons.
-
Thank you for refactoring baptism. How do we push this to production now?
Hey hey hey, let's start with a PR, we are not savages here aren't we?
-
This post did not contain any content.
-
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
baptizefunction is supposed to capture.some denominations seem to think it's a sin or heresy to do someone more than once
Those denominations must have really high divorce rates..
-
Can you get more clean than clean?
Numbers are a human thing. The universe don't care
Numbers are a human thing. The universe don't care
Doubly so with religion, though
-
I think erasing one's body could make you more clean than clean
So what you're saying is that fundies need to be cremated? Possibly AFTER death from other causes?
-
Can you get more clean than clean?
Numbers are a human thing. The universe don't care
Conceptual numeracy is a human thing. The universe absolutely cares about quantifiable physical properties which we represent as numbers.
