I took a quick look at them and this is just first impressions, so bear with me?
They still look kinda low level to me. Yes, they provide a lot of high-level constructs and data types like python -- But what they fail to do (IMO) is a consistent abstraction.
For example, all of these languages have a concept of pointers. All of them have a distinction between different integers (int32, int64 etc..)
I had similar feelings when I used dart or even java. They're high level, but not quite!
I don't mean to thrash on these languages in any way. I think they have some real value for programmers.
It's just that I've never seen a language just throw everything out of your way and provide you with this extremely high level and easy to reason interface.
Nim actually looked pretty good, but then I realized it was just the significant whitesapce xD
Maybe I'm too biased because Python was my first (proper) language.
[1] https://crystal-lang.org
[2] https://nim-lang.org
[3] https://golang.org