That honestly seems like the best way to write conditionalBaptize but I still hate it. Probably because IRL you’d just rewrite baptism instead of retrofitting the function with a clever use of id.
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 ()
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.This is probably an ok use for a GADT. Something like:
Thank you for refactoring baptism. How do we push this to production now?