Or lack of great IDE...the best type system seems a waste without a right-click refactor option to show for it. I'm not going to chase compilation errors file by file...
It has a language server which works with many good editors like vscode, that’s something at least!