[darigo]

With the traffic between this world and the afterlife, using exceptions like this is really inefficient. Furthermore, a lot of souls with net bad behavior might be in a state of Grace, rescuing them from Hell.

An improvement might look like this:

    def judgement(soul):
        in_grace = soul.state.is_graceful() 
        good_works = len(soul.works)
        if in_grace: return 1 # Heaven
        if good_works > MORAL_MINIMUM: return 0 # Limbo
        return -1 # Welp.
        

Although, given the moral ambiguity of the spec, it might be better to use a language with more undefined behavior like C. Terry Davis addressed a lot of this when he built the third Temple in HolyC.

I actually work parttime at a startup where we're trying to use web3 to establish permanent, digital identities that you can use in the afterlife to bargain with demons. The idea is, you can use an NFT (who says web3 is dead!) to correlate the atoms in the immortal eternal one-soul with their constituent souls on earth, so you can identify your friends in Heaven (or Hell). Eventually, we hope to even link people on earth to people on heaven, via our Rust-based AngelLink blockchain. A sort of "tower to the heavens" so to speak.

If anyone else on HN is interested in this space, feel free to email me (darigo.maxwell at gmail dot com). Always looking to make new friends who love God and have a passion for big data and the thirst for God's presence.

[Yoric]

You have my vote for Pitch of the Year. Possibly of Eternity, but it's a bit early for that.

(also, yes, of course you'll need UB for Purgatory, etc.)