5 ms·
> Because Crystal is compiled, it is impossible to have a true REPL First of all, the problem isn't that it's "compiled" - Python is "compiled" too, but still
by _m96l 8y ago
> Because Crystal is compiled, it is impossible to have a true REPL
First of all, the problem isn't that it's "compiled" - Python is "compiled" too, but still has one of the best REPLs available.
The problem is that the language is static. But static (and compiled) languages can have REPLs, for example C++ has an excellent REPL called Cling.
It's not impossible, just requires some more effort.
As for Crystal, it looks like a neat language. However, if it's going to try to compete with the fast compiled runtimes such as Java, it will need some parallelism support.
- dan00 8y ago> First of all, the problem isn't that it's "compiled" - Python is "compiled" too, but still has one of the best REPLs available. In a way it is. For a REPL you most likely need an interpreter for your language, like Cling is for C++.
- unwind 8y agoIt can be argued that "compiled/interpreted" is not a property of programming languages, but of programming language implementations.
- crypto-jeronimo 8y agoI second this.
- gilgoomesh 8y agoYou don't need an interpreter for a REPL. Swift's REPL performs line-at-a-time compilation, running the program to that line and suspending it until you write and compile another line.
- coldtea 8y ago>You don't need an interpreter for a REPL. Swift's REPL performs line-at-a-time compilation Isn't that another way to say "interpreter"?
- notacoward 8y agoFor all practical purposes, yes. In the strictest technical sense it's a form of JIT compilation, but that can be considered an optimization or implementation technique. If the user doesn't perceive a separate compilation step, it's effectively an interpreter and only a dedicated pedant would "well actually" that it's compilation.
- creatornator 8y agoNot really. An interpreter doesn't convert the language syntax tree into machine code, instead it just performs the operations. It sounds like Swift's REPL actually converts the lines into opcodes and runs those.
- sam0x17 8y agoYeah, to clarify this should be possible, but I don't think it's going to happen for some time. There is a shard that creates a REPL, but it re-executes all previously executed commands each time you enter something new, which is super bad and dangerous. What we need is something that will compile just the line that was entered, and somehow "inject" that line into the existing program, and execute only that next line. Also there might always be a bit of lag between when you enter a line and when you get your response because the compiler is invoked. I'm not sure if that could be optimized to the point where it isn't noticable, but that would be super cool. I added on functionality for the Amber framework that allows you to execute one liners via `amber exec "code here"` as a replacement for `rails console` (amber is basically the rails of the crystal world).
- _old_dude_ 8y agoBoth scala and Java provides a REPL by compiling each lines + maintaining a context containing all local variables, functions, classes, etc
- pjmlp 8y agoCheck Swift Playground demos.
- RX14 8y agoNo, 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.