Website: https://crystal-lang.org/ Github: https://github.com/crystal-lang/crystal
Website: https://crystal-lang.org/ Github: https://github.com/crystal-lang/crystal
I understand that dynamic languages are not popular these days on HN, but it's silly to suggest they should become static languages. They just offer different tradeoffs, a bit like screws and nails.
Dylan supports AOT compilation like Crystal, and had optional type checking, so one could make it into Crystal if all variable declarations happened to be annotated.
Don't forget Dylan was intended to be used as Newton systems programming language and the team managed to create their own OS, even after C++ was decided to take Dylan's role.
Personally dynamic languages without AOT or JIT support were never popular with me beyond shell scripting tasks.
But internal politics and battling between teams spoiled it.
Check the comments from mikelevins and wrs.