Conditional Baptism
-
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.
-
Sounds like Haskell needs an official Saint.
There's an old joke about functional programming separating Church from state.
-
So what you're saying is that fundies need to be cremated? Possibly AFTER death from other causes?
no no. they need to switch to Flouroantimonic acid instead of just flowing water.
-
This post did not contain any content.wrote last edited by [email protected]
How would this read try-catch-ing with the Mormon baptism for dead Jewish people ?
-
This post did not contain any content.
Priest: If you are not yet baptised, I baptise you in the name of the father, the son and the holy spirit. Else break.
Parents: *sweating nervously*...else what
-
I imagine if baptisms stacked, you could pile on a gazillion of them like ablative armor against incoming sin.
Lol, imagine if showers stacked. You could spend a week showering and then all filth just disappears when it touches you
But then, what happens to the filth?
The only way I see this working is if you shower, you just continuously wash filth off yourself. But then does it all just kick in when you walk out of the shower? Or maybe, you never become clean until you've washed a lifetime of filth off yourself, then you're clean forever
I'm imagining every baby just covered in sludge, and after years of washing they become clean. Imagine your kid just never gets cleaner, and everyone just thinks you're a terrible parent. Imagine cleaning your kid and they become clean way ahead of schedule
There's some real existential horror here
-
Baptism is such a weird thing.
I think Haskell is such a weird thing
Dunno what to tell ya, it's great.
-
This post did not contain any content.
Haskell mentioned 位
位 位 位 位
