Gradual typing seems to be alive in the Raku language. I can't comment on soundness guarantees.