I also think it is an interesting language. It is beginner-friendly since we can add types gradually. The actor alike concurrency also makes it easier to implement concurrent programs.
Is there any data showing that gradual typing is better for beginners than fully dynamic or fully static typing? Off hand I can think of many arguments against this and it’s a surprising find if true.