Correctness in Julia feels like it'll never happen, because interfaces seem like they'll never happen.
Correctness guarantees / interfaces and slow startup are both my biggest pain points in Julia.
I often think what would happen if every Julia dev just dropped the language and used Rust instead. A scientific ecosystem in Rust would be amazing.