Ah I think I misunderstood. That sounds like event sourcing? As far as I know that has never been implemented at a language level.