No, it's not because it's compiled, it's because of the global type inference algorithm (which is very different from any existing type inference algorithm). Cr

No, it's not because it's compiled, it's because of the global type inference algorithm (which is very different from any existing type inference algorithm). Crystal used to have a repl but it was removed because it was buggy and difficult to maintain. Maybe crystal will get a repl in the future, but I wouldn't count on it because it's a huge effort.